Journal ArticleDOI
Logical models of argument
Reads0
Chats0
TLDR
The evolution of argumentation is traced from the mid-1980s to the present, as argument in embedded in different complex systems for real-world applications, and allow more formal work to be done in different areas, such as AI and Law, case-based reasoning and negotiation among intelligent agents.Abstract:
Logical models of arguement formalize commonsense reasoning while taking process and computation seriously. This survey discusses the main ideas that characterize different logical models of argument. It presents the formal features of a few features of a few main approaches to the modeling of argumentation. We trace the evolution of argumentation from the mid-1980s, when argument systems emerged as an alternative to nonmonotonic formalisms based on classical logic, to the present, as argument in embedded in different complex systems for real-world applications, and allow more formal work to be done in different areas, such as AI and Law, case-based reasoning and negotiation among intelligent agents.read more
Citations
More filters
Book
Multiagent Systems
TL;DR: This second edition has been completely revised, capturing the tremendous developments in multiagent systems since the first edition appeared in 1999.
Journal ArticleDOI
Argumentation in artificial intelligence
TL;DR: A number of foundational contributions provided the basis for the formulation of argumentation models and their promotion in AI related settings and then a number of new themes that have emerged in recent years are considered, many of which provide the principal topics of the research presented in this volume.
Journal ArticleDOI
Defeasible logic programming: an argumentative approach
TL;DR: The work reported here introducesdefeasible Logic Programming (DeLP), a formalism that combines results of Logic Programming and Defeasible Argumentation and a defeasible argumentation inference mechanism for warranting the entailed conclusions.
Journal ArticleDOI
Argumentation-based negotiation
Iyad Rahwan,Sarvapali D. Ramchurn,Nicholas R. Jennings,Peter McBurney,Simon Parsons,Liz Sonenberg +5 more
TL;DR: This article provides a conceptual framework through which the core elements and features required by agents engaged in argumentation-based negotiation, as well as the environment that hosts these agents are outlined, and surveys and evaluates existing proposed techniques in the literature.
References
More filters
Book
The uses of argument
TL;DR: In this paper, the origins of epistemological theory are discussed and the layout of argument and modal arguments are discussed, as well as the history of working logic and idealised logic.
Journal ArticleDOI
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n -person games
TL;DR: By showing that argumentation can be viewed as a special form of logic programming with negation as failure, this paper introduces a general logic-programming-based method for generating meta-interpreters for argumentation systems, a method very much similar to the compiler-compiler idea in conventional programming.
Journal ArticleDOI
A logic for default reasoning
TL;DR: This paper proposes a logic for default reasoning, develops a complete proof theory and shows how to interface it with a top down resolution theorem prover, and provides criteria under which the revision of derived beliefs must be effected.
Book ChapterDOI
Some philosophical problems from the standpoint of artificial intelligence
TL;DR: In this paper, the authors consider the problem of reasoning about whether a strategy will achieve a goal in a deterministic world and present a method to construct a sentence of first-order logic which will be true in all models of certain axioms if and only if a certain strategy can achieve a certain goal.
Journal ArticleDOI
On the logic of theory change: Partial meet contraction and revision functions
TL;DR: In this article, the authors extend earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a proposition and revising it to introduce a new proposition.
Related Papers (5)
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n -person games
Argument-based extended logic programming with defeasible priorities
Henry Prakken,Giovanni Sartor +1 more