Подход к построению непротиворечивой теории синтеза сценариев упреждающего поведения в конфликте
Ключевые слова:
гиромат, интеллектуальная система, непротиворечивость, теорема ГёделяАннотация
В статье предложен подход к построению непротиворечивой теории синтеза сценариев упреждающего поведения в конфликте. Приведены доказательства непротиворечивости, разрешимости и модельной полноты теории частично упорядоченных гироматов с поуровневой координацией.Литература
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).
Опубликован
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).
