IMCS/Publications/BASM/Issues/BASM n.2 (30), 1999/

Category of representations of elementary knowledge. (English)

Authors: Plotkin T.


The paper deals with the special geometric approach to the theory of knowledge representations. The corresponding algebraic model is based on the algebraic geometry in the First Order Logic. Algebraic sets ("varieties") are determined by arbitrary first order formulas.

Dept. of Math. & Computer Science
Bar-Ilan University, 52-900 Ramat-Gan, Israel