Formalizing defeasible argumentation using a labeled deductive system

Thumbnail
View/Open
Issue date
2001
Author
Chesñevar, Carlos Iván
Simari, Guillermo Ricardo
Suggested citation
Chesñevar, Carlos Iván; Simari, Guillermo Ricardo; . (2001) . Formalizing defeasible argumentation using a labeled deductive system. Journal of Computer Science and Technology, 2001, vol. 1, núm. 4, p. 18-33. http://hdl.handle.net/10459.1/41498.
Impact

Google Scholar logo  Google Scholar
Share
Export to Mendeley
Metadata
Show full item record
Abstract
In the last years there has been an increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI, logic programming and other related areas. Labeled Deductive Systems (LDS) were developed as a flexible methodology to formalize such a kind of complex logical systems. In the last decade, defeasible argumentation has proven to be a confluence point for many approaches to formalizing commonsense reasoning. Different formalisms have been developed, many of them sharing common features. This paper presents a formalization of an LDS for defensible argumentation, in which the main issues concerning defeasible argumentation are captured within a unified logical framework. The proposed framework is defined in two stages. First, defeasible inference will be formalized by characterizing an argumentative LDS. That system will be then extended in order to capture conflict among arguments using a dialectical approach. We also present some logical properties emerging from the proposed framework, discussing also its semantical characterization.
URI
http://hdl.handle.net/10459.1/41498
Is part of
Journal of Computer Science and Technology, 2001, vol. 1, núm. 4, p. 18-33
Collections