Towards a formal and implemented model of argumentation schemes in agent communication

Authors:
Chris Reed;Doug Walton
Affiliations:
Division of Applied Computing, University of Dundee, Dundee, Scotland, UK;Department of Philosophy, University of Winnipeg, Winnipeg, Manitoba, Canada
Venue:
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
Year:
2004

Citing 5
Cited 5

On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

Artificial Intelligence
Cognitive Carpentry: A Blueprint for how to Build a Person

Cognitive Carpentry: A Blueprint for how to Build a Person
A Reasoning Model Based on the Production of Acceptable Arguments

Annals of Mathematics and Artificial Intelligence
Games That Agents Play: A Formal Framework for Dialogues between Autonomous Agents

Journal of Logic, Language and Information
Argumentation schemes and generalisations in reasoning about evidence

ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law

A drosophila for computational dialectics

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Computing Arguments and Attacks in Assumption-Based Argumentation

IEEE Intelligent Systems
Review:

The Knowledge Engineering Review
Testing formal dialectic

ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
Argument-Based negotiation in a social context

ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Argumentation schemes are patterns of non-deductive reasoning that have long been studied in argumentation theory, and have more recently been identified in computational domains including multi-agent systems as holding the potential for significant improvements in reasoning and communication abilities. By focusing on models of natural language argumentation schemes, and then building formal systems from them, direct implementation becomes possible that not only has advantages in flexibility and scope, but also computational efficiency.