Formalization of intensional functions and epistemic knowledge representation systems
Abstract
o formalization of intensional functions was made for the purpose of many-valued interpretation of the belief-operators within the scope of the classical logic system. The first aim of the paper is to present and discuss this rather unknown many-valued construction and its properties. The fact that the manyvaluedness of o systems is purely formal - their characteristic matrices are Boolean - calls for further consideration. Departing from intristic similarities of the tables for the epistemic operators to the information functions we show that o structures may be rewritten as special knowledge representation systems. These systems use 0 and 1 as the only values and are called “epistemic”. Their role for the theory of knowledge information systems may be compared to that of the functionally complete matrices in the class of all logical matrices for a given propositional language