|Títol||Formalizing Argumentative Reasoning in a Possibilistic Logic Programming Setting with Fuzzy Unification|
|Publication Type||Journal Article|
|Year of Publication||2008|
|Authors||Alsinet T, Chesñevar C., Godo L, Sandri S, Simari G.|
|Journal||International Journal of Approximate Reasoning|
Possibilistic Defeasible Logic Programming (PDeLP) 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 PDeLP 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, modeled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DeGLP$^+$, a possibilistic defeasible logic programming language that extends PDeLP 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.
- Quant a IIIA