LOGIC OF ARGUMENTATION AND ARGUING AGENT SYSTEM

点击翻译按钮获取中文摘要

The results of our investigation on logic of argumentation and its applications to argument-based agent systems are summarized as follows.(1)Computational dialecticsWe attempted to define Aufheben, compromise, reconciliation, etc., formally on top of the dialectical logics. We illustrated its potential usefulness by showing applications to seller and buyer agents and traveling salesman agents in e-commerce.(2)Argumentation framework based on paraconsistent logicWe formalized an argumentation framework that allows agents to make arguments based on 4-valued paraconsistent logic. We introduced various concepts for argumentation, such as arguments, attack relations, argument justification, preferential criteria of arguments based on social norms, and so on, in a way proper to the four-valued paraconsistent logic. Then, we provide the fixpoint semantics and dialectical proof theory for our argumentation framework. We also give the proofs of the soundness and completeness.(3)A logic of multiple-valued argumentationWe provided a new departure from the traditional two-valued argumentation frameworks. We addressed ourselves to formalize an expressivel logic of argumentation, called a Logic of Multiple-valued Argumentation LMA, on top of the very expressive knowledge representation language, called Extended Annotated Logic Programming EALP,(4)Argument-based mobile agent and argument transformationWe proposed an approach to growing agents that migrates over the computer network and improve the quality of their logical arguments and knowledge by communicating with, incorporating arguments from other agents, and transforming arguments and knowledge.(5)Implementation of argument-based agent systemsWe proposed an approach to growing agents that migrates over the computer network and improve the quality of their logical arguments and knowledge by communicating with, incorporating arguments from other agents, and transforming arguments and knowledge.