scientific article; zbMATH DE number 1803665
Publisher's description (translated from the Russian): This monograph is devoted to problems of the development of intelligent information systems. The authors consider questions of the conceptual modeling and representation of knowledge in such systems, and also the role of formal mathematical methods in this process. The main tool they employ is mathematical logic and the formal methods that exist in its framework. On the basis of this formal logic approach, they refine basic concepts and develop an approach to the conceptual modeling of static and dynamic subject domains. They briefly present the formal bases of the creation of situation-oriented languages of conceptual modeling. They consider methods and techniques for increasing the intelligence capacity of automated information systems. The monograph is intended for researchers and specialists in information systems, database and knowledge systems, and programming.
- Canonical knowledge in the model of a researcher: An encyclopedia as an informational and creative environment
- Problems of constructing intelligent systems. Levels of intelligence
- Locally simple models construction: methodology and practice
- Problems of constructing intelligent systems. Intelligent modeling
- Problems of constructing intelligent systems. Knowledge representation
- scientific article; zbMATH DE number 4133527 (Why is no real title available?)
- scientific article; zbMATH DE number 3843189 (Why is no real title available?)
- scientific article; zbMATH DE number 47384 (Why is no real title available?)
- scientific article; zbMATH DE number 4001518 (Why is no real title available?)
- A logical modeling system
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3147644)
