Fundamentals of Fuzzy Prolog (Q1116716)

A Fuzzy Prolog is introduced that is based on the fuzzy resolution principle. There are three levels of concern: (1) the fuzzy truth values of predicates that depend on several values of individual variables, (2) the weights of rules that depend on several fuzzy truth values of premise and conclusion, and (3) the confidence of resolvent that depends on the fuzzy resolution principle. With these three levels, we introduce fuzziness into the resolution principle and unification and cause fuzzy logical inference to be significant in Fuzzy Prolog when the values of all variables are taken in the closed interval [0,1].