Dynamic epistemic reasoning system with awareness (DEMO+A) and its legal application

論文"Modeling Predictability of Agent in Legal Cases"のエージェントについて、Dynamic Epistemic Logicを併用した推論のモデルを構築し、Haskellプログラムとして実装した。これを引き続き刑法判例に適用し結果を確認した。

IADIS Big Data Analytics, Data Mining and Computational Intelligence