Conversion from Logic Programming Language PROLEG to Bipolar Argumentation Framework

Abstract

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.