Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification

Thumbnail
View/Open
Issue date
2008
Author
Alsinet, Teresa
Chesñevar, Carlos Iván
Godo i Lacasa, Lluís
Sandri, Sandra
Simari, Guillermo Ricardo
Suggested citation
Alsinet, Teresa; Chesñevar, Carlos Iván; Godo i Lacasa, Lluís; Sandri, Sandra; Simari, Guillermo Ricardo; . (2008) . Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification. International Journal of Approximate Reasoning, 2008, vol. 48, núm. 3, pàg. 711-729. https://doi.org/10.1016/j.ijar.2007.07.004.
Impact

Google Scholar logo  Google Scholar
Share
Export to Mendeley
Metadata
Show full item record
Abstract
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the object-language level. In spite of its expressive power, an important limitation in P-DeLP is that imprecise, fuzzy information cannot be expressed in the object language. One interesting alternative for solving this limitation is the use of PGL+, a possibilistic logic over Gödel logic extended with fuzzy constants. Fuzzy constants in PGL+ allow expressing disjunctive information about the unknown value of a variable, in the sense of a magnitude, modelled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DePGL+, a possibilistic defeasible logic programming language that extends P-DeLP through the use of PGL+ in order to incorporate fuzzy constants and a fuzzy unification mechanism for them. Secondly, we propose a way to handle conflicting arguments in the context of the extended framework.
URI
http://hdl.handle.net/10459.1/46635
DOI
https://doi.org/10.1016/j.ijar.2007.07.004
Is part of
International Journal of Approximate Reasoning, 2008, vol. 48, núm. 3, pàg. 711-729
Collections