Modeling Predictability of Agent in Legal Cases

明示的に知っている状態と認識できていない知識から，論理的に推論を行えるよう，動的信念の論理に，気付きの概念を追加し拡張した．これを用いれば，刑法判例で，被告の知識状態の変化を論理式を用いて説明できる可能性を示した．

IEEE International Conference on Agents