PAPERS: Artificial IntelligenceNo Access

FUZZY LOGIC WITH EQUALITY

CHURN JUNG LIAU

Department of Computer Science and Information Engineering National Taiwan University, Taipei, Taiwan, China

Search for more papers by this author

and

BERTRAND I-PENG LIN

Department of Computer Science and Information Engineering National Taiwan University, Taipei, Taiwan, China

Search for more papers by this author

https://doi.org/10.1142/S0218001488000212Cited by:7 (Source: Crossref)

Abstract

The concept of fuzzy equality and its related contents to the first order predicate calculus are discussed. It is proved that, in the viewpoint of computational logic, resolution and paramodulation mechanisms are complete and sound for fuzzy logic with equality. Term rewriting system, that is the set of left to right directional equations, provides an essential computational paradigm for word problems in universal algebra. We embody the fuzzy equality to the theory of this computation system and give an algorithmic solution to the word problems in fuzzy algebra.

Keywords: