Classification of precedents by modeling tool for action and epistemic state: Demo

The 8th International Workshop on Juris-Informatics

様相論理の１つであるDynamic Epistemic Logicを用い、刑法の複数の判例における法的推論を,事実及び知識の状態の両面から記述することを試みた。 またその結果について分類を試みた。