Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/10459.1/46632
|
Título:
|
Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants
|
|
Autor/a:
|
Alsinet, Teresa; Godo i Lacasa, Lluís
|
|
Notas:
|
PLFC is a first-order possibilistic logic dealing with fuzzy constants and fuzzily restricted quantifiers. The refutation proof method in PLFC is mainly based on a generalized resolution rule which allows an implicit graded unification among fuzzy constants. However, unification for precise object constants is classical. In order to use PLFC for similarity-based reasoning, in this paper we extend a Horn-rule sublogic of PLFC with similarity-based unification of object constants. The Horn-rule sublogic of PLFC we consider deals only with disjunctive fuzzy constants and it is equipped with a simple and efficient version of PLFC proof method. At the semantic level, it is extended by equipping each sort with a fuzzy similarity relation, and at the syntactic level, by fuzzily “enlarging” each non-fuzzy object constant in the antecedent of a Horn-rule by means of a fuzzy similarity relation. |
|
Materia(s):
|
-Possibilistic logic
-Fuzzy constants
-Horn-rule sublogic
-Similarity-based unification
-Programació lògica
-Lògica probabilística |
|
Derechos:
|
(c) Elsevier, 2004
|
|
Tipo de documento:
|
article
acceptedVersion |
|
Editor:
|
Elsevier
|
|
Compartir:
|
|
Documentos con el texto completo de este documento
Mostrar el registro completo del ítem
