УДК 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.