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.