Predictability of Agent in Legal Cases

既存の動的認識の論理を扱うプログラムに、エージェントの知識状態のモデルを実装し、計算機上で推論を行うプログラムをHaskellにて開発した。また、実際に判例における法的推論を行い、その結果について分析した。

The 9th International Workshop on Juris-Informatics