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

Мета: Висвітлити основні напрямки застосування логіки предикатів у вирішенні прикладних та практичних задач.

Завдання:

1) Виділити основні напрямки використання логіки предикатів;

2) Охарактеризувати на основі яких властивостей має місце їх використання саме у даній галузі;

3) Зробити висновок що до значення цього розділу математичної логіки що до глобальних технологічних проблем;