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
相关论文
共 50 条
  • [11] A Multi-agent Argumentation Framework to Support Collective Reasoning
    Ganzer-Ripoll, Jordi
    Lopez-Sanchez, Maite
    Antonio Rodriguez-Aguilar, Juan
    CONFLICT RESOLUTION IN DECISION MAKING, COREDEMA 2016, 2017, 10238 : 100 - 117
  • [12] Towards a Framework for Automatic Firewalls Configuration via Argumentation Reasoning
    Karafili, Erisa
    Valenza, Fulvio
    Chen, Yichen
    Lupu, Emil C.
    NOMS 2020 - PROCEEDINGS OF THE 2020 IEEE/IFIP NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM 2020: MANAGEMENT IN THE AGE OF SOFTWARIZATION AND ARTIFICIAL INTELLIGENCE, 2020,
  • [13] Biology instruction using a generic framework of scientific reasoning and argumentation
    Dorfner, Tobias
    Foertsch, Christian
    Germ, Michael
    Neuhaus, Birgit J.
    TEACHING AND TEACHER EDUCATION, 2018, 75 : 232 - 243
  • [14] An ASPIC-based legal argumentation framework for deontic reasoning
    Van der Torre, Leendert
    Villata, Serena
    COMPUTATIONAL MODELS OF ARGUMENT, 2014, 266 : 421 - 432
  • [15] Towards a New Framework for Recursive Interactions in Abstract Bipolar Argumentation
    Cayrol, Claudette
    Cohen, Andrea
    Lagasquie-Schiex, M-Christine
    COMPUTATIONAL MODELS OF ARGUMENT, 2016, 287 : 191 - 198
  • [16] A generalized abstract argumentation framework for inconsistency-tolerant ontology reasoning
    Moguillansky, Martin O.
    Simari, Guillermo R.
    EXPERT SYSTEMS WITH APPLICATIONS, 2016, 64 : 141 - 168
  • [17] Argumentation for Practical Reasoning
    Phan Minh Dung
    KNOWLEDGE AND SYSTEMS ENGINEERING (KSE 2013), VOL 1, 2014, 244 : 5 - 5
  • [18] Reasoning, Argumentation and Rationality
    Labinaz, Paolo
    ETICA & POLITICA, 2014, 16 (02): : 576 - 594
  • [19] Legal Reasoning and Argumentation
    Bodych, Milena
    ARGUMENTATION 2011: INTERNATIONAL CONFERENCE ON ALTERNATIVE METHODS OF ARGUMENTATION IN LAW, 2011, : 33 - 47
  • [20] Reasoning, argumentation, and cognition
    Frankish, Keith
    BEHAVIORAL AND BRAIN SCIENCES, 2011, 34 (02) : 79 - +
12345