Logical models of argument

Carlos Iván Chesñevar, Ana Gabriela Maguitman, Ronald Prescott Loui
2000 ACM Computing Surveys  
Logical models of argument 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 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 is embedded in
more » ... rent complex systems for real-world applications, and allows more formal work to be done in different areas, such as AI and Law, case-based reasoning and negotiation among intelligent agents.
doi:10.1145/371578.371581 fatcat:fcifpsaik5hd7diovit5h67p7e