Dynamic epistemic reasoning system with awareness (DEMO+A) and its legal application
動的信念の論理に,気付きの概念を追加し拡張した論文"Modeling Predictability of Agent in Legal Cases"のエージェントの概念について、これを実装できる推論モデルを構築し、Haskellプログラムとして実装した。これを引き続き刑法判例に適用し結果を確認した。
IADIS Big Data Analytics, Data Mining and Computational Intelligence