На главную страницу
Форум txt.version   



Статья :: Программирование на языке Пролог для искусственного интеллекта Prolog Programming For Artificial Intelligence : Иван Братко

Книга известного специалиста по программированию (Югославия), содержащая основы языка Пролог и его приложения для решения задач искусственного интеллекта. Изложение отличается методическими достоинствами — книга написана в хорошем стиле, живым языком. Книга дополняет имеющуюся на русском языке литературу по языку Пролог.

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

Посвящается Бранке, Андрею и Тадею

От редактора перевода

По существующей традиции предисловие редактора перевода — это своего рода рецензия, в которой обычно излагается история вопроса, а затем дается обзор содержания книги и оценка ее качества (как правило, рекламного характера). В данном случае моя задача несколько упрощается, так как все это читатель, перевернув страницу, найдет в предисловии известного американского ученого, специалиста по искусственному интеллекту П. Уинстона, а затем — в предисловии автора. Мне остается только присоединиться к авторитетному мнению П. Уинстона, что перед нами прекрасно написанный учебник до Прологу, ориентированный на практическое использование в области искусственного интеллекта. Добавлю также, что для советского читателя потребность в такой книге особенно велика, поскольку в нашей стране Пролог пока еще не получил того распространения, которого он заслуживает.

Несколько замечаний относительно особенностей перевода. Кроме обычных терминологических трудностей, как правило возникающих при переводе книг по программированию, переводчикам пришлось преодолевать одну дополнительную сложность. Дело в том, что в Прологе идентификаторы (имена переменных, процедур и атомов) несут на себе значительно большую смысловую нагрузку, чем в традиционных языках программирования. Поэтому программные примеры пришлось излагать на некоей условной русской версии Пролога — в противном случае, для читателей, не владеющих английским языком, эти примеры стали бы значительно менее понятными. Мы оставили без перевода все имена встроенных операторов и процедур, все же остальные имена переводились на русский язык. Следует признать, что в ряде случаев русская версия этих имен оказалась менее эстетически привлекательной, чем исходный английский вариант. Пытаясь наиболее точно передать смысл того или иного имени, переводчик нередко оказывался перед нелегким выбором между громоздким идентификатором (иногда из нескольких слов) и неблагозвучной аббревиатурой. Впрочем, все эти проблемы хорошо известны любому "русскоязычному" программисту.

Главы 1-8 перевел А.И. Лупенко, а предисловия и главы 9-16 — А.М. Степанов. Подготовку оригинала-макета книги на ЭВМ выполнили А.H. Черных и H.Г. Черных.

Эту книгу можно рекомендовать как тем читателям, которые впервые приступают к изучению Пролога и искусственного интеллекта, так и программистам, уже имеющим опыт составления пролог-программ.

А. М. Степанов



Программирование на языке Пролог для искусственного интеллекта Prolog Programming For Artificial Intelligence : Иван Братко

страницы в данном разделе 
j0.html Предисловие : Иван Братко
Предисловие автора  : Иван Братко Часть 1 Язык Пролог : Иван Братко
1.1. Пример программы: родственные отношения : Иван Братко 1.2. Расширение программы-примера с помощью правил : Иван Братко
1.3. Рекурсивное определение правил : Иван Братко 1.4. Как пролог-система отвечает на вопросы : Иван Братко
1.5. Декларативный и процедурный смысл программ : Иван Братко Резюме : Иван Братко
Глава 2 Синтаксис и семантика Пролог-программ : Иван Братко 2.1.  Объекты данных : Иван Братко
2.1.1. Атомы и числа : Иван Братко 2.1.2. Переменные : Иван Братко
2.1.3. Структуры : Иван Братко 2.2. Сопоставление : Иван Братко
2.3. Декларативный смысл пролог-программ : Иван Братко 2.4. Процедурная семантика : Иван Братко
2.5. Пример: обезьяна и банан : Иван Братко 2.6. Порядок предложений и целей  : Иван Братко
2.6.1. Опасность бесконечного цикла : Иван Братко 2.6.2. Варианты программы, полученые путем переупорядочивания предложений и целей : Иван Братко
2.6.3. Сочетание декларативного и процедурного подходов : Иван Братко 2.7. Замечания о взаимосвязи между Прологом и логикой : Иван Братко
Резюме : Иван Братко Глава 3 Списки, операторы, арифметика : Иван Братко
3.1. Представление списков : Иван Братко 3.2. Некоторые операции над списками : Иван Братко
3.2.2. Сцепление (конкатенация) : Иван Братко 3.2.4. Удаление элемента : Иван Братко
3.2.6. Перестановки : Иван Братко 3.3. Операторная запись (нотация) : Иван Братко
3.4. Арифметические действия : Иван Братко Глава 4 Использование структур: примеры : Иван Братко
4.1. Получение структурированной информации из базы данных : Иван Братко 4.2. Абстракция данных : Иван Братко
4.3. Моделирование недетерминированного автомата : Иван Братко 4.4. Планирование поездки : Иван Братко
4.5. Задача о восьми ферзях : Иван Братко 4.5.1. Программа 1 : Иван Братко
4.5.2. Программа 2 : Иван Братко 4.5.3. Программа 3 : Иван Братко
4.5.4. Заключительные замечания : Иван Братко Глава 5 Управление перебором : Иван Братко
5.1. Ограничение перебора : Иван Братко 5.1.1. Эксперимент 1 : Иван Братко
5.1.2. Эксперимент 2 : Иван Братко 5.2. Примеры, использующие отсечение  : Иван Братко
5.2.4. Задача классификации объектов : Иван Братко 5.3. Отрицание как неуспех : Иван Братко
5.4. Трудности с отсечением и отрицанием : Иван Братко Глава 6 Ввод и вывод : Иван Братко
6.1. Связь с файлами : Иван Братко 6.2. Обработка файлов термов  : Иван Братко
6.2.1. reаd и write : Иван Братко 6.2.3. Формирование термов : Иван Братко
6.2.4. Обработка произвольного файла термов : Иван Братко 6.3. Обработка символов : Иван Братко
6.4. Создание и декомпозиция атомов : Иван Братко 6.5. Ввод программ: consult, reconsult : Иван Братко
Глава 7 Другие встроенные процедуры : Иван Братко 7.1. Проверка типов термов  : Иван Братко
7.1.1. Предикаты var, nоnvar, atom, integer, atomic : Иван Братко 7.1.2. Решение числового ребуса с использованием nonvar : Иван Братко
7.2. Создание и декомпозиция термов: =.., functor, arg, name : Иван Братко 7.4. Работа с базой данных : Иван Братко
7.6. bagof, setof и findall : Иван Братко Глава 8 Стиль и методы программирования : Иван Братко
8.1. Общие принципы хорошего программирования : Иван Братко 8.2. Как представлять себе программы на Прологе : Иван Братко
8.2.1. Использование рекурсии : Иван Братко 8.3. Стиль программирования : Иван Братко
8.3.1. Некоторые правила хорошего стиля : Иван Братко 8.4. Отладка : Иван Братко
8.5. Эффективность : Иван Братко продолжение 75 : Иван Братко
8.5.2. Повышение эффективности программы раскраски карты : Иван Братко j77.html
8.5.4. Повышение эффективности зa счет добавления вычисленных фактов к базе данных : Иван Братко 1.1. Пример программы: родственные отношения : Иван Братко
1.2. Расширение программы-примера с помощью правил : Иван Братко 1.3. Рекурсивное определение правил : Иван Братко
1.4. Как пролог-система отвечает на вопросы : Иван Братко 1.5. Декларативный и процедурный смысл программ : Иван Братко
Резюме : Иван Братко 1.1. Пример программы: родственные отношения : Иван Братко
1.2. Расширение программы-примера с помощью правил : Иван Братко 1.3. Рекурсивное определение правил : Иван Братко
1.4. Как пролог-система отвечает на вопросы : Иван Братко 1.5. Декларативный и процедурный смысл программ : Иван Братко
Резюме : Иван Братко 2.1.  Объекты данных : Иван Братко
2.1.1. Атомы и числа : Иван Братко 2.1.2. Переменные : Иван Братко
2.1.3. Структуры : Иван Братко 2.2. Сопоставление : Иван Братко
2.3. Декларативный смысл пролог-программ : Иван Братко 2.4. Процедурная семантика : Иван Братко
2.5. Пример: обезьяна и банан : Иван Братко 2.6. Порядок предложений и целей  : Иван Братко
2.6.1. Опасность бесконечного цикла : Иван Братко 2.6.2. Варианты программы, полученые путем переупорядочивания предложений и целей : Иван Братко
2.6.3. Сочетание декларативного и процедурного подходов : Иван Братко 2.7. Замечания о взаимосвязи между Прологом и логикой : Иван Братко
Резюме : Иван Братко 2.1.1. Атомы и числа : Иван Братко
2.1.2. Переменные : Иван Братко 2.1.3. Структуры : Иван Братко
2.1.1. Атомы и числа : Иван Братко 2.1.2. Переменные : Иван Братко
2.1.3. Структуры : Иван Братко 2.2. Сопоставление : Иван Братко
2.3. Декларативный смысл пролог-программ : Иван Братко 2.4. Процедурная семантика : Иван Братко
2.5. Пример: обезьяна и банан : Иван Братко 2.6. Порядок предложений и целей  : Иван Братко
2.6.2. Варианты программы, полученые путем переупорядочивания предложений и целей : Иван Братко 2.6.3. Сочетание декларативного и процедурного подходов : Иван Братко
2.6.1. Опасность бесконечного цикла : Иван Братко 2.6.2. Варианты программы, полученые путем переупорядочивания предложений и целей : Иван Братко
2.6.3. Сочетание декларативного и процедурного подходов : Иван Братко 2.7. Замечания о взаимосвязи между Прологом и логикой : Иван Братко
Резюме : Иван Братко 3.1. Представление списков : Иван Братко
3.2. Некоторые операции над списками : Иван Братко 3.2.2. Сцепление (конкатенация) : Иван Братко
3.2.4. Удаление элемента : Иван Братко 3.2.6. Перестановки : Иван Братко
3.3. Операторная запись (нотация) : Иван Братко 3.4. Арифметические действия : Иван Братко
3.1. Представление списков : Иван Братко 3.2.2. Сцепление (конкатенация) : Иван Братко
3.2.4. Удаление элемента : Иван Братко 3.2.6. Перестановки : Иван Братко
3.2.2. Сцепление (конкатенация) : Иван Братко 3.2.4. Удаление элемента : Иван Братко
3.2.6. Перестановки : Иван Братко 3.3. Операторная запись (нотация) : Иван Братко
3.4. Арифметические действия : Иван Братко 4.1. Получение структурированной информации из базы данных : Иван Братко
4.2. Абстракция данных : Иван Братко 4.3. Моделирование недетерминированного автомата : Иван Братко
4.4. Планирование поездки : Иван Братко 4.5. Задача о восьми ферзях : Иван Братко
4.5.1. Программа 1 : Иван Братко 4.5.2. Программа 2 : Иван Братко
4.5.3. Программа 3 : Иван Братко 4.5.4. Заключительные замечания : Иван Братко
4.1. Получение структурированной информации из базы данных : Иван Братко 4.2. Абстракция данных : Иван Братко
4.3. Моделирование недетерминированного автомата : Иван Братко 4.4. Планирование поездки : Иван Братко
4.5.1. Программа 1 : Иван Братко 4.5.2. Программа 2 : Иван Братко
4.5.3. Программа 3 : Иван Братко 4.5.4. Заключительные замечания : Иван Братко
4.5.1. Программа 1 : Иван Братко 4.5.2. Программа 2 : Иван Братко
4.5.3. Программа 3 : Иван Братко 4.5.4. Заключительные замечания : Иван Братко
5.1. Ограничение перебора : Иван Братко 5.1.1. Эксперимент 1 : Иван Братко
5.1.2. Эксперимент 2 : Иван Братко 5.2. Примеры, использующие отсечение  : Иван Братко
5.2.4. Задача классификации объектов : Иван Братко 5.3. Отрицание как неуспех : Иван Братко
5.4. Трудности с отсечением и отрицанием : Иван Братко 5.1.1. Эксперимент 1 : Иван Братко
5.1.2. Эксперимент 2 : Иван Братко 5.1.1. Эксперимент 1 : Иван Братко
5.1.2. Эксперимент 2 : Иван Братко 5.2.4. Задача классификации объектов : Иван Братко
5.2.4. Задача классификации объектов : Иван Братко 5.3. Отрицание как неуспех : Иван Братко
5.4. Трудности с отсечением и отрицанием : Иван Братко 6.1. Связь с файлами : Иван Братко
6.2. Обработка файлов термов  : Иван Братко 6.2.1. reаd и write : Иван Братко
6.2.3. Формирование термов : Иван Братко 6.2.4. Обработка произвольного файла термов : Иван Братко
6.3. Обработка символов : Иван Братко 6.4. Создание и декомпозиция атомов : Иван Братко
6.5. Ввод программ: consult, reconsult : Иван Братко 6.1. Связь с файлами : Иван Братко
6.2. Обработка файлов термов  : Иван Братко 6.2.3. Формирование термов : Иван Братко
6.2.4. Обработка произвольного файла термов : Иван Братко 6.2.1. reаd и write : Иван Братко
6.2.3. Формирование термов : Иван Братко 6.2.4. Обработка произвольного файла термов : Иван Братко
6.3. Обработка символов : Иван Братко 6.4. Создание и декомпозиция атомов : Иван Братко
6.5. Ввод программ: consult, reconsult : Иван Братко 7.1. Проверка типов термов  : Иван Братко
7.1.1. Предикаты var, nоnvar, atom, integer, atomic : Иван Братко 7.1.2. Решение числового ребуса с использованием nonvar : Иван Братко
7.2. Создание и декомпозиция термов: =.., functor, arg, name : Иван Братко 7.4. Работа с базой данных : Иван Братко
7.6. bagof, setof и findall : Иван Братко 7.1. Проверка типов термов  : Иван Братко
7.1.2. Решение числового ребуса с использованием nonvar : Иван Братко 7.1.1. Предикаты var, nоnvar, atom, integer, atomic : Иван Братко
7.1.2. Решение числового ребуса с использованием nonvar : Иван Братко 7.2. Создание и декомпозиция термов: =.., functor, arg, name : Иван Братко
7.3. Различные виды равенства : Иван Братко 7.4. Работа с базой данных : Иван Братко
7.6. bagof, setof и findall : Иван Братко 8.1. Общие принципы хорошего программирования : Иван Братко
8.2. Как представлять себе программы на Прологе : Иван Братко 8.2.1. Использование рекурсии : Иван Братко
8.3. Стиль программирования : Иван Братко 8.3.1. Некоторые правила хорошего стиля : Иван Братко
8.4. Отладка : Иван Братко 8.5. Эффективность : Иван Братко
продолжение 214 : Иван Братко 8.5.2. Повышение эффективности программы раскраски карты : Иван Братко
j216.html 8.5.4. Повышение эффективности зa счет добавления вычисленных фактов к базе данных : Иван Братко
8.1. Общие принципы хорошего программирования : Иван Братко 8.2.1. Использование рекурсии : Иван Братко
8.2.1. Использование рекурсии : Иван Братко 8.3.1. Некоторые правила хорошего стиля : Иван Братко
8.3.1. Некоторые правила хорошего стиля : Иван Братко 8.4. Отладка : Иван Братко
8.5. Эффективность : Иван Братко 8.5.2. Повышение эффективности программы раскраски карты : Иван Братко
j226.html 8.5.4. Повышение эффективности зa счет добавления вычисленных фактов к базе данных : Иван Братко
продолжение 228 8.5.2. Повышение эффективности программы раскраски карты : Иван Братко
j230.html 8.5.4. Повышение эффективности зa счет добавления вычисленных фактов к базе данных : Иван Братко
Часть 2 Пролог в искусственном интеллекте : Иван Братко 9.1. Представление списков. Сортировка : Иван Братко
9.1.1. Замечания в некоторых альтернативных способах представления списков : Иван Братко 9.1.2. Сортировка списков : Иван Братко
9.2. Представление множеств двоичными деревьями : Иван Братко 9.3. Двоичные справочники: добавление и удаление элемента : Иван Братко
9.4. Отображение деревьев : Иван Братко 9.5. Графы  : Иван Братко
9.5.1. Представление графов : Иван Братко 9.5.2. Поиск пути в графе : Иван Братко
9.5.3. Построение остовного дерева : Иван Братко Резюме : Иван Братко
Глава 10 Усовершенствованные методы представления множеств деревьями : Иван Братко 10.1. Двоично-троичные справочники : Иван Братко
10.2. AVL-дерево: приближенно сбалансированное дерево : Иван Братко Глава 11. Основные стратегии решения задач : Иван Братко
11.1. Предварительные понятия и примеры : Иван Братко 11.2. Стратегия поиска в глубину : Иван Братко
11.3. Поиск в ширину : Иван Братко 11.3.1. Списковое представление множества кандидатов : Иван Братко
11.3.2. Древовидное представление множества кандидатов : Иван Братко 11.4.  Замечания относительно поиска в графах, оптимальности к сложности : Иван Братко
Резюме : Иван Братко Глава 12 Поиск с предпочтением: эвристический поиск : Иван Братко
12.1. Поиск с предпочтением : Иван Братко 12.2. Поиск c предпочтением применительно к головоломке "игра в восемь" : Иван Братко
12.3. Применение поиска с предпочтением к планированию выполнения задач : Иван Братко Резюме : Иван Братко
Глава 13 Сведение задач к подзадачам. И/ИЛИ-Графы : Иван Братко 13.1. Представление задач в виде И/ИЛИ-графов : Иван Братко
13.2. Примеры И/ИЛИ-представления задач  : Иван Братко 13.2.2. Задача о ханойской башне : Иван Братко
13.2.3. Формулировка игровых задач в терминах И/ИЛИ-графов : Иван Братко 13.3. Базовые процедуры поиска в И/ИЛИ-графах : Иван Братко
13.4. Поиск с предпочтением в И/ИЛИ-графах  : Иван Братко 13.4.1. Эвристические оценки и алгоритм поиска : Иван Братко
13.4.2. Программа поиска : Иван Братко 13.4.3. Пример отношений, определяющих конкретную задачу: поиск маршрута : Иван Братко
Резюме : Иван Братко Глава 14 Экспертные системы : Иван Братко
14.1. Функции, выполняемые экспертной системой : Иван Братко 14.2. Грубая структура экспертной системы : Иван Братко
14.3. Правила типа "если-то" для представления знаний : Иван Братко 14.4. Разработка оболочки : Иван Братко
продолжение 276 : Иван Братко 14.4.1. Процесс рассуждений : Иван Братко
14.4.2. Формирование ответа на вопрос "почему" : Иван Братко 14.5. Реализация : Иван Братко
14.5.1. Процедура рассмотреть : Иван Братко 14.5.2. Процедура ответпольз : Иван Братко
14.5.3. Усовершенствование процедуры ответпольз : Иван Братко 14.5.5. Драйвер верхнего уровня : Иван Братко
14.5.7. Цели с отрицанием : Иван Братко 14.6. Работа с неопределенностью  : Иван Братко
14.6.1. Степень достоверности : Иван Братко 14.6.2. Модель Prospector'а : Иван Братко
14.6.3. Принципы реализации : Иван Братко 14.7. Заключительные замечания : Иван Братко
Резюме  : Иван Братко Глава 15 Игры : Иван Братко
15.1. Игры двух лиц с полной информацией : Иван Братко 15.2. Минимаксный принцип : Иван Братко
15.3. Альфа-бета алгоритм: эффективная реализация минимаксного принципа : Иван Братко 15.4. Минимаксные игровые программы: усовершенствования и ограничения : Иван Братко
15.5. Знания о типовых ситуациях и механизм "советов" : Иван Братко 15.5.2. Выполнимость совета : Иван Братко
15.5.3. Правила и таблицы советов : Иван Братко 15.6. Программа на языке  AL0 для игры в шахматном эндшпиле : Иван Братко
15.6.1. Миниатюрный интерпретатор языка AL0 : Иван Братко 15.6.2. Программа на языке советов для эндшпиля "король и ладья против короля" : Иван Братко
Резюме : Иван Братко Глава 16 Программирование в терминах типовых конфигураций : Иван Братко
16.1. Архитектура, ориентированная на типовые конфигурации  : Иван Братко 16.1.1. Основные понятия : Иван Братко
16.1.3. Пример составления программы : Иван Братко 16.2. Простой интерпретатор программ, управляемых образцами : Иван Братко
16.3. Простая программа для автоматического доказательства теорем : Иван Братко 16.4. Заключительные замечания : Иван Братко
Резюме : Иван Братко 9.1. Представление списков. Сортировка : Иван Братко
9.1.1. Замечания в некоторых альтернативных способах представления списков : Иван Братко 9.1.2. Сортировка списков : Иван Братко
9.2. Представление множеств двоичными деревьями : Иван Братко 9.3. Двоичные справочники: добавление и удаление элемента : Иван Братко
9.4. Отображение деревьев : Иван Братко 9.5. Графы  : Иван Братко
9.5.1. Представление графов : Иван Братко 9.5.2. Поиск пути в графе : Иван Братко
9.5.3. Построение остовного дерева : Иван Братко Резюме : Иван Братко
9.1. Представление списков. Сортировка : Иван Братко 9.1.2. Сортировка списков : Иван Братко
9.1.1. Замечания в некоторых альтернативных способах представления списков : Иван Братко 9.1.2. Сортировка списков : Иван Братко
9.2. Представление множеств двоичными деревьями : Иван Братко 9.3. Двоичные справочники: добавление и удаление элемента : Иван Братко
9.4. Отображение деревьев : Иван Братко 9.5. Графы  : Иван Братко
9.5.2. Поиск пути в графе : Иван Братко 9.5.3. Построение остовного дерева : Иван Братко
9.5.1. Представление графов : Иван Братко 9.5.2. Поиск пути в графе : Иван Братко
9.5.3. Построение остовного дерева : Иван Братко Резюме : Иван Братко
10.1. Двоично-троичные справочники : Иван Братко 10.2. AVL-дерево: приближенно сбалансированное дерево : Иван Братко
10.1. Двоично-троичные справочники : Иван Братко 10.2. AVL-дерево: приближенно сбалансированное дерево : Иван Братко
11.1. Предварительные понятия и примеры : Иван Братко 11.2. Стратегия поиска в глубину : Иван Братко
11.3. Поиск в ширину : Иван Братко 11.3.1. Списковое представление множества кандидатов : Иван Братко
11.3.2. Древовидное представление множества кандидатов : Иван Братко 11.4.  Замечания относительно поиска в графах, оптимальности к сложности : Иван Братко
Резюме : Иван Братко 11.1. Предварительные понятия и примеры : Иван Братко
11.2. Стратегия поиска в глубину : Иван Братко 11.3.1. Списковое представление множества кандидатов : Иван Братко
11.3.2. Древовидное представление множества кандидатов : Иван Братко 11.3.1. Списковое представление множества кандидатов : Иван Братко
11.3.2. Древовидное представление множества кандидатов : Иван Братко 11.4.  Замечания относительно поиска в графах, оптимальности к сложности : Иван Братко
Резюме : Иван Братко 12.1. Поиск с предпочтением : Иван Братко
12.2. Поиск c предпочтением применительно к головоломке "игра в восемь" : Иван Братко 12.3. Применение поиска с предпочтением к планированию выполнения задач : Иван Братко
Резюме : Иван Братко 12.1. Поиск с предпочтением : Иван Братко
12.2. Поиск c предпочтением применительно к головоломке "игра в восемь" : Иван Братко 12.3. Применение поиска с предпочтением к планированию выполнения задач : Иван Братко
Резюме : Иван Братко 13.1. Представление задач в виде И/ИЛИ-графов : Иван Братко
13.2. Примеры И/ИЛИ-представления задач  : Иван Братко 13.2.2. Задача о ханойской башне : Иван Братко
13.2.3. Формулировка игровых задач в терминах И/ИЛИ-графов : Иван Братко 13.3. Базовые процедуры поиска в И/ИЛИ-графах : Иван Братко
13.4. Поиск с предпочтением в И/ИЛИ-графах  : Иван Братко 13.4.1. Эвристические оценки и алгоритм поиска : Иван Братко
13.4.2. Программа поиска : Иван Братко 13.4.3. Пример отношений, определяющих конкретную задачу: поиск маршрута : Иван Братко
Резюме : Иван Братко 13.1. Представление задач в виде И/ИЛИ-графов : Иван Братко
13.2.2. Задача о ханойской башне : Иван Братко 13.2.3. Формулировка игровых задач в терминах И/ИЛИ-графов : Иван Братко
13.2.2. Задача о ханойской башне : Иван Братко 13.2.3. Формулировка игровых задач в терминах И/ИЛИ-графов : Иван Братко
13.3. Базовые процедуры поиска в И/ИЛИ-графах : Иван Братко 13.4. Поиск с предпочтением в И/ИЛИ-графах  : Иван Братко
13.4.2. Программа поиска : Иван Братко 13.4.3. Пример отношений, определяющих конкретную задачу: поиск маршрута : Иван Братко
13.4.1. Эвристические оценки и алгоритм поиска : Иван Братко 13.4.2. Программа поиска : Иван Братко
13.4.3. Пример отношений, определяющих конкретную задачу: поиск маршрута : Иван Братко Резюме : Иван Братко
14.1. Функции, выполняемые экспертной системой : Иван Братко 14.2. Грубая структура экспертной системы : Иван Братко
14.3. Правила типа "если-то" для представления знаний : Иван Братко 14.4. Разработка оболочки : Иван Братко
продолжение 390 : Иван Братко 14.4.1. Процесс рассуждений : Иван Братко
14.4.2. Формирование ответа на вопрос "почему" : Иван Братко 14.5. Реализация : Иван Братко
14.5.1. Процедура рассмотреть : Иван Братко 14.5.2. Процедура ответпольз : Иван Братко
14.5.3. Усовершенствование процедуры ответпольз : Иван Братко 14.5.5. Драйвер верхнего уровня : Иван Братко
14.5.7. Цели с отрицанием : Иван Братко 14.6. Работа с неопределенностью  : Иван Братко
14.6.1. Степень достоверности : Иван Братко 14.6.2. Модель Prospector'а : Иван Братко
14.6.3. Принципы реализации : Иван Братко 14.7. Заключительные замечания : Иван Братко
Резюме  : Иван Братко 14.1. Функции, выполняемые экспертной системой : Иван Братко
14.2. Грубая структура экспертной системы : Иван Братко 14.3. Правила типа "если-то" для представления знаний : Иван Братко
14.4. Разработка оболочки : Иван Братко 14.4.1. Процесс рассуждений : Иван Братко
14.4.2. Формирование ответа на вопрос "почему" : Иван Братко продолжение 411
14.4.1. Процесс рассуждений : Иван Братко 14.4.2. Формирование ответа на вопрос "почему" : Иван Братко
14.5.1. Процедура рассмотреть : Иван Братко 14.5.2. Процедура ответпольз : Иван Братко
14.5.3. Усовершенствование процедуры ответпольз : Иван Братко 14.5.5. Драйвер верхнего уровня : Иван Братко
14.5.7. Цели с отрицанием : Иван Братко 14.5.1. Процедура рассмотреть : Иван Братко
14.5.2. Процедура ответпольз : Иван Братко 14.5.3. Усовершенствование процедуры ответпольз : Иван Братко
14.5.5. Драйвер верхнего уровня : Иван Братко 14.5.7. Цели с отрицанием : Иван Братко
14.6. Работа с неопределенностью  : Иван Братко 14.6.2. Модель Prospector'а : Иван Братко
14.6.3. Принципы реализации : Иван Братко 14.6.1. Степень достоверности : Иван Братко
14.6.2. Модель Prospector'а : Иван Братко 14.6.3. Принципы реализации : Иван Братко
14.7. Заключительные замечания : Иван Братко Резюме  : Иван Братко
15.1. Игры двух лиц с полной информацией : Иван Братко 15.2. Минимаксный принцип : Иван Братко
15.3. Альфа-бета алгоритм: эффективная реализация минимаксного принципа : Иван Братко 15.4. Минимаксные игровые программы: усовершенствования и ограничения : Иван Братко
15.5. Знания о типовых ситуациях и механизм "советов" : Иван Братко 15.5.2. Выполнимость совета : Иван Братко
15.5.3. Правила и таблицы советов : Иван Братко 15.6. Программа на языке  AL0 для игры в шахматном эндшпиле : Иван Братко
15.6.1. Миниатюрный интерпретатор языка AL0 : Иван Братко 15.6.2. Программа на языке советов для эндшпиля "король и ладья против короля" : Иван Братко
Резюме : Иван Братко 15.1. Игры двух лиц с полной информацией : Иван Братко
15.2. Минимаксный принцип : Иван Братко 15.3. Альфа-бета алгоритм: эффективная реализация минимаксного принципа : Иван Братко
15.4. Минимаксные игровые программы: усовершенствования и ограничения : Иван Братко 15.5.2. Выполнимость совета : Иван Братко
15.5.3. Правила и таблицы советов : Иван Братко 15.5.2. Выполнимость совета : Иван Братко
15.5.3. Правила и таблицы советов : Иван Братко 15.6.1. Миниатюрный интерпретатор языка AL0 : Иван Братко
15.6.2. Программа на языке советов для эндшпиля "король и ладья против короля" : Иван Братко 15.6.1. Миниатюрный интерпретатор языка AL0 : Иван Братко
15.6.2. Программа на языке советов для эндшпиля "король и ладья против короля" : Иван Братко Резюме : Иван Братко
16.1. Архитектура, ориентированная на типовые конфигурации  : Иван Братко 16.1.1. Основные понятия : Иван Братко
16.1.3. Пример составления программы : Иван Братко 16.2. Простой интерпретатор программ, управляемых образцами : Иван Братко
16.3. Простая программа для автоматического доказательства теорем : Иван Братко 16.4. Заключительные замечания : Иван Братко
Резюме : Иван Братко 16.1. Архитектура, ориентированная на типовые конфигурации  : Иван Братко
16.1.3. Пример составления программы : Иван Братко 16.1.1. Основные понятия : Иван Братко
16.1.3. Пример составления программы : Иван Братко 16.2. Простой интерпретатор программ, управляемых образцами : Иван Братко
16.3. Простая программа для автоматического доказательства теорем : Иван Братко 16.4. Заключительные замечания : Иван Братко
Резюме : Иван Братко Ответы к некоторым упражнениям : Иван Братко
notes.html    

Разделы
Околокомпьютерная литература (375)
Программирование (102)
Программы (75)
ОС и Сети (49)
Интернет (29)
Аппаратное обеспечение (16)
Базы данных (6)


Microsoft Office Журнал Компьютерра № 32 от 5 сентября 2006 года Журнал Компьютерра № 34 от 18 сентября 2006 года