DocumentCode
1750680
Title
Adding similarity to possibilistic logic with fuzzy constants
Author
Alsinet, Teresa ; Godo, Lluis
Author_Institution
Comput. Sci. Dept., Llleida Univ., Lleida, Spain
Volume
3
fYear
2001
fDate
25-28 July 2001
Firstpage
1535
Abstract
The authors propose an extension of a Horn-rule sublogic of PLFC (a first-order possibilistic logic programming language dealing with fuzzy constants and fuzzily restricted quantifiers) with similarity-based unification of object constants. At the semantic level, we equip each sort with a fuzzy similarity relation, and at the syntactic level, we replace each precise object constant in the antecedent of a Horn-rule by a variable weight fuzzily "enlarged" by means of a fuzzy similarity relation
Keywords
Horn clauses; fuzzy logic; fuzzy set theory; inference mechanisms; logic programming languages; possibility theory; uncertainty handling; Horn-rule sublogic extension; PLFC; first-order possibilistic logic programming language; fuzzily restricted quantifiers; fuzzy constants; fuzzy similarity relation; object constants; semantic level; similarity based unification; Artificial intelligence; Calculus; Computer science; Fuzzy logic; Fuzzy sets; Fuzzy systems; Knowledge representation; Uncertainty;
fLanguage
English
Publisher
ieee
Conference_Titel
IFSA World Congress and 20th NAFIPS International Conference, 2001. Joint 9th
Conference_Location
Vancouver, BC
Print_ISBN
0-7803-7078-3
Type
conf
DOI
10.1109/NAFIPS.2001.943777
Filename
943777
Link To Document