AASLMA: an automated argument system based on logic of multiple-valued argumentation

Authors:
Kumiko Matsunaga;Hajime Sawamura
Affiliations:
Graduate School of Science and Technology, Niigata University, Niigata, Japan;Institute of Natural Science and Technology, Academic Assembly, Niigata University, Niigata, Japan
Venue:
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part IV
Year:
2005

Citing 6
Cited 0

Theory of generalized annotated logic programming and its applications

Journal of Logic Programming
An argumentation semantics for logic programming with explicit negation

ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
A logic for reasoning with inconsistency

Journal of Automated Reasoning
Logical models of argument

ACM Computing Surveys (CSUR)
A Logic of Multiple-Valued Argumentation

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
How agents should exploit tetralemma with an eastern mind in argumentation

PRIMA'04 Proceedings of the 7th Pacific Rim international conference on Intelligent Agents and Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

A Logic of Multiple-valued Argumentation LMA was formalized by Takahashi and Sawamura (LMA) on an expressive knowledge representation language, Extended Annotated Logic Programming (EALP). LMA allows agents to construct arguments under uncertain knowledge and to argue with other agents on uncertain issues in the open networked heterogeneous environment. In this paper, we describe an implementation of LMA (called AASLMA) in which agent communication is realized in C and symbolic argument construction in Prolog. The interface design proper to argumentation is also taken into account in the implementation. This is helpful for us to understand argument processes and results. The versatility of LMA is shown through the implementation and some convincing argument examples that employ various types of multiple-valuedness.