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

8.3. Охота на индейку : 173 Вопросы и упражнения 176 9. Модальность в ситуационном исчислении 179 9.1. Модальность и модальная логика 179 9.2. Язык временной модальной логики 184 9.3. Модель параллельных процессов 184 9.4. Мультипрограммное выполнение параллельных процессов 188 9.5. Модальная логика и анализ параллельных процессов 194 9.6. Инвариантные свойства 197 9.7. Свойства живости (осуществимости) 203 9.8. Свойства предшествования 209 9.9. Доказательство свойств корректности 213 Вопросы и упражнения : 219 10. Дедуктивные базы данных 221 10.1. Реляционные базы данных 221 10.2. Реляционная алгебра 223 10.3. Триггеры 227 10.4. Реляционная база данных и логические исчисления 229