Dynamic epistemic reasoning with awareness and its legal application

気づき（Awareness）を含む新しい動的信念の論理(Dynamic Epistemic Logic)の意味論(Semantics)を構築・提案し、その完全性(Completeness)及び健全性(Soundness)を示した。また、この論理に基づき、エージェントが外部から情報を得て自身の知識を更新し「考える」過程のモデルを構築し、これを実装するため、これまで開発したHaskellによるプログラムを改修し公開した。

Vietnam Journal of Computer Science