| Research Abstract |
The results of our investigation on logic of argumentation and its applications to argument-based agent systems are summarized as follows.
(1)Computational dialectics
We 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 logic
We 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 argumentation
We 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 transformation
We 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 systems
We 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.
|
