Fuzzy Unification and Resolution Proof Procedure for Fuzzy Conceptual Graph Programs
Fuzzy conceptual graph programs are order-sorted fuzzy logic programs based on
fuzzy conceptual graphs (FCGs). In this paper, we develop fuzzy unification and resolution proof procedure, taking into account fuzziness of FCGs and properties
of fuzzy reasoning, for FCG programs. General issues of both CG and FCG unifications
and resolution procedures are also analysed and solutions to them are proposed.
The resolution procedure is proved to be sound with respect to the declarative
semantics of FCG programs.