Основы построения и функционирования интеллектуальных информационных систем. Былкин В.Д - 35 стр.

б)    x( P( x)     ( y( P( y)v R(a, x, y)                z ( S ( y, z ))

в) формулы, полученные в упражнении 13;
г) формулы упражнений 3,7.
16. Дайте определение эрбрановой области и эрбрановой интерпретации.
17. Что такое подстановка и конкретизация?
18. Дайте определение унификации, составьте алгоритм унификации.
19. Найдите наибольший общий унификатор для следующих формул:
P1:L(a, x, f ( g ( y))); P2 : L( z, f ( z ), f (u ))).
20. Используя метод резолюций, докажите:
а) утверждение из упражнения 13, в, используя в качестве посылок утверждения из упражнений
13, а, б;
б) невыполнимость следующей формулы логики предикатов:
P( x, y) & Q(t ) & R(υ) & ( P(a, z )v Q(b)v Q(c)) ;

где x , у , z , t , v -переменные; a , b , с - константы; Р , Q, . R - предикатные символы.
21. Имеются следующие факты:
а) "все люди смертны";
б) "бог бессмертен";
в) "Сократ - человек".
С использованием метода резолюций получите ответ на вопрос "Кто есть не бог?".




                                                                           35