СТРУКТУРИЗАЦИЯ ЗНАНИЙ НА ОСНОВЕ КАТЕГОРНОГО ПОДХОДА ПРИ ПЛАНИРОВАНИИ ДЕЙСТВИЙ СЛОЖНОЙ СИСТЕМЫ
DOI:
https://doi.org/10.30837/1563-0064.2(85).2019.184746Ключевые слова:
artificial intelligence, knowledge base, four-valued logic of presence, topology of algebra, morphisms, categories and functors, planning of system actionsАннотация
На основе категорного подхода к представлениюзнаний и многозначной логики присутствиярассматриваются структура базы знаний и порядокиспользования ее компонент в интеллектуальнойсистеме поддержки принятия решений припланировании действий сложной системы. В качествеформализованного используется языкчетырехзначной логики присутствия. Приводитсяструктура основных категорий базы знаний поуровням представления. Показывается взаимосвязькатегорий между собой и процесс формированияплана достижения целевых установок сложнойсистемы.
Библиографические ссылки
ДСТУ 2481-94. Системи обробленняінформації. Інтелектуальні інформаційні технології.Терміни та визначення [Текст]. Введ. 01-01-1995. К.:УкрНДІССІ, 1994.
Бондарев В.Н. Искусственныйинтеллект: Учеб. пособие для вузов / В.Н. Бондарев,Ф.Г. Аде. Севастополь: СевНТУ, 2002. 615с.
Володин М.И. Определение состава и структурыпрограммного обеспечения СППР дляавтоматизированных систем управления сложнымисистемами / М.И. Володин, В.П. Прохоров, А.В.Прохоров // Сб. НТ. Системы обработки информации.Х.: ХВУ, 2004. Вып. 1. С.187-191.
Ярушек В.Е.Теоретические основы автоматизации процессоввыработки решений в системах управления: Учебникдля вузов / В.Е. Ярушек, В.П. Прохоров, Б.Н.Судаков, А.В. Мишин. - Харьков, 1993. 443 с.
Нильсон Н. Принципы искусственного интеллекта / Н.Нильсон. М.: Радио и связь, 1985. – 376с.
ПоспеловД.А. Ситуационное управление: теория и практика /Д.А. Поспелов. М.: Наука, 1986. 288с.
Искусственный интеллект [В 3-х кн.]. – Кн.1.Системы общения и экспертные системы: Справочник/ Под. ред. Э.В. Попова. М.: Радио и связь, 1990. 464 с.
Модели и алгоритмы концептуальногопроектирования автоматизированных системуправления / Под ред. С.Г. Чекинова. М., 2004. 324 с.
Войтович С.А. Доказательство полноты алгебрыдля логического исчисления с четырехзначнойсемантикой/ С.А. Войтович, О.М. Сорокин // Сб. НТ.Системи обробки інформації. Харьков: ХУВС, 2005.Вып. 6 (46). С.193-202.
Искусственный интеллект:В 3-х кн. / Под ред. Д.А. Поспелова. Кн. 2. Модели иметоды: Справочник. М.: Радио и связь, 1990. 304с.
Голдблатт Р. Топосы. Категорный анализ логики/ Р. Голдблатт. М.: Мир, 1983. 356c.
Букур Н.Введение в теорию категорий и функторов / Н. Букур,А. Деляну. М.: Мир, 1972. – 268c.
Ярушек В.Е.Применение логики присутствия в интеллектуальныхинформационно-управляющих системах / В.Е.Ярушек, В.П. Прохоров // Искусственный интеллект –90: Материалы 2-й Всесоюз. конф. Минск, 1990.C.123-126.
Энгелькинг Р. Общая топология: пер. сангл. М.Я. Антоновского и А.В. Архангельского / Р.Энгелькинг. М.: Мир, 1986. 752c.
Бурбаки Н.Общая топология (основные структуры): пер. сфранц. С.Н. Крачковского, под ред. Д.А. Райкова / Н.Бурбаки. М.: Наука, 1968. 271с.
Загрузки
Опубликован
Выпуск
Раздел
Лицензия
Copyright (c) 2019 Радиоэлектроника и информатика
![Лицензия Creative Commons](http://i.creativecommons.org/l/by-nc-sa/4.0/88x31.png)
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial-ShareAlike» («Атрибуция — Некоммерческое использование — На тех же условиях») 4.0 Всемирная.
The author(s) of a manuscript agree that if the manuscript is accepted for publication in “Radioelectronics&Informatics Journal”, the published article will be copyrighted using a Creative Commons “Attribution-Non Commercial-Share Alike” license. This license allows the author(s) to retain the copyright, but also allows others to freely copy, distribute, and display the copyrighted work, and derivative works based upon it, under certain specified conditions.