文献

J-GLOBAL ID：201002294849769720   整理番号：10A1001159

論理に基づく人工知能の法学への応用

Applications of Logic-based AI to Juris-informatics

著者 (2件)： 佐藤健 (国立情報学研究所) ,  佐藤健 (総研大)
資料名： コンピュータソフトウェア  (Computer Software)
巻： 27  号： 3  ページ： 3.36-3.44 (J-STAGE)  発行年： 2010年 
JST資料番号： Y0628A  ISSN： 0289-6540  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 筆者は,論理に基づく人工知能の法学への真の応用を求めて,東大法科大学院に2006年から3年間在学し,そこで法律に関する知見を得た.本稿では,その知見とこれまで20年にわたり研究してきた人工知能における論理の研究を融合させた結果について概観するとともに,今後の有望な研究テーマについて述べる.(著者抄録)

シソーラス用語： *人工知能 ,  *法律学 ,  *論理解析器 ,  論理学 ,  エキスパートシステム ,  知識獲得 ,  命題論理 ,  自然言語 ,  民法 ,  定式化 ,  社会的責任 ,  仮説推論 ,  因果律 ,  論理プログラミング
準シソーラス用語： 民事訴訟 ,  説明責任

分類 (1件)： 人工知能  (JE08000Z)

引用文献 (12件)：

• CLARK, K. Negation as Failure. LOGIC AND DATABASE. 1978, 293-322
• KATSUNO, H. A Unified View of Consequence Relation, Belief Revision, and Conditional Logic. Conditionals : from Philosophy to Computer Science. 1995, 33-65
• 佐藤健. 仮説論理プログラミングによる事例ベース推論の拡張, 法律エキスパートシステムの開発研究. 2000, 355-364
• SATOH, K. Disjunction of Causes and Disjunctive Cause : a Solution to the Paradox of 'Conditio Sine Qua Non' using Minimal Abduction. Legal Knowledge and Information Systems, JURIX 2006 : The Nineteenth Annual Conference. 2006, 163-168
• SATOH, K. Formalizing a Switch of Burden of Proof by Logic Programming. International Workshop on Juris-Informatics (JURISIN 2007). 2007, 76-85

タイトルに関連する用語 (4件)： 論理 ,  人工知能 ,  法学 ,  応用