To access the full text documents, please follow this link: http://hdl.handle.net/10459.1/46635

Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification
Alsinet, Teresa; Chesñevar, Carlos Iván; Godo i Lacasa, Lluís; Sandri, Sandra; Simari, Guillermo Ricardo
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.
2008
Possibilistic logic
Fuzzy constants
Fuzzy unification
Defeasible argumentation
Warrant computation
Programació lògica
Lògica difusa
(c) Elsevier, 2008
article
Elsevier
         

Full text files in this document

Files Size Format View
012288.pdf 410.8 KB application/pdf View/Open

Full text files in this document

Files Size Format View

Show full item record

Related documents

Other documents of the same author

 

Coordination

 

Supporters