Предисловие................ 5 ЧАСТЬ I. ПРЕДМЕТ ТЕОРИИ РЕШАТЕЛЕЙ ИНТЕЛЛЕКТУАЛЬНЫХ задач................ 7 Глава 1. Организационные системы и решение задач.... 7 § 1.1. Что такое целенаправленный решатель?...... 7 § 1.2. Проблемы исследования целенаправленных решателей 9 § 1.3. Чем интересуется теория интеллектуальных решателей? 13 Глава 2. Мыслительная деятельность человека...... 15 § 2.1. Вводные замечания............ 15 § 2.2. Проблемная ситуация........... 19 § 2.3. Описание мыслительной деятельности....... 21 § 2.4. Анализ мыслительной деятельности....... 31 § 2.5. Семиотическая модель мыслительной деятельности... 34 § 2.6. Эвристическое программирование........ 36 Г л а на 3. Интеллектуальные задачи.......... 41 § 3.1. Классификация типов задач.......... 41 §3.2. Модель мира операций........... 43 § 3.3. Модель мира задач............ 49 Глава 4. Решатели интеллектуальных задач......, 54 § 4.1. Подсистемы решателя и их назначение...... 54 § 4.2. Элементы алгебраической теории бинарных отношений 58 § 4.3. Иерархические структуры решателя задач..... 61 § 4.4. Комплексная стратегия поиска решений...... 65 § 4.5. Теоретико-миожествепные модели решателя задач... 75 § 4.6. Система формального интеллекта комплексных стратегий поиска решеиий (СФИНКС).......... 78 ЧАСТЬ II. ТЕОРИЯ АВТОМАТИЧЕСКИХ РЕШЕНИЯ..... 81 Глава 5. Логические системы.......... 81 § 5.1. Проблема автоматизации.......... 81 § 5.2. Принцип резолюций............ 84 § 5.3. Исчисление секвенции........... 95 § 5.4. Логика решеиий............. 100 Глава 6. Построение теории решеиий......... 103 § 6.1. Аксиоматическая теория решений........ 103 § 6.2. Синтаксис.............. 107 § 6.3. Интерпретация............. 110 § 6.4. Аксиоматика.............. 112 § 6.5. Правила вывода............. 12 Г
§ 6.6. Семантика............... 126
Глава 7. Полнота и непротиворечивость теории решении... 128
§ 7.1. Истинность............... 128
§ 7.2. Непротиворечивость............ 132
§ 7.3. Метатеорема о редукции.......... 136
§ 7.4. Полнота................ 139
Глава 8. Разрешимость теории решений....... 146
§ 8.1. Диаграмма двухуровневого доказательства..... 146
§ 8.2. Алгоритм поиска вертикальных доказательств.... 150
§ 8.3. Алгоритм поиска горизонтальных доказательств.... 155
§ 8.4. Доказательство разрешимости......... 168
Глава 9. Автоматическое формирование понятий в решателе задач 171
§ 9.1. Введение............... 171
§ 9.2. Постановка задачи автоматического обучения формированию
попятий................ 174
§ 9.3. Основные полол;снпя п определения....... 176
§ 9.4. Некоторые теоретические обоснования алгоритма обучения 181
§ 9.5. Описание алгоритма обучения......... 186
§ 9.6. Иллюстративный пример........... 191
ЧАСТЬ III. ПРАКТИЧЕСКИЕ РЕАЛИЗАЦИИ....... 199
Глава 10. Зарубежные решатели.......... 199
§ 10.1. Сравнительный анализ зарубежных систем..... 199
§ 10.2. Решатель GPS............. 202
§ 10.3. Дедуктивная вопросно-ответная- система QA3.... 207
| 10.4. Планирующая система STRIPS......... 213
§ 10.5. Планирующая система ABSTRTPS........227
§ 10.6. Вопросно-ответная система QA4........ 235
Глава И. Отечественные решатели.......... 240
§ 11.1. Сравнительный анализ отечественных систем.... 240
| 11.2. Система АЛПЕВ-ЛОМИ........... 244
§ 11.3. Система ПРИЗ............. 250-
§ 11.4. Программа принятия решений......... 256
§ 11.5. Система принятия решений интегрального робота... 274
§ 11.6. Интеллектуальный решатель СФИНКС...... 284
Послесловпо................. 304
Литература................. 306
Предметный указатель.............. 313
|
2023. 720 с. Твердый переплет. 16.9 EUR
Книга «Зияющие высоты» – первый, главный, социологический роман, созданный интеллектуальной легендой нашего времени – Александром Александровичем Зиновьевым (1922-2006), единственным российским лауреатом Премии Алексиса де Токвиля, членом многочисленных международных академий, автором десятков логических... (Подробнее) URSS. 2023. 272 с. Мягкая обложка. 15.9 EUR
Настоящая книга посвящена рассмотрению базовых понятий и техник психологического консультирования. В ней детально представлены структура процесса консультирования, описаны основные его этапы, содержание деятельности психолога и приемы, которые могут быть использованы на каждом из них. В книге... (Подробнее) 2023. 696 с. Твердый переплет в суперобложке. 119.9 EUR
Опираясь на новейшие исследования, историк Кристофер Кларк предлагает свежий взгляд на Первую мировую войну, сосредотачивая внимание не на полях сражений и кровопролитии, а на сложных событиях и отношениях, которые привели группу благонамеренных лидеров к жестокому конфликту. Кларк прослеживает... (Подробнее) URSS. 2024. 704 с. Твердый переплет. 26.9 EUR
В новой книге профессора В.Н.Лексина подведены итоги многолетних исследований одной из фундаментальных проблем бытия — дихотомии естественной неминуемости и широчайшего присутствия смерти в пространстве жизни и инстинктивного неприятия всего связанного со смертью в обыденном сознании. Впервые... (Подробнее) URSS. 2024. 800 с. Мягкая обложка. 37.9 EUR
ВЕРСАЛЬ: ЖЕЛАННЫЙ МИР ИЛИ ПЛАН БУДУЩЕЙ ВОЙНЫ?. 224 стр. (ТВЁРДЫЙ ПЕРЕПЛЁТ) 11 ноября 1918 года в старом вагоне неподалеку от Компьеня было подписано перемирие, которое означало окончание Первой мировой войны. Через полгода, 28 июня 1919 года, был подписан Версальский договор — вердикт, возлагавший... (Подробнее) URSS. 2024. 344 с. Мягкая обложка. 18.9 EUR
Мы очень часто сталкиваемся с чудом самоорганизации. Оно воспринимается как само собой разумеющееся, не требующее внимания, радости и удивления. Из случайно брошенного замечания на семинаре странным образом возникает новая задача. Размышления над ней вовлекают коллег, появляются новые идеи, надежды,... (Подробнее) URSS. 2024. 576 с. Мягкая обложка. 23.9 EUR
Эта книга — самоучитель по военной стратегии. Прочитав её, вы получите представление о принципах военной стратегии и сможете применять их на практике — в стратегических компьютерных играх и реальном мире. Книга состоит из пяти частей. Первая вводит читателя в мир игр: что в играх... (Подробнее) URSS. 2024. 248 с. Мягкая обложка. 14.9 EUR
В книге изложены вопросы новой области современной медицины — «Anti-Ageing Medicine» (Медицина антистарения, или Антивозрастная медицина), которая совмещает глубокие фундаментальные исследования в биомедицине и широкие профилактические возможности практической медицины, а также современные общеоздоровительные... (Подробнее) URSS. 2024. 240 с. Твердый переплет. 23.9 EUR
Предлагаемая вниманию читателей книга, написанная крупным биологом и государственным деятелем Н.Н.Воронцовым, посвящена жизни и творчеству выдающегося ученого-математика, обогатившего советскую науку в области теории множеств, кибернетики и программирования — Алексея Андреевича Ляпунова. Книга написана... (Подробнее) 2023. 416 с. Твердый переплет. 19.9 EUR
Вам кажется, что экономика — это очень скучно? Тогда мы идем к вам! Вам даже не понадобится «стоп-слово», чтобы разобраться в заумных формулах — их в книге нет! Все проще, чем кажется. Автор подаст вам экономику под таким дерзким соусом, что вы проглотите ее не жуя! Вы получите необходимые... (Подробнее) |