Reasoning by a Bipolar Argumentation Framework for PROLEG

被引：0

作者：

Kawasaki, Tatsuki ^{[1
]}

Moriguchi, Sosuke ^{[1
]}

Takahashi, Kazuko ^{[1
]}

机构：

[1] Kwansei Gakuin Univ, Sch Sci & Technol, 2-1 Gakuen, Sanda 6691337, Japan

来源：

NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE (JSAI-ISAI 2018) | 2019年 / 11717卷

关键词：

Bipolar argumentation framework; PROLEG; Reasoning; Semantics; ACCEPTABILITY;

D O I：

10.1007/978-3-030-31605-1_10

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We develop a system allowing lawyers and law school students to analyze court judgments. We describe a transformation from the logic programming language PROLEG to a bipolar argumentation framework (BAF) and the legal reasoning involved. Legal knowledge written in a PROLEG program is transformed into a BAF, in which the structure of argumentation in a judgment is clear. We describe two types of reasoning by the BAF: clarification of the entire structure and causality of arguments, and identification of the required evidence, and we show its applications on legal reasoning.

引用

页码：115 / 130

页数：16

共 18 条

[1] Bench-Capon T, 2009, ARGUMENTATION IN ARTIFICIAL INTELLIGENCE, P363, DOI 10.1007/978-0-387-98197-0_18
[2] Support in Abstract Argumentation
Boella, G.
Gabbay, D. M.
van der Torre, L.
Villata, S.
[J]. COMPUTATIONAL MODELS OF ARGUMENT: PROCEEDINGS OF COMMA 2010, 2010, 216 : 111 - 122
[3] Brewka G., 2010, P 12 INT C PRINC KNO, P102
[4] On the issue of reinstatement in argumentation
Caminada, Martin
[J]. LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4160 : 111 - 123
[5] Cayrol C, 2005, LECT NOTES COMPUT SC, V3571, P378
[6] Bipolarity in argumentation graphs: Towards a better understanding
Cayrol, Claudette
Lagasquie-Schiex, Marie-Christine
[J]. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2013, 54 (07) : 876 - 899
[7] Coalitions of Arguments: A Tool for Handling Bipolar Argumentation Frameworks
Cayrol, Claudette
Lagasquie-Schiex, Marie-Christine
[J]. INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2010, 25 (01) : 83 - 109
[8] ON THE ACCEPTABILITY OF ARGUMENTS AND ITS FUNDAMENTAL ROLE IN NONMONOTONIC REASONING, LOGIC PROGRAMMING AND N-PERSON GAMES
DUNG, PM
[J]. ARTIFICIAL INTELLIGENCE, 1995, 77 (02) : 321 - 357
[9] Gelfound M., 1988, Logic Programming: Proceedings of the Fifth International Conference and Symposium, P1070
[10] Kawasaki Tastuki, 2018, P SAFA 2018, P36

← 1 2 →