Искусственный интеллект

2. Логические рассуждения 20 2.1. Рассуждения в пространстве состояний среды 20 2.2. Логика высказываний 24 2.3. Исчисление высказываний 30 2.4. Рассуждения в терминах интервалов 37 Вопросы и упражнения 51 3. Логика предикатов 52 3.1. Синтаксис и семантика 53 3.2. Переход от естественного языка к языку логики предикатов 59 3.3. Постановка задачи для среды чудовища в логике предикатов 61 Вопросы и упражнения 63 4. Вывод в логике предикатов '. 65 4.1. Исчисление предикатов 65 4.2. Прямой и обратный вывод 89 4.3. Полнота и непротиворечивость исчисления 94 4.4. Вывод на основе правила резолюции 96 Вопросы и упражнения 103 5. Среды и языки 105 5.1. Автомат и среда 106 5.2. Язык и автомат 107 5.3. Описание автомата на языке логики предикатов 112 5.4. Построение автомата методом детерминизации 116