[1E1] [General Session] 1. Basis / Theory

[1E1-04] Conversion from Logic Programming Language PROLEG to Bipolar Argumentation Framework

〇Tatsuki Kawasaki¹, Kazuko Takahashi¹ (1. Kwansei Gakuin University)

Keywords:bipolar argumentation framework, PROLEG, legal reasoning

This report describes the conversion from a logic programming language PROLEG to a Bipolar Argumentation Framework(BAF),aiming at a support for judicial judgment using Artificial Intelligence. Although reasoning process of a judgment is clealy shown in PROLEG, it is difficult to understand the relationship between inference rules and the entire structure of a judgment. Here, we give a semantics to a BAF and convert the descrition in PROLEG to BAF, so that the semantics of PROLEG is reserved. As a result, it is easier to understand the relationship between inference rules and the entire structure of a judgment in the obtained BAF which consists of a set of arguments and relations of attack and support between arguments.