LOGICAL MODEL OF KNOWLEDGE PRESENTATION
Main Article Content
Abstract
We consider the statements in the article to be true or false. Creating complex reasoning from simple reasoning. Calculation from elementary considerations. Computational reasoning using quantifiers. We can construct a formula (P ˄Q) → R explained by the sentence “All men die, and Socrates dies, then Socrates dies” by defining sentences with the logical variables P, Q and R.
Article Details
This work is licensed under a Creative Commons Attribution 4.0 International License.
References
Потапов А.С. Технологии искусственного интеллекта - СПб: СПбГУ ИТМО, 2010.-218 с.
Иванов В. М. Интеллектуальные системы: учебное пособие Екатеринбург: Изд.- во Уральского университета, 2015.– 92 с.
Остроух А.В. Интеллектуальные системы. – Красноярск:мм Научно- иновационый центр, 2015. – 110 с.
Морозова В. А., Паутов В. И. Представление знаний в экспертных системах: учебное пособие - Екатеринбург: Изд-во Урал. ун-та, 2017. - 120 с.
Исаев, С. В. Интеллектуальные системы: учебное пособие Красноярск : СФУ, 2017. - 117 с.
Птицына, Л. К. Интеллектуальные системы и технологии: учебное пособие/ Санкт-Петербург : СПбГУТ им. М.А. БончБруевича, 2019– 231с.