Logical models of argument
@article{Chesevar2000LogicalMO, title={Logical models of argument}, author={C. Ches{\~n}evar and Ana Gabriela Maguitman and R. Loui}, journal={ACM Comput. Surv.}, year={2000}, volume={32}, pages={337-383} }
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… CONTINUE READING
572 Citations
Towards Computational Models of Natural Argument using Labelled Deductive Systems
- Computer Science
- 2005
- 8
- PDF
Modeling argumentation with labeled deduction: formalization and theoretical considerations
- Mathematics
- 2001
- PDF
A formalization of defeasible argumentation using labelled deductive systems
- Computer Science
- 1998
- 3
- PDF
Modelling Inference in Argumentation through Labelled Deduction: Formalization and Logical Properties
- Mathematics, Computer Science
- Logica Universalis
- 2007
- 15
- PDF
Toward a logical tool for generating new arguments in an argumentation based framework
- Computer Science
- 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05)
- 2005
- 3
References
SHOWING 1-10 OF 54 REFERENCES
On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming
- Mathematics, Computer Science
- IJCAI
- 1993
- 337
- Highly Influential
- PDF
A Logical Framework for Default Reasoning
- Mathematics, Computer Science
- Artif. Intell.
- 1988
- 854
- Highly Influential
- PDF
On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games
- Computer Science
- Artif. Intell.
- 1995
- 3,846
- Highly Influential
- PDF
A System for Defeasible Argumentation, with Defeasible Priorities
- Computer Science
- FAPR
- 1996
- 85
- Highly Influential
Dialectical Proof Theory for Defeasible Argumentation with Defeasible Priorities (Preliminary Report)
- Computer Science, Mathematics
- ModelAge Workshop
- 1997
- 33
- Highly Influential
Developing heuristics for the argument based explanation of negation in logic programs
- Mathematics
- 1994
- 4
- Highly Influential
- PDF