Logical models of argument
Top Cited Papers
- 1 December 2000
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Computing Surveys
- Vol. 32 (4) , 337-383
- https://doi.org/10.1145/371578.371581
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.Keywords
This publication has 58 references indexed in Scilit:
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person gamesArtificial Intelligence, 1995
- Argumentative logics: Reasoning with classically inconsistent informationData & Knowledge Engineering, 1995
- A Formal Model of Legal ArgumentationRatio Juris, 1994
- Multi-agent conflict resolution: a computational framework for an intelligent argumentation programKnowledge-Based Systems, 1994
- Resolving ambiguity in nonmonotonic inheritance hierarchiesArtificial Intelligence, 1992
- Conditional entailment: Bridging two approaches to default reasoningArtificial Intelligence, 1992
- A mathematical treatment of defeasible reasoning and its implementationArtificial Intelligence, 1992
- Edited transcription of the workshop on defeasible reasoning with specificity and multiple inheritance St. Louis, April 1989ACM SIGART Bulletin, 1990
- A model for deliberation, action, and introspectionACM SIGART Bulletin, 1981
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980