UDC 004.896
1 International Research and Training Center for Information Technologies and Systems, NAS of Ukraine and MES of Ukraine, Kyiv, Ukraine
vmeitus@gmail.com
|
|
PROBLEMS OF CONSTRUCTING INTELLIGENT SYSTEMS.
KNOWLEDGE REPRESENTATION
Abstract. Construction of a formal domain model for an intelligent system using intelligence with descriptive logic is considered. Three interrelated category models are created. In particular, the representation of knowledge about the subject area is defined as a category of knowledge. The individual properties of the introduced categories and the relationship of the category of knowledge with the ability to solve problems in the modeled subject area are considered.
Keywords: intelligence, inteligent system, subject domain, description logic, domain model, knowledge, intensional, ontology, category of knowledge.
FULL TEXT
REFERENCES
- Meytus V. Problems of constructing intelligent systems. levels of intelligence. Kibernetika i sistemnyj analiz. 2018. Vol. 54, N 4. P. 32–44.
- Meytus V. Introduction to the theory of intelligent systems. Basic views [in Russian]. Saarbrucken: Palmarium academic publishing, 2015. 189 p.
- Letichevsky A. Theory of interaction, insertion modeling, and cognitive architectures. Biologically Inspired Cognitive Architectures. 2014. Vol. 8. P. 19–32.
- Taiz A., Gribomon P., Yulen G., Pirot A., Rolan D., Snayers D., Vokler M., Gaucher P., Volper P., Gregoire E., Delsarth F. A logical approach to artificial intelligence. From modal logic to database logic [Russian translation]. Moscow: Mir, 1998. 494 p.
- McLain S. Categories for working mathematics [Russian translation]. Moscow: Fizmatlit, 2004. 352 p.
- Goldblatt R. Toposes. Categorial analysis of logic [Russian translation]. Moscow: Mir, 1983. 488 p.
- Lu R.-Q. Towards a mathematical theory of knowledge. J. Comput. Sci. & Technol. 2005. Vol. 20, N 6. P. 751–757.
- Baader F., Nutt W. Basic description logics. In: The Description Logic Handbook. Baader F., Calvanese D., McGuinness D.L., Nardi D., Pater-Schneider P.F. (Eds). Cambridge Univer. Press, 2007. P. 47–104.