English   español  
Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/159900
logo share SHARE logo core CORE   Add this article to your Mendeley library MendeleyBASE

Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Exportar a otros formatos:


Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants

AuthorsAlsinet, Teresa; Godo, Lluis
KeywordsSimilarity-based unification
Possibilistic logic
Fuzzy constants
Horn-rule sublogic
Issue Date2004
CitationFuzzy Sets and Systems 144: 43- 65 (2004)
AbstractPLFC 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. © 2003 Elsevier B.V. All rights reserved.
Identifiersdoi: 10.1016/j.fss.2003.10.013
issn: 0165-0114
Appears in Collections:(IIIA) Artículos
Files in This Item:
File Description SizeFormat 
accesoRestringido.pdf15,38 kBAdobe PDFThumbnail
Show full item record
Review this work

Related articles:

WARNING: Items in Digital.CSIC are protected by copyright, with all rights reserved, unless otherwise indicated.