RUS  ENG
Полная версия
ЖУРНАЛЫ // Информатика и автоматизация // Архив

Тр. СПИИРАН, 2015, выпуск 38, страницы 94–111 (Mi trspy778)

Эта публикация цитируется в 6 статьях

Подход к построению непротиворечивой теории синтеза сценариев упреждающего поведения в конфликте

Д. Н. Бирюков, Ю. Г. Ростовцев

Военно-космическая академия им. А. Ф. Можайского

Аннотация: В статье предложен подход к построению непротиворечивой теории синтеза сценариев упреждающего поведения в конфликте. Приведены доказательства непротиворечивости, разрешимости и модельной полноты теории частично упорядоченных гироматов с поуровневой координацией.

Ключевые слова: гиромат; интеллектуальная система; непротиворечивость; теорема Гёделя.

УДК: 510.2; 510.6:004.8:007.3

DOI: 10.15622/sp.38.6



© МИАН, 2024