研究課題
基盤研究(B)
民事裁判の要件事実論実装用の言語としてPROLEGと呼ばれる論理型言語を開発し、要件事実論の教科書の演習問題をPROLEGで記述し、その紛争解決過程が専門家と一致することを検証した。さらに、このシステムの推論エンジンは主要ルールと例外を持つような法律ならばすべて適用できることが分かったので、憲法や刑法における裁判パターンについても記述実験を行った。また、デバッグツールの開発として、要件事実のブロック図を推論過程から自動的に出力するシステムを作成した。これは、主要ルールの要件および例外について2種類の矢印を使うことで、何が要件で、何が例外であるかが明確に理解できるようになった。
すべて 2013 2012 2011 その他
すべて 雑誌論文 (17件) (うち査読あり 17件) 備考 (1件) 産業財産権 (1件)
Information Search, Integration and Personalization, ISIP 2012 : Revised Selected Papers, Communications in Computer and Information Science
巻: 146 ページ: 41-50
New Frontiers in Artificial Intelligence : JSAI-isAI 2012 Workshops, Revised Selected Papers
巻: LNAI 7856 ページ: 141-156
巻: LNAI 7856 ページ: 174-189
Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Revised Selected Papers
巻: LNCS 7784 ページ: 1-19
Proceedings of the 26th Annual Conference on Legal Knowledge and Information Systems (JURIX 2013)
ページ: 107-116
Proceedings of the 7th International Workshop on Juris-informatics (JURISIN 2013)
ページ: 9-22
ページ: 65-78
ページ: 121-134
Proceedings of the 14th International Conference on Artificial Intelligence & Law (ICAIL 2013)
ページ: 202-206
Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013)
ページ: 1157-1158
IEICE Transactions on Information and Systems
巻: E96-D ページ: 40-50
New Generation Computing
巻: Vol.30,No.4 ページ: 297-326
New Frontiers in Artificial Intelligence : JSAI-isAI 2010 Workshops, Revised Selected Papers
巻: LNAI 6797 ページ: 129-140
Theory and Practice of Logic Programming (TPLP)
巻: Vol.11,No.4-5 ページ: 783-799
Prolog を利用した要件事実論のプログラミング情報ネットワーク・ローレビュー
巻: Vol.10 ページ: 54-89
Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, Revised Selected Papers
巻: LNCS 6541 ページ: 77-94
巻: LNAI 6797 ページ: 1419-1429
http://research.nii.ac.jp/~ksatoh/juris-informatics-papers/
