Dynamic epistemic reasoning system with awareness (DEMO+A) and its legal application
単著・共著の別
共著
概要
動的信念の論理(Dynamic Epistemic Logic)に,気付き(Awareness)の概念を追加し拡張した論文"Modeling Predictability of Agent in Legal Cases"の論理的なエージェントの概念について、これを実装できる推論モデルを構築し、Haskellプログラムとして実装した。更にこのモデルを裁判に登場するエージェントに応用し、典型的な幾つかの刑法判例について計算結果を確認した。
発表雑誌等の名称
IADIS Big Data Analytics, Data Mining and Computational Intelligence