- Артикул:00-01117766
- Автор: Р. Ковальски
- ISBN: 5-02-014148-8
- Тираж: 10700 экз.
- Обложка: Твердая обложка
- Издательство: Наука (все книги издательства)
- Город: Москва
- Страниц: 280
- Формат: 60х90/16
- Год: 1990
- Вес: 484 г
- Серия: Проблемы искусственного интеллекта (все товары серии)
Развернуть ▼
В книге изложены основы так называемой клаузальной логики, являющейся средством логического программирования. Последнее лежит в основе проектирования ЭВМ пятого поколения, над которыми в настоящее время работают специалисты ряда стран.
Дня научных работников и инженеров, занимающихся проблемами искусственного интеллекта. Полезна аспирантам и студентам втузов.
Содержание
Предисловие Д.А. Поспелова
Предисловие автора к русскому изданию
Предисловие
1. Введение
Пример «Родственные связи» и клаузальная форма
Более строгое определение клаузальной формы
Нисходящий и восходящий варианты определений
Семантика клаузальной формы
Пример «Грекам свойственно ошибаться»
Пример «Факториал числа»
Универсум дискурса и интерпретации
Более строгое определение несовместности
Семантика альтернативных заключений
Клаузы Хорна
Пример «Простые грибы и поганки»
Упражнения
2. Представления в форме клауз
Инфиксная нотация
Переменные и типы
Существование
Отрицание
Отрицания заключений, являющихся импликациями
Условия, являющиеся импликациями
Определения и словосочетания если-и-только-если
Семантические сети
Расширенные семантические сети
Представление информации при помощи бинарных предикатных символов
Преимущества бинарного представления
Базы данных
Языки запросов
Описание данных
Ограничения целостности
Пример «База данных кафедры»
Равенство
Упражнения
3. Нисходящие и восходящие процедуры доказательств, основанные на использовании клауз Хорна
Предварительные замечания
Задача грамматического разбора
Описание задачи грамматического разбора на языке логики предикатов
Восходящий вывод
Нисходящий вывод
Пример «Родственные связи»
Правила вывода и стратегии поиска
Бесконечные поисковые пространства: натуральные числа
Определения
Подстановка и согласование
Корректность и полнота систем логического вывода
Упражнения
4. Основы поиска решений на языке клауз Хорна
Поиск пути
Задача о сосудах с водой
Упрощенная задача поиска пути
Представление поисковых пространств в виде графов
Пространство поиска для задачи о сосудах с водой
Поисковые стратегии для задачи поиска пути
Процесс редукции поиска решений и его представление в виде И-ИЛИ дерева
Интерпретация клауз Хорна в терминах поиска решений
Расщепление и независимые подцели
Зависимые подцели
Поиск versus доказательство
Леммы, повторяющиеся подцели и циклы
Стратегии поиска для пространств редукции задач
Двунаправленный поиск решений
Обозначения для описаний двунаправленного поиска решений
Другая формулировка задачи поиска пути
Иные аспекты поиска решений
Упражнения
5. Процедурная интерпретация клауз Хорна
Термы как структуры данных
Вычисление методом последовательного приближения к выходному значению
Изменение назначений параметрам ролей входов и ролей выходов
Недетерминизм первого рода: несколько процедур согласуются с одним процедурным вызовом
Последовательный поиск как итерация
«Не знаю» versus «не забочусь» в условиях недетерминизма первого рода
Недетерминизм второго рода: планирование процедурных вызовов
Выполнение программ способом снизу вверх
Прагматическая сторона логических программ
Отделение структур данных
Структуры данных: термы versus отношения
Формальные средства описания баз данных и языки программирования
Алгоритм = Логика + Управление
Спецификация управляющего компонента
Естественный язык = Логика + Управление
Упражнения
6. Построение планов и проблема остова
Построение плана и мир блоков
Описание задачи блочного мира на языке клауз
Восходящее применение аксиомы пространства состояний
Восходящее применение аксиомы остова
Смешанное нисходящее и восходящее выполнение аксиомы остова
Нисходящее выполнение в пространстве состояний и применение аксиомы остова
Приложения методов построения планов
Ограничения
Упражнения
7. Резолюция
Негативные цели и утверждения.
Резолюция
Расходящиеся от центра рассуждения, использующие клаузы Хорна
Пример «Пропозициональная логика»
Стрелочная нотация для нехорновских клауз
Дизъюнктные решения задач, сформулированных в терминах нехорновских клауз
факторизация
Упражнения
8. Процедура доказательства методом графа соединений
Начальный граф соединений
Резолюция связей в графе соединений
Смешанный нисходяще-восходящий поиск в задаче грамматического разбора
Макропроцессирование и рассуждения, расходящиеся от центра
Использование стрелочных обозначений для управления выбором связей
Авторезольвентные клаузы
Удаление связей, резольвентами которых являются тавтологии
Процедура доказательства методом графа соединений
Упражнения
9. Глобальные стратегии поиска решений
Удаление избыточных подцелей
Добавление замещающих подцелей
Устранение несовместных целевых предложений
Обобщение использования диаграмм в геометрических доказательствах
Цели как обобщенные решения
Преобразование целей и информационный взрыв
Распознавание зацикливаний путем анализа различий
Пример «Факториал числа»
Инвариантные свойства процедур
Упражнения
10. Соотношение между клаузльной формой и стандартной формой логики
Введение в стандартную форму логики
Перевод в клаузальную форму
Сравнение клаузальной и стандартной форм
Конъюнктивные заключения и дизъюнктивные посылки
Дизъюнктивные заключения
Только-если части определений
Импликации как посылки импликаций
Вывод (извлечение) программ из спецификаций
Упражнения
11. Если-и-только-если
Необходимость только-если частей определений
Термы versus отношения при использовании в качестве структур данных
Неформулируемые только-если посылки
Двусмысленность только-если частей
Решения в объектном языке и в мета-языке
Объектно-языковые и метаязыковые интерпретации отрицания
Клаузы Хорна, дополненные отрицанием, интерпретируемым как неудача
Доказательство свойств программ
Критика свойства монотонности логического следования
Упражнения
12. Формализация доказуемости
Корректная представимость
Простое определение отношения доказуемости
Непосредственное исполнение versus имитация
Добавление и подавление посылок
Раскрутка
Комбинация объектного языка и мета-языка
Неполнота комбинации объектного языка и мета-языка
Более полная форма отношения Продемонстрировать
Упражнения
13. Логика, изменчивость и противоречие
Информационные системы
Динамика изменения информационных систем
Восстановление совместности
Логическая программа для естественного языка
Заключение
Список литературы
Именной указатель
Предметный указатель