Semantic unification with fuzzy concepts in FRIL
J.F. Baldwin, BW Pilsworth · International Journal of Intelligent Systems · 1992
A new model for semantic unification in the FRIL programming language is described, which establishes a connection between fuzzy sets theory, probability theory, and support logic programming. This model adopts a more rigorous approach to the semantic matching of fuzzy terms than the current implementation which is based on possibility and necessity measures. In addition, a framework is described which allows semantic unification, by matching of concepts expressed as fuzzy sets, to be generalized to the cases of symmetric and nonsymmetric matching of arbitrarily complex fuzzy structures, such as the maximal join of conceptual graphs containing fuzzy referents.