Подход к построению непротиворечивой теории синтеза сценариев упреждающего поведения в конфликте
Ключевые слова:
гиромат, интеллектуальная система, непротиворечивость, теорема ГёделяАннотация
В статье предложен подход к построению непротиворечивой теории синтеза сценариев упреждающего поведения в конфликте. Приведены доказательства непротиворечивости, разрешимости и модельной полноты теории частично упорядоченных гироматов с поуровневой координацией.Литература
1. Финн В.К. Искусственный интеллект: Идейная база и основной продукт // 9-ая национальная конференция по искусственному интеллекту. Труды конференции. М.: Физматлит. 2004. Т.1. С.11–20.
2. Успенский В.А. Теорема Гёделя о неполноте и четыре дороги, ведущие к ней // Математическое просвещение. М.: МЦНМО. 2011. Серия 3. Вып. 15. С.35–76.
3. Успенский В.А. Теорема Гёделя о неполноте в элементарном изложении // Успехи математических наук. 1974. №29:1. С.3–47.
4. Успенский В.А. Теорема Гёделя – синтаксическая версия // "Современная математика" Дубна. 2010. URL: http://www.mccme.ru/dubna/2010/courses/vau.htm (дата обращения:17.12.2014).
5. Göde1 K. Über formal unentscheidbare Sätze'der Principia Mathematica und verwandter Systeme // Monatshefte für Math. und Physik. 1931. vol. 38:1. pp.173–198.
6. Клини С.К. Введение в метаматематику // М.: Мир. 1957. 526 c.
7. Марков А.А. Теория алгорифмов // Труды Математического института имени В.А. Стеклова.1951. № 38. С.176–189.
8. Верещагин Н.К. Лекции по математической логике и теории алгоритмов. Вычислимые функции. 4-е изд., исправленное. М.: МЦНМО. 2012. Часть 3. 160 c.
9. Беклемишев Л.Д. Теоремы Гёделя о неполноте и границы их применимости // Успехи математических наук. 2010. № 65:5. С.61–106.
10. Барвайс Дж. Справочная книга по математической логике. Часть 3: теория рекурсии // М.: Наука. 1982. 392 c.
11. Успенский В.А. Лекции о вычислимых функциях // М.: Государствен-ное издательство физико-математической литературы. 1960. 492 с.
12. Поспелов А.Д. Основы теории алгоритмов // М.: МГУ имени М.В. Ломоносова. 2002. URL:http://allsorts.fatal.ru/science/education/storage/Algorithms/algorithms.pdf (дата обращения: 24.12.2014).
2. Успенский В.А. Теорема Гёделя о неполноте и четыре дороги, ведущие к ней // Математическое просвещение. М.: МЦНМО. 2011. Серия 3. Вып. 15. С.35–76.
3. Успенский В.А. Теорема Гёделя о неполноте в элементарном изложении // Успехи математических наук. 1974. №29:1. С.3–47.
4. Успенский В.А. Теорема Гёделя – синтаксическая версия // "Современная математика" Дубна. 2010. URL: http://www.mccme.ru/dubna/2010/courses/vau.htm (дата обращения:17.12.2014).
5. Göde1 K. Über formal unentscheidbare Sätze'der Principia Mathematica und verwandter Systeme // Monatshefte für Math. und Physik. 1931. vol. 38:1. pp.173–198.
6. Клини С.К. Введение в метаматематику // М.: Мир. 1957. 526 c.
7. Марков А.А. Теория алгорифмов // Труды Математического института имени В.А. Стеклова.1951. № 38. С.176–189.
8. Верещагин Н.К. Лекции по математической логике и теории алгоритмов. Вычислимые функции. 4-е изд., исправленное. М.: МЦНМО. 2012. Часть 3. 160 c.
9. Беклемишев Л.Д. Теоремы Гёделя о неполноте и границы их применимости // Успехи математических наук. 2010. № 65:5. С.61–106.
10. Барвайс Дж. Справочная книга по математической логике. Часть 3: теория рекурсии // М.: Наука. 1982. 392 c.
11. Успенский В.А. Лекции о вычислимых функциях // М.: Государствен-ное издательство физико-математической литературы. 1960. 492 с.
12. Поспелов А.Д. Основы теории алгоритмов // М.: МГУ имени М.В. Ломоносова. 2002. URL:http://allsorts.fatal.ru/science/education/storage/Algorithms/algorithms.pdf (дата обращения: 24.12.2014).
An Approach to Construction of Consistent Theory of Anticipatory Behavior Scenarios in Conflict Situations
Abstract
In article approach to creation of the consistent theory of synthesis of scenarios of anticipatory behavior in the conflict is offered. Proofs of consistency, resolvability and model completeness of the theory of partially ordered giromats with tiered coordination are represented
Опубликован
2015-03-10
Как цитировать
Бирюков, Д. Н., & Ростовцев, Ю. Г. (2015). Подход к построению непротиворечивой теории синтеза сценариев упреждающего поведения в конфликте. Труды СПИИРАН, 1(38), 94-111. https://doi.org/10.15622/sp.38.6
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
