2026-04-13T13:27:54Zhttps://recercat.cat/oai/requestoai:recercat.cat:10459.1/579842024-12-05T21:28:45Zcom_2072_3622col_2072_479130
RECERCAT
author
Alsinet, Teresa
author
Godó, Lluís
author
Sandri, Sandra
2024-12-05T21:28:45Z
2024-12-05T21:28:45Z
2016-10-19T10:55:02Z2016-10-19T10:55:02Z2002
http://hdl.handle.net/10459.1/57984
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.
cc-by-nc-nd (c) Elsevier, 2002 info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-nc-nd/3.0/es/
Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: A comparative description
article publishedVersion