Formal Argumentation Frameworks for the Extended Generalized Annotated Logic Programs

摘要

Argumentation is an important form and way of interaction which is considered one of the most essential issues for agent systems as well as for humans. So far, a number of argumentation models have been proposed, in particular for the extended logic programs as knowledge representation. In this paper, we further pursuit, along the same lines, the basic argumentation framework for much more expressive logic programs called the extended generalized annotated logic programs (EGAP). We provide the semantics and dialectical proof theory for it, and prove the soundness and completeness and the equivalence to the well-founded semantics. Then, we develop the basic argumentation framework to that for multi-agents. Argument examples are described in illustration of these results.