Computer Science – Artificial Intelligence
Scientific paper
2004-05-27
In "Computer Modeling of Scientific Reasoning" (C.Delrieux, J.Legris, Eds.). Pp. 43-56, Ed. Ediuns, Argentina, 2003. ISBN 987-
Computer Science
Artificial Intelligence
15 pages, presented at CMSRA Workshop 2003. Buenos Aires, Argentina
Scientific paper
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.
Chesñevar Carlos Iván
Simari Guillermo Ricardo
No associations
LandOfFree
A Framework for Combining Defeasible Argumentation with Labeled Deduction does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A Framework for Combining Defeasible Argumentation with Labeled Deduction, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Framework for Combining Defeasible Argumentation with Labeled Deduction will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-270055