УДК 621.513.8
ПРОБЛЕМИ ПОБУДОВИ ІНТЕЛЕКТУАЛЬНИХ СИСТЕМ.
ІНТЕЛЕКТУАЛЬНЕ МОДЕЛЮВАННЯ
Анотація. Досліджено і деталізовано процес інтелектуального моделювання предметних областей
як складової дій інтелектуального суб’єкта, пов’язаних з розв’язанням завдань у цій галузі.
Розглянуто побудову моделі предмет-ної області як сукупності знань про окремі складові цієї області.
Опис знань кожної складової містить логічне і онтологічне подання, ознаки цієї складової і її зв’язку з іншими елементами.
Показано, що для опису пред-метної області як абстрактного представлення може бути використана відповідна математична структура.
Розглянуто низку таких структур і різні варіанти логіки.
Ключові слова: інтелект, інтелектуальне моделювання, логіка, знання, ма-тематичні структури, представлення знань,
алгоритм моделювання, онто-логія.
ПОВНИЙ ТЕКСТ
Мейтус Володимир Юлійович,
доктор фіз.-мат. наук, провідний науковий співробітник, в.о. завідувача відділом Міжнародного науково-навчального центру інформаційних технологій та систем НАН і МОН України, Київ,
vmeitus@gmail.com
СПИСОК ЛІТЕРАТУРИ
- Мейтус В.Ю. Проблемы построения интеллектуальных систем. Уровни интеллекта. Кибернетика и системный анализ. 2018. Т. 54, № 4. С. 32–44.
- Мейтус В.Ю. Проблемы построения интеллектуальных систем. Представление знаний. Кибернетика и системный анализ. 2019, Т. 55, № 4. С. 3–14.
- Андон Ф.И., Яшунин А.Е., Резниченко В.А. Логические модели интеллектуальных информационных систем. Киев: Наукова думка, 1999. 396 с.
- Мейтус В.Ю. Введение в теорию интеллектуальных систем. Основные представления. Саарбрюкен: 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.
- Степашко В.С. Концептуальные основы интеллектуального моделирования. Управляющие системы и машины. 2016. № 4. С. 3–15.
- Халмош П.Р. Николай Бурбаки. Математическое просвещение (математика, ее преподавание, приложения и история). 1960. №5. С. 229–239.
- Адамар Ж. Исследование психологии процесса изобретения в области математики. Москва: Советское радио, 1970. 152 с.
- Rutten J.J.M.M. Universal coalgebra: А theory of systems. Theoretical Computer Science. 2000. Vol. 249. Р. 3–80.
- Hartonas C. An algebraic theory of structured objects. Notre Dame Journal of Formal Logic. 1977. Vol. 38, N 1. P. 65–80.
- Milner R. A calculus of communicating systems. Lecture Notes in Computer Science. 1980. Vol. 92. 171 p.
- Кон П. Универсальная алгебра. Москва: Мир, 1968. 351 с.
- Goguen J.A. A categorical manifesto. Mathematical Structures in Computer Science. 1991. N 1(1). P. 49–67
- Barr M., Wells C. Category theory for computing science. Prentice-Hall; Englewood Cliffs; New Jersey, 1990. 538 p.
- Голдблатт Р. Топосы. Категорный анализ логики. Москва: Мир, 1983. 488 с.
- Телеман К. Элементы топологии и дифференцируемые многообразия. Москва: Мир, 1967. 390 с.
- Бишоп Р.Л., Криттенден Р. Геометрия многообразий. Москва: Мир, 1967. 335 с.
- Хайкин С. Нейронные сети: полный курс. Москва: Изд. дом «Вильямс», 2006. 1104 с.
- Siddique N., Adeli H. Computational intelligence: Synergies of fuzzy logic, neural networks, and evolutionary computing. A John Wiley & Sons, Ltd., Publication, 2013. 517 p.
- Глибовець М.М., Гулаєва Н.М. Еволюційні алгоритми: підручник. Київ: НаУКМА, 2013. 828 с.
- Мальцев А.И. Алгоритмы и рекурсивные функции. Москва: Наука, 1965. 392 с.
- Лорьер Ж.-Л. Системы искусственного интеллекта. Москва: Мир, 1991. 568 с.
- Bezdek J.C. What is сomputational intelligence? Computational Intelligence Imitating Life. J. Zurada, B. Marks and C. Robinson (Еds.). IEEE Press, Piscataway, 1994. P.1–12.
- Кочетков Ю.Ю. Вычислимые функции. URL: http://kirill-andreyev.narod2.ru/olderfiles/ /1/Kochetkov.pdf].
- Колмогоров А.Н., Успенский В.А. К определению алгоритма. Успехи математических наук. 1958. Т.13, № 4. С.3–28.
- Хофштадтер Д.Р. Гедель, Эшер, Бах: эта бесконечная гирлянда. Самара: Изд. дом «Бахрак-М», 2001. 752 с.
- Тейз А., Луи Ж., Снайерс Д., Водон П., Гоше П., Грегуар Э., Санчес Э., Дельсарт Ф. Логический подход к искусственному интеллекту: от классической логики к логическому программированию. Москва: Мир, 1990. 432 с.
- Тейз А., Грибомон П., Юлен Г., Пирот А., Ролан Д., Снайерс Д., Воклер М., Гоше П., Вольпер П., Грегуар Э., Дельсарт Ф. Логический подход к искусственному интеллекту: от модальной логики к логике баз данных. Москва: Мир, 1998. 494 с.
- Мальцев А.И. Алгебраические системы. Москва: Наука, 1970. 392 с.
- Ивин А.А. Логика оценок и норы. Философские, методологические и прикладные аспекты. Москва: Проспект, 2016. 320 с.
- Заде Л. Понятие лингвистической переменной и его применение к принятию приближенных решений. Москва: Мир, 1976. 165 с.
- Леоненков А.В. Нечеткое моделирование в среде MATLAB и fuzzyTECH. СПб: БХВ-Петербург, 2005. 736 с.
- Reiter R. A logic for default reasoning. Artificial Intelligence. 1980. Vol.13, N 1–2. P. 81–132.
- Antoniou G. A tutorial on default logics. ACM Computing Surveys. 1999. Vol. 31, N 3. P. 337–359.
