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

Реклама на сайте

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


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

 

- По русски: Жак посылает книгу Мари,

 

Логически: Посылка (Жак_2, Мари_4, Книга_22).

 

-По русски: Каждый  человек прогуливается,

 

Логически: " x ( Человек(x) É Прогуливается(x)).

 

-По русски: Некоторые люди прогуливаются,

 

Логически: $ x (Человек(x) Ù Прогуливается(x)).

 

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

 

 

По русски: Ни один человек не прогуливается,

 

Логически: Ø ($ x (Человек(x) Ù Прогуливается(x))).



Методические пособия

  • Системы автоматизированного проектирования
  • Социология молодёжи
  • Общая социология
  • Криптография
  • Проектирование трансляторов
  • Компьютерная графика
  • Моделирование систем
  • Информационная безопасность
  • Теория вычислительных процессов
  • Логические основы искусственного интелекта
  • Проектирование распределённых информационных систем