Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: A comparative description
MetadataShow full item record
Possibilistic logic is a logic of uncertainty where a certainty degree between 0 and 1, interpreted as a lower bound of a necessity measure, is attached to each classical formula. In this paper we present a comparative description of two models extending first order possibilistic logic so as to allow for fuzzy unification. The first formalism, called PLFC, is a general extension that allows clauses with fuzzy constants and fuzzily restricted quantifiers. The second formalism is an implication-based extension defined on top of Gödel infinitely-valued logic, capable of dealing with fuzzy constants. In this paper we compare these approaches, mainly their Horn-clause fragments, discussing their basic differences, specially in what regards their unification and automated deduction mechanisms.
Is part ofElectronic Notes in Theoretical Computer Science, 2002, vol. 66, núm. 5, p. 1-21
European research projects
The following license files are associated with this item: