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}
}
  • C. Chesñevar, Ana Gabriela Maguitman, R. Loui
  • Published 2000
  • Computer Science
  • ACM Comput. Surv.
  • 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

    Figures and Topics from this paper

    Modelling Inference in Argumentation through Labelled Deduction: Formalization and Logical Properties
    • 15
    • PDF
    A Formalization of Dialectical Bases for Defeasible Logic Programming
    • 3
    • PDF
    Toward a logical tool for generating new arguments in an argumentation based framework
    • Geoffroy Aubry, V. Risch
    • Computer Science
    • 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05)
    • 2005
    • 3
    Propositional Argumentation and Causal Reasoning
    • 15
    • PDF

    References

    SHOWING 1-10 OF 54 REFERENCES
    On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming
    • P. Dung
    • Mathematics, Computer Science
    • IJCAI
    • 1993
    • 337
    • Highly Influential
    • PDF
    A Logical Framework for Default Reasoning
    • D. Poole
    • Mathematics, Computer Science
    • Artif. Intell.
    • 1988
    • 854
    • Highly Influential
    • PDF
    Focusing inference in defeasible argumentation 1
    • 10
    • Highly Influential
    On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games
    • P. Dung
    • Computer Science
    • Artif. Intell.
    • 1995
    • 3,846
    • Highly Influential
    • PDF
    Defeasible Reasoning
    • 626
    • Highly Influential
    • PDF
    A System for Defeasible Argumentation, with Defeasible Priorities
    • 85
    • Highly Influential
    Dialectical Proof Theory for Defeasible Argumentation with Defeasible Priorities (Preliminary Report)
    • H. Prakken
    • Computer Science, Mathematics
    • ModelAge Workshop
    • 1997
    • 33
    • Highly Influential
    Defeasible Reasoning: A Philosophical Analysis in Prolog
    • 93
    • Highly Influential
    The Representation of Defaults in Cyc
    • 12
    • Highly Influential
    • PDF
    Developing heuristics for the argument based explanation of negation in logic programs
    • 4
    • Highly Influential
    • PDF