Системы искусственного интеллекта

       

Примеры применения логики для представления знаний.


Проиллюстрируем синтаксис логики предикатов, сопоставляя нескольким русским фразам их перевод на язык логического формализма.

  • По русски: Жак посылает книгу Мари,
    Логически: Посылка (Жак_2, Мари_4, Книга_22).
  • По русски: Каждый  человек прогуливается,
    Логически: " x ( Человек(x) E Прогуливается(x)).
  • По русски: Некоторые люди прогуливаются,
    Логически: $ x (Человек(x) U Прогуливается(x)).

(Сравнивая два последних примера, видим, что замена прилагательного "каждый" на "некоторые" влечет при переводе не только замену квантора " на $, но изамену связки E на U. Это иллюстрирует тот факт, что перевод фразы естественного языка на логический, вообще говоря, не является трафаретной операцией.)  

  • По русски: Ни один человек не прогуливается,
    Логически: O ($ x (Человек(x) U Прогуливается(x))).

 
 



Содержание раздела