Logical models of argument

Logical models of argument formalize commonsense reasoning while taking pro cess and computation seriously. This survey discusses the main ideas that c haracterize different logical models of argument. It presents the formal fe atures of a few main approaches to the modeling of argumentation. We trace the evolution of argumentation from the mid-1980s, when argument s ystems emerged as an alternative to nonmonotonic formalisms based on classi cal logic, to the present, as argument is embedded in different complex sys tems 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.