dc.contributor.author |
Alsinet, Teresa |
dc.contributor.author |
Chesñevar, Carlos Iván |
dc.contributor.author |
Godo i Lacasa, Lluís |
dc.contributor.author |
Sandri, Sandra |
dc.contributor.author |
Simari, Guillermo Ricardo |
dc.date |
2013-09-12T08:22:39Z |
dc.date |
2013-09-12T08:22:39Z |
dc.date |
2008 |
dc.identifier |
0888-613X |
dc.identifier |
http://hdl.handle.net/10459.1/46635 |
dc.identifier |
https://doi.org/10.1016/j.ijar.2007.07.004 |
dc.identifier.uri |
http://hdl.handle.net/10459.1/46635 |
dc.description |
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. |
dc.language |
eng |
dc.publisher |
Elsevier |
dc.relation |
Versió postprint del document publicat a: https://doi.org/10.1016/j.ijar.2007.07.004 |
dc.relation |
International Journal of Approximate Reasoning, 2008, vol. 48, núm. 3, pàg. 711-729 |
dc.rights |
(c) Elsevier, 2008 |
dc.rights |
info:eu-repo/semantics/openAccess |
dc.subject |
Possibilistic logic |
dc.subject |
Fuzzy constants |
dc.subject |
Fuzzy unification |
dc.subject |
Defeasible argumentation |
dc.subject |
Warrant computation |
dc.subject |
Programació lògica |
dc.subject |
Lògica difusa |
dc.title |
Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification |
dc.type |
article |
dc.type |
acceptedVersion |