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
关键词
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
相关论文
共 50 条
  • [1] Hybrid Reasoning on a Bipolar Argumentation Framework
    Kawasaki, Tatsuki
    Moriguchi, Sosuke
    Takahashi, Kazuko
    SCALABLE UNCERTAINTY MANAGEMENT, SUM 2019, 2019, 11940 : 79 - 92
  • [2] A labeled abstract bipolar argumentation framework
    Budán, Maximiliano Celmo David
    Viglizzo, Ignacio
    Simari, Guillermo Ricardo
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8864 : 28 - 40
  • [3] A Labeled Abstract Bipolar Argumentation Framework
    David Budan, Maximiliano Celmo
    Viglizzo, Ignacio
    Ricardo Simari, Guillermo
    ADVANCES IN ARTIFICIAL INTELLIGENCE (IBERAMIA 2014), 2014, 8864 : 28 - 40
  • [4] An Argumentation Framework for Reasoning about Bounded Resources
    Besnard, Philippe
    Gregoire, Eric
    Raddaoui, Badran
    2012 IEEE 24TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2012), VOL 1, 2012, : 540 - 547
  • [5] An argumentation framework for reasoning about actions and change
    Kakas, A
    Miller, R
    Toni, F
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1999, 1730 : 78 - 91
  • [6] An argumentation framework for reasoning about bounded resources
    Besnard, Philippe
    Grégoire, Éric
    Raddaoui, Badran
    Revue d'Intelligence Artificielle, 2015, 29 (3-4) : 349 - 368
  • [7] An argumentation framework for description logic ontology reasoning and management
    Xiaowang Zhang
    Zuoquan Lin
    Journal of Intelligent Information Systems, 2013, 40 : 375 - 403
  • [8] An argumentation framework for description logic ontology reasoning and management
    Zhang, Xiaowang
    Lin, Zuoquan
    JOURNAL OF INTELLIGENT INFORMATION SYSTEMS, 2013, 40 (03) : 375 - 403
  • [9] A Possibilistic Argumentation Decision Making Framework with Default Reasoning
    Carlos Nieves, Juan
    Confalonieri, Roberto
    FUNDAMENTA INFORMATICAE, 2011, 113 (01) : 41 - 61
  • [10] A Voting Argumentation Framework: Considering the Reasoning behind Preferences
    Karanikolas, Nikos
    Bisquert, Pierre
    Kaklamanis, Christos
    PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE (ICAART), VOL 1, 2019, : 42 - 53