Representation of nondeterministic information (Q792780)

A knowledge representation method dealing with nondeterministic information is developed in the paper. The concept of system of nondeterministic information is introduced as a certain generalization of many-valued and approximate information systems, presented by the authors in their previous works. A formal language (Logic NIL) of nondeterministic information is built. A deductive system for the language is based on axiomatization of propositional modal logic. Completeness and compactness of the logic NIL are proved. Languages of systems of nondeterministic information based on the logic NIL are discussed as well as their advantages. The presented language is considered by an example for a system of medical information.