Главная arrow книги arrow Копия Глава 8. Логика первого порядка arrow Использование логики первого порядка
Использование логики первого порядка

Теперь, после того как мы определили выразительный логический язык, можно приступить к изучению способов его использования. Лучше всего можно сделать это с помощью примеров. Выше уже были приведены некоторые простые высказывания, иллюстрирующие различные аспекты этого логического синтаксиса; в данном разделе будут показаны более систематические представления некоторых простых проблемных областей. В проблематике представления знаний проблемной областью считается некоторая часть мира, о которой необходимо выразить некоторые знания.

Начнем с краткого описания интерфейса Tell/Ask для базы знаний в логике первого порядка. Затем рассмотрим проблемную область семейных отношений, чисел, множеств и списков, а также мира вампуса. В следующем разделе приведен более развернутый пример (электронные схемы), а в главе 10 рассматривается все, что касается данной области науки.