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 [J].

Boella, G. ;

Gabbay, D. M. ;

van der Torre, L. ;

Villata, S. .

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 [J].

Caminada, Martin .

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 [J].

Cayrol, Claudette ;

Lagasquie-Schiex, Marie-Christine .

INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2013, 54 (07) :876-899

[7] Coalitions of Arguments: A Tool for Handling Bipolar Argumentation Frameworks [J].

Cayrol, Claudette ;

Lagasquie-Schiex, Marie-Christine .

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 [J].

DUNG, PM .

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 →