Premium
Fuzzy unification and first order probabilistic logic
Author(s) -
Piastra Marco
Publication year - 2002
Publication title -
international journal of intelligent systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.291
H-Index - 87
eISSN - 1098-111X
pISSN - 0884-8173
DOI - 10.1002/int.10066
Subject(s) - unification , probabilistic logic , fuzzy logic , computer science , fuzzy control language , logic programming , artificial intelligence , theoretical computer science , mathematics , fuzzy set operations , fuzzy set , programming language
The notion of unification for fuzzy sets in fuzzy logic programming is explored in this article from thestandpoint of a theoretical framework based on first‐order probabilistic modal logic. The fundamentaldifference between the latter perspective and other approaches described in the literature lies in thecharacterization of fuzzy sets, which are construed in the logical framework as derived entities having aprobabilistic deep structure. The analysis reveals that a few semantic unification techniques are sound even inthis probabilistic approach, provided that some specific conditions are enforced. In addition, the approachhelps to clarify some important aspects of the informal interpretation for the unification process, including arationale for the applicability requisites of computational techniques. In the discussion, the reference model adopted for the notion of fuzzy unification is that of evidentiallogic programming, that is, the one underlying the programming language FRIL.5 ©2002 Wiley Periodicals, Inc.