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

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

The 8th International Workshop on Juris-Informatics