Defeasible reasoning and decision support systems
Decision Support Systems
An argumentation semantics for logic programming with explicit negation
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Mechanizing Relevant Logics with HOL
Proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics
Computational Dialectics for Argument-Based Agent Systems
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
An Argument-Based Agent System with KQML as an Agent Communication Language
PRIMA 2001 Proceedings of the 4th Pacific Rim International Workshop on Multi-Agents, Intelligent Agents: Specification, Modeling, and Applications
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
| Hi-index | 0.00 |
In this paper, we claim that argumentation is a novel and prominent computing principle and provides a unified approach to technologies needed in agent-oriented computing, where social concepts play important roles in computation. Viewed as the reasoning methods of attaining a consensus, they can be roughly classified into three categories: (i) conflict-resolving reasoning, (ii) dialectical reasoning, and (iii) cooperative reasoning. We describe these formally in a unified manner, and build an argument-based agent system with those argument-based reasoning capabilities. Finally, we show its potential usefulness and feasibility in a convincing manner by applying it to a wide variety of the contemporary application domains.