Representation of nondeterministic information

From MaRDI portal
(Redirected from Publication:792780)





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.




Cited in
(62)








This page was built for publication: Representation of nondeterministic information

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q792780)