Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2 (AAMAS'04)
A Logic of Multiple-Valued Argumentation
New York City, New York, USA
July 19-July 23
ISBN: 0-7695-2092-8
This paper provides a new departure from the traditional two-valued argumentation frameworks. We address ourselves to formalize an expressive 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), and examine its logical properties in various ways. EALP allows us to represent different kinds of uncertainty such as vagueness and inconsistency (or paraconsistency) in terms of multi-valuedness, and incompleteness with the help of default negation. LMA is a full-dress logic of argumentation in which agents can argue with other contenders, using multiple-valued knowledge base in terms of EALP.
Citation:
Takehisa Takahashi, Hajime Sawamura, "A Logic of Multiple-Valued Argumentation," aamas, vol. 2, pp.800-807, Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2 (AAMAS'04), 2004