Skip to main content
SpringerLink
Log in

Problems of Constructing Intelligent Systems. Knowledge Representation

  • CYBERNETICS
  • Published:
Cybernetics and Systems Analysis Aims and scope

Abstract

This article considers the construction of a formal model of a subject area for an intelligent system using intelligence with descriptive logic. Three interrelated category models are created. In particular, the representation of knowledge about a subject area is defined as a category of knowledge. Some properties of the introduced categories and the relationship between the category of knowledge and the ability to solve problems in the subject area being modeled are considered.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. V. Meytus, “Problems of constructing intelligent systems. Levels of intelligence,” Cybernetics and Systems Analysis, Vol. 54, No. 4. 541–551 (2018).

    Article  MathSciNet  MATH  Google Scholar 

  2. V. Yu. Meytus, Introduction to the Theory of Intelligent Systems. Main Ideas, Palmarium Academic Publishing, Saarbrucken (2015).

  3. A. Letichevsky, “Theory of interaction, insertion modeling, and cognitive architectures,” Biologically Inspired Cognitive Architectures, Vol. 8, 19–32 (2014).

    Article  Google Scholar 

  4. A. Thayse, P. Gribomont, G. Hulin, A. Pirotte, D. Roelants, D. Snyers, M. Vauclair, P. Gochet, P. Wolper, E. Grégoire, and Ph. Delsarte, Approche Logique de l’Intelligence Artificielle, Vol. 2: De la Logique Modale à la Logique des Bases de Données [Russian translation], Mir, Moscow (1998).

  5. S. Mac Lane, Categories for the Working Mathematician [Russian translation], Fizmatlit, Moscow (2004).

    Google Scholar 

  6. R. Goldblatt, Topoi: The Categorial Analysis of Logic [Russian translation], Mir, Moscow (1983).

    MATH  Google Scholar 

  7. R.-Q. Lu, “Towards a mathematical theory of knowledge,” J. Comput. Sci. & Technol., Vol. 20, No. 6, 751–757 (2005).

    Article  MathSciNet  Google Scholar 

  8. F. Baader and W. Nutt, “Basic description logics,” in: F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. Pater-Schneider (eds), The Description Logic Handbook, Cambridge Univer. Press (2007), pp. 47–104.

Download references

Author information

Authors and Affiliations

  1. International Research and Training Center for Information Technologies and Systems of NAS and MES of Ukraine, Kyiv, Ukraine

    V. Yu. Meytus

Authors
  1. V. Yu. Meytus
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to V. Yu. Meytus.

Additional information

Translated from Kibernetika i Sistemnyi Analiz, No. 4, July–August, 2019, pp. 3–14.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Meytus, V.Y. Problems of Constructing Intelligent Systems. Knowledge Representation. Cybern Syst Anal 55, 521–530 (2019). https://doi.org/10.1007/s10559-019-00160-5

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10559-019-00160-5

Keywords

Search

Navigation