LOGIC OF ARGUMENTATION AND ARGUING AGENT SYSTEM

我们对论证逻辑及其在基于论证的智能体系统中的应用的研究结果总结如下。(1)计算辩证法我们试图在辩证逻辑的基础上，正式地定义“和谐”、“妥协”、“和解”等。我们通过向电子商务中的卖方和买方代理以及旅行推销员代理展示应用程序来说明它的潜在用途。(2)基于副一致逻辑的论证框架我们形式化了一个允许代理基于4值副一致逻辑进行论证的论证框架。我们以适合四值副一致逻辑的方式，介绍了论证的各种概念，如论证、攻击关系、论证论证、基于社会规范的论证优先标准等。然后，我们为我们的论证框架提供了不动点语义和辩证证明理论。并给出了该方法的完备性和健全性的证明。(3)多值论证的逻辑我们提供了一种新的背离传统的二值论证框架的方法。(4)基于论证的移动智能体和论证转换。我们提出了一种方法来培养智能体，这些智能体可以在计算机网络上迁移，并通过通信来提高其逻辑论证和知识的质量。整合来自其他主体的论证，并转化论证和知识。(5)基于论证的智能体系统的实现我们提出了一种在计算机网络上迁移的智能体的方法，并通过与其他智能体通信、整合其他智能体的论证、转换论证和知识来提高其逻辑论证和知识的质量。

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.