 |
 |
ГЛАВА 8.
Логическое
программирование
Еще в конце
1970-х годов стала отчетливо просматриваться тенденция к использованию в исследованиях
в области искусственного интеллекта "формальных" методов, т.е. основанных
на аппарате математической логики. Эти методы противопоставлялись более интуитивным
и менее формализованным эвристическим методам, скажем, таким, которые были использованы
в системе MYCIN. Для того чтобы стало ясно, что все это значит, нужно познакомить
вас с логическими языками, а затем показать, как соотносятся их свойства с теми
методами рассуждений, которые должны поддерживать типовые экспертные системы.
|
|