Fundamentals of Fuzzy Prolog
Generate an AI Snapshot to get a quick, structured summary of this paper.
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
This paper introduces 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.
Abstract
In this paper, 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].