Логика предикатов в експертных системах

Мета: Висвітлити основні напрямки застосування логіки предикатів у вирішенні прикладних та практичних задач.
Завдання:
1) Виділити основні напрямки використання логіки предикатів;
2) Охарактеризувати на основі яких властивостей має місце їх використання саме у даній галузі;
3) Зробити висновок що до значення цього розділу математичної логіки що до глобальних технологічних проблем;