Problems of Knowledge Representation in Computer-Assisted Decision Making Systems

Formal knowledge representation methods in computer-assisted decision making systems are considered. A concept of infosphere and of its historical evolution is presented. Representation of knowledge in the form of factual, implicative and deontic statements as well as of evaluating meta-statements is described and their representation by formal structures is illustrated by examples. It is shown that ontological models based on formal structures can be used both to a reduction of semantic redundancy in knowledge bases and to semantically equivalent reformulation of queries ordered to the knowledge base. Application of ontological models as a source of knowledge used in decision making is illustrated by an example.