Papers on JURIS-INFORMATICS
下の論文タイトルをクリックすると本体を見ることができます。
JURIS-INFORMATICS: General Perspective
佐藤 健,
論理に基づく人工知能の法学への応用,
コンピュータソフトウェア, Vol. 27, No.3, pp.36-44 (2010).
佐藤 健,
情報学と法学を融合する新しい学問領域juris-informaticsの提案,
ソフトウェア科学会第27回全国大会講演論文集, 8C-3, ソフトウェア科学会高橋奨励賞受賞論文 (2010).
Papers on Burden of Proof
Satoh, K., Tojo, S., Suzuki, Y.,
"Formalizing a Switch of Burden of Proof by Logic Programming",
Proceedings of the 1st International Workshop on Juris-informatics
(JURISIN 2007), pp. 76-85, Miyazaki, Japan (2007).
Satoh, K., Tojo, S., Suzuki, Y.,
"Abductive Reasoning for Burden of Proof",
Proceedings of the 2nd International Workshop on Juris-informatics
(JURISIN 2008), pp. 93-102, Asahikawa, Japan (2008).
佐藤 健,
証明責任とその周辺概念の論理プログラミングによる定式化,
東京大学法科大学院ローレビュー, pp. 46-57 (2009).
Satoh, K., Kubota, M., Nishigai, Y., Takano, C.,
"Translating the Japanese Presupposed Ultimate Fact Theory into Logic Programming",
Proceedings of the 22nd Annual Conference on Legal Knowledge and Information Systems (JURIX 2009), pp.162-171, Rotterdam, the Netherlands (2009).
Satoh, K.,
"A Formalization for Burden of Production in Logic Programming",
Proceedings of the 3rd International Workshop on Juris-informatics
(JURISIN 2009), pp. 107-117, Tokyo, Japan (2009).
佐藤 健
民法の証明責任と論理プログラミングの関係について
人工知能学会第79回人工知能基本問題研究会資料, pp.21 - 26(2010).
Papers on PROLEG system
Satoh, K., Asai, K., Kogawa, T., Kubota, M., Nakamura, M., Nishigai,
Y., Shirakawa, K., Takano, C.,
"PROLEG: An Implementation of the
Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG
Technology",
Proceedings of the 4th International Workshop on Juris-informatics
(JURISIN 2010), pp.29-40, Tokyo, Japan (2010).
佐藤 健, 浅井健人, 古川昂宗, 久保田理広, 中村 恵, 西貝吉晃, 白川 佳, 高野千明,
PROLEG:論理プログラミングをベースとした民事訴訟における要件事実論の実装,
人工知能学会第92回知識ベース研究会資料, pp.1 - 8(2011).
西貝吉晃, 古川昂宗, 佐藤 健,
PROLEGを用いた判例法理の実装 〜転得者が存在する場合の背信的悪意者の法理の実装〜,
人工知能学会第92回知識ベース研究会資料, pp.9 - 16(2011).
古川昂宗, 西貝吉晃, 佐藤 健,
著作権法の要件事実論のPROLEGによる実装,
人工知能学会第92回知識ベース研究会資料, pp.17 - 22(2011).
Newspaper Articles on PROLEG system
「ＡＩで精密裁判？ 法論理との類似に注目 国立情報学研究所」
2011年2月28日 東京新聞科学欄
Papers on Causality Theory (Conditio Sine Qua Non)
Satoh, K., Tojo, S.,
"Disjunction of Causes and Disjunctive Cause:
a Solution to the Paradox of 'Conditio Sine Qua Non' using Minimal Abduction",
Proceedings of the 19th Annual Conference on Legal Knowledge and Information Systems (JURIX 2006), pp. 163 -- 168, Paris, France (2006).
Tojo, S., Satoh, K.,
"Occam's Razor by Minimal Negation",
Proceedings of the 1st International Workshop on Juris-informatics (JURISIN 2007), pp. 41-51, Miyazaki, Japan (2007).
Papers on Case-based Reasoning
Satoh, K.,
``Translating Case-Based Reasoning into Abductive Logic Programming'',
Proceedings of the Twelfth European Conference on
Artificial Intelligence, pp. 142 - 146, Budapest, Hungary (1996).
佐藤 健
事例ベース推論における動的類似性の仮説論理プログラミングによる実現,
人工知能学会誌 12(6), pp. 901 - 910 (1997).
Satoh, K.,
``Statutory Interpretation by Case-based Reasoning through Abductive Logic Programming'',
Journal of Advanced Computational Intelligence, Vol. 1, No.2, pp. 94 -- 103 (1997).
Satoh, K.,
``Using Two Level Abduction to Decide Similarity of
Cases'',
Proceedings of the Thirteenth European Conference on
Artificial Intelligence, pp. 398 -- 402, Brighton, UK (1998).