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

Полный текст:

PDF (Русский)

Литература


ДСТУ 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 License
Эта работа лицензирована Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.