Application of Boolean Valued and Fuzzy Model Theory for Knowledge Base Development

In paper we propose a semantic model for representing knowledge. This approach is based on the theory of fuzzy models, which is a conservative extension of the classical model theory. In the framework of the proposed approach, first the knowledge extracted from texts of natural language is presented in the form of algebraic systems (precedents of a object domain). Then all precedents are integrated to one Knowledge Base. The knowledge base of the object domain is formalized in the form of two algebraic systems: a Boolean-valued Model and a Fuzzy Model. The Boolean-valued model formalizes semantic (qualitative) knowledge about the object domain. The fuzzy model is intended to formalize statistical (quantitative) knowledge. The proposed methodology is illustrated by the example of the object domain of computer security.