УДК 004.896
ПРОБЛЕМИ ПОБУДОВИ ІНТЕЛЕКТУАЛЬНИХ СИСТЕМ. ПОДАННЯ ЗНАНЬ
Анотація. Розглянуто побудову формальної моделі предметної області для інтелектуальної системи, що використовує інтелект із дескрипційною логікою. Створено три взаємопов’язані моделі у вигляді категорій. Зокрема, визначено подання знань про предметну область у вигляді категорії знань. Розглянуто окремі властивості введених категорій і зв’язок категорії знань з можливістю розв'язання задач у модельованій предметній області.
Ключові слова: інтелект, інтелектуальна система, предметна область, дескрипційна логіка, модель предметної області, знання, інтенсіонал, онтологія, категорія знань.
ПОВНИЙ ТЕКСТ
Мейтус Владимир Юльевич,
доктор физ.-мат. наук, ведущий научный сотрудник, и.о. заведующего отделом Международного научно-учебного центра информационных технологий и систем НАН и МОН Украины, Киев,
vmeitus@gmail.com
СПИСОК ЛІТЕРАТУРИ
- Мейтус В.Ю. Проблемы построения интеллектуальных систем. Уровни интеллекта. Кибернетика и системный анализ. 2018. Т. 54, № 4. С. 32–44.
- Мейтус В.Ю. Введение в теорию интеллектуальных систем. Основные представления. Саарбрюкен: Palmarium academic publishing, 2015. 189 с.
- Letichevsky A. Theory of interaction, insertion modeling, and cognitive architectures. Biologically Inspired Cognitive Architectures. 2014. Vol. 8. P. 19–32.
- Тейз А., Грибомон П., Юлен Г., Пирот А., Ролан Д., Снайерс Д., Воклер М., Гоше П., Вольпер П., Грегуар Э., Дельсарт Ф. Логический подход к искусственному интеллекту. От модальной логики к логике баз данных: пер. с франц. Москва: Мир, 1998. 494 с.
- Маклейн С. Категории для работающего математика: пер. с англ. Москва: Физматлит, 2004. 352 с.
- Голдблатт Р. Топосы. Категорный анализ логики: пер. с англ. Москва: Мир, 1983. 488 с.
- 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.