A Framework for Combining Defeasible Argumentation with Labeled Deduction
摘要
In the last years, there has been an increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI and other related areas. Labeled Deductive Systems (LDS) were developed as a flexible methodology to formalize such a kind of complex logical systems. Defeasible argumentation has proven to be a successful approach to formalizing commonsense reasoning, encompassing many other alternative formalisms for defeasible reasoning. Argument-based frameworks share some common notions (such as the concept of argument, defeater, etc.) along with a number of particular features which make it difficult to compare them with each other from a logical viewpoint. This paper introduces LDSar, a LDS for defeasible argumentation in which many important issues concerning defeasible argumentation are captured within a unified logical framework. We also discuss some logical properties and extensions that emerge from the proposed framework.
引用
@article{arxiv.cs/0405107,
title = {A Framework for Combining Defeasible Argumentation with Labeled Deduction},
author = {Carlos Iván Chesñevar and Guillermo Ricardo Simari},
journal= {arXiv preprint arXiv:cs/0405107},
year = {2007}
}
备注
15 pages, presented at CMSRA Workshop 2003. Buenos Aires, Argentina