Содержание
- 2. Любая формула исчисления предикатов может быть представлена в виде конъюнкции дизъюнкций положительных или отрицательных литералов: L1
- 3. Базовая формула (дизъюнкт Хорна) A ⇐ B - правило Запрос (цель) – целевое утверждение, которое нужно
- 4. ФАКТЫ clauses like (masha, flowers). like (X,Z):- love (X,Y), like (Y,Z). predicates like (Name, Name) love
- 5. Структура PROLOG-программы domains описание типов данных predicates описание предикатов clauses описание фактов и правил Goal цель
- 6. Домены symbol integer real domains person, activity = symbol age=integer predicates likes (person, activity) clauses likes
- 7. is_older (Person1, Person2) if age (Person1, Age1) and age (Person2, Age2) and Age1>Age2. Пример тезауруса на
- 8. Почти детективная история человек (аллан,25, м, футболист). человек(аллан, 25, м, мясник). человек (берт, 55, м, плотник).
- 9. убит (сюзанна, клюшкой). мотив(деньги). мотив(ревность). измазан (катрин, кровь). измазан (аллан, грязь). имеет (берт, дубинку). имеет (джон,
- 10. действительно_имеет (Некто, бутсы) если человек (Некто, _, _, футболист). действительно_имеет (Некто, ножницы) если человек (Некто, _,
- 11. Подозреваем мужчин, знакомых с Сюзанной подозревать (Некто) если мотив (ревность) и человек (Некто, _,м, _) и
- 12. Составные цели domains brand, color = symbol age, price = integer mileage = real predicates car
- 13. goal car(Name,Odometer,Years_on_road,Body,Cost) and Cost Комментарии /* */
- 14. Некоторые примеры (6,4) (7,1) (4,2) Р2=(2,3) Р1=(1,1) Р1=точка(1,1). Р2=точка(2,3). S=отрезок(Р1,Р2)= отрезок(точка(1,1), точка(2,3)). Т=треугольник(точка(4,2), точка(6,4), точка (7,1).
- 15. Обезьяна и банан Есть комната. Возле двери стоит обезьяна. В середине комнаты к потолку подвешен банан
- 16. Будем считать, что обезьяний мир всегда находится в некотором состоянии, оно может изменяться со временем. Исходное
- 17. Типы ходов: Схватить банан Залезть на ящик Подвинуть ящик Перейти в другое место Не все ходы
- 18. Обезьяна, находясь на полу, может перейти из любой горизонтальной позиции Р1 в любую позицию Р2. Независимо
- 19. S1 S2 S3 Sn Ход М Может завладеть Может завладеть имеет Главный вопрос: может ли обезьяна,
- 20. Основные наблюдения обезьяны Для любого состояния S, в котором обезьяна уже имеет банан, предикат можетзавладеть должен
- 21. Разрешенные ходы ход (состояние(середина, наящике, середина, неимеет), схватить, состояние(середина, наящике, середина, имеет)). ход(состояние (Р, наполу,Р, Н),
- 22. можетзавладеть (состояние (_, _, _, имеет )). можетзавладеть (Состояние1) : - ход (Состояние1, Ход, Состояние2), можетзавладеть
- 23. Поиск банана обезьяной состояние (удвери,наполу,уокна,неимеет) состояние (Р2,наполу,уокна,неимеет) состояние (уокна,наящике,уокна,неимеет) состояние(Р2’,наполу, Р2’,неимеет) состояние (Р2’,наящике, Р2’, неимеет) состояние
- 24. Анонимные переменные В случае незначимости конкретного значения какой-либо переменной predicates car (brand,mileage,age, color, price) clauses car(ford,
- 25. Порядок предложений и целей Опасность бесконечного цикла р :- p. Р истинно, если р истинно. ?
- 26. У каждого есть рубашка has (_, shirt). Каждый умывается washes (_). BackTracing domains person=symbol age=integer predicates
- 27. Man1=ivanov Man2=petrov Man1=petrov Man2=ivanov Использование NOT marriage(sofie, X) :- male(X), not (smoker(X)).
- 28. Стандартные типы описаний char символы в апострофах ‘a’ integer целые числа –32768 до 32767 real числа
- 29. Многоуровневые объекты book (“Tom Soyer”, “Mark Twain”). book (“Tom Soyer”, author (“Mark”, “Twain”)). Опишем автора как
- 30. sentence = sentence (noun, verb). noun = noun (word). Рекурсия когда отношения описаны с помощью других
- 31. domains n, f = integer predicates factorial (n,f). clauses factorial (1,1). factorial (N, Res) if N>1
- 32. Для цели factorial (2, Answer). мы имеем factorial (2, Res) if 2>1, N1=N1=2-1, factorial (N1, FacN1),
- 34. Скачать презентацию