Примеры применения логики для представления знаний.
Проиллюстрируем синтаксис логики предикатов, сопоставляя нескольким русским фразам их перевод на язык логического формализма.
- По русски: Жак посылает книгу Мари,
Логически: Посылка (Жак_2, Мари_4, Книга_22). - По русски: Каждый человек прогуливается,
Логически: " x ( Человек(x) E Прогуливается(x)). - По русски: Некоторые люди прогуливаются,
Логически: $ x (Человек(x) U Прогуливается(x)).
(Сравнивая два последних примера, видим, что замена прилагательного "каждый" на "некоторые" влечет при переводе не только замену квантора " на $, но изамену связки E на U. Это иллюстрирует тот факт, что перевод фразы естественного языка на логический, вообще говоря, не является трафаретной операцией.)
- По русски: Ни один человек не прогуливается,
Логически: O ($ x (Человек(x) U Прогуливается(x))).
