Author(s)

D.E. Sitnikov, B.D'Cruz & P.E.Sitnikova

Abstract

The paper suggests a method of representing knowledge in the form of logical equations of a special type. We show that deductive inferences about the salient data features in a knowledge base can be represented by a set of logical equations. We describe how logical equations with finite predicates can be successfully used for the description of logical links between discrete features, and how this can be applied to pattern recognition and data mining. New knowledge about logical links between discrete features in the data can be obtained by eliminating variables from these equations with the help of the operation 3, and we describe this process in detail. We consider the application of the operation 3 to a logical equation

Keywords