TitleFormalizing Argumentative Reasoning in a Possibilistic Logic Programming Setting with Fuzzy Unification
Publication TypeJournal Article
Year of Publication2008
AuthorsAlsinet T, Chesñevar C., Godo L, Sandri S, Simari G.
JournalInternational 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.