Fuzzy inference systems, Non-classical logics, Fuzzy deductive databases

The article presents the possibilities of usage of the resolution principle for Fuzzy Predicate Logic with Evaluated Syntax as theoretical and inference background for fuzzy deductive databases. We start on explaining the problem of the classical deductive databases, further describing possibilities of fuzzyfication of deductive database on the mentioned fuzzy logic. The key part shows how to utilize resolution principle as an inference engine of the fuzzy deductive database together with some efficient resolution strategies devised originally for the refutational resolution theorem proving system for FPL.

The article presents the possibilities of usage of the resolution principle for Fuzzy Predicate Logic with Evaluated Syntax as theoretical and inference background for fuzzy deductive databases. We start on explaining the problem of the classical deductive databases, further describing possibilities of fuzzyfication of deductive database on the mentioned fuzzy logic. The key part shows how to utilize resolution principle as an inference engine of the fuzzy deductive database together with some efficient resolution strategies devised originally for the refutational resolution theorem proving system for FPL.