The Fuzzy Knowledge Representation in a First Logic

Abstract

Knowledge representation and processing within an expert system are rather conflicting characteristics, due to the fact that the increase in knowledge power representation reduces the system efficiency and validity. The use of variables in a knowledge representation formalism allows knowledge factorization. The first order predicates languages facilitate rigorously expressing complex knowledge, imposing appropriate reasoning techniques. The goal of this paper is to provide an extended framework for fuzzy knowledge representation and processing, used in a prototype system CFK.