Syntax versus semantics in knowledge bases - I

摘要

This paper is the first one in a series of papers where we lay special attention on syntax and semantics in knowledge base theory. The main goal of the present paper is to set up all necessary mathematical background for the definition of a knowledge-base model which will be introduced in the next paper. We should emphasize that in these papers we develop a slightly different approach to the knowledge-base model than in the previous ones.