<<
>>

4.4. Правило резолюции для исчисления предикатов

Для применения правила резолюции нужны контрарные литералы в родительских дизъюнктах.

- правило резолюции в исчислении высказываний, если в предложениях С1 и С2 есть унифицируемые контрарные литералы Р1 и Р2, т.

е. , , причем атомарные формулы Р1 и Р2 унифицируются общим унификатором s.

Пример.

Пусть имеются родительские дизъюнкты:

Д1:

Д2:

Здесь и - контрарные литералы. Их можно унифицировать, если в Д1 заменить x на f(z): {f(z)//x}, а в Д2 заменить y на a: {a//y}.

Получаем:

Д1:

Д2:

Резольвента:

<< | >>
Источник: Викентьева О. Л.. Математическая логика и теория алгоритмов. Конспект лекций для студентов специальностей АСУ, ЭВТ, КЗИ. Пермь, 2007г.. 2007

Еще по теме 4.4. Правило резолюции для исчисления предикатов:

  1. Нарушение ветеринарных правил и правил, установленных для борьбы с болезнями и вредителями растений (ст. 249 УК РФ)
  2. а) Обязательность Правил страхования для страховщика
  3. б) Обязательность Правил страхования для страхователя (выгодоприобретателя)
  4. Логика правила Рамсея для эффективного налогообложения
  5. Д.Н.Бахрах. Административное право. Учебник для вузов. Москва, 1996, 1996
  6. Практическое занятие 2 Тема. Финансовое право как отрасль права Вопросы  для самопроверки
  7. Практическое занятие 14 Тема. Страхование как правовой институт финансового права Вопросы  для самопроверки
  8. Практическое занятие 17 Тема. Рынок ценных бумаг как правовой институт финансового права Вопросы  для самопроверки
  9. А. М. ШУЛЬГА. ТЕОРИЯ Государства И Права Пособие для подготовки к государственному (выпускному) экзамену Харьков 2000, 2000
  10. P.C. Мулукаев. История отечественного государства и права: учебник Для студентов вузов, обучающихся no специальности «Юриспру­денция» / год ред P.C. Мулукаева. — 2-е изд.. перераб. и доп — M,2012. — 703 с., 2012
  11. Исчисление предикатов.
  12. ИСЧИСЛЕНИЕ ПРЕДИКАТОВ
  13. ЛОГИКА ПРЕДИКАТОВ
  14. С.А.Боголюбов и др.. Земля и право. Пособие для российских землевладельцев, 1998
  15. Конституційний закон про права громадян для королівств і областей, що представлені в рейхсраті (12грудня 1867 р.)
  16. Тема 3. Логика и исчисление предикатов
  17. 3.2. Исчисление предикатов
  18. 4.3.Правило резолюции для исчисления высказываний
  19. 4.4. Правило резолюции для исчисления предикатов