Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

Применение вывода для получения новой информации



Пример:

F­1­: для x,y,z

Если x – отец y, и z – отец x,то z – дед y

F­2­: у каждого y есть отец x

"y $x(F(x,y))

G: Кто является дедом y?

"y $z D(z,y)

F­1­: ùF(x,y)ÚùF(z,x)ÚD(z,y)

F­2­:F(f(y),y) – x=f(y) – подстановка x отец y

F­3:ùD(z,a)

Вывод: ùF(x,y)ÚùF(z,x)ÚD(f(y),y) F(f(y),y)


ùF(z,f(y))ÚD(z,y) ùD(z,a)

ùF(z,f(a)) F(f(y),y)

1.z=f(y)

z(f(y),f(y),y)

2.y=f(a)

F(f(y),f(a))

F(f(f(a)),f(a))

результат унификации

Z=f(f(a)) “отец отца а - дед”

Логическое программирование – не опирающееся на теорию логического вывода. Практическая реализация и формализация в виде языка Пролог.

Формализация опирается на:

1.упрощении и ограничении логических формул;

2.конкретизации области интерпретации;

3.расширении интерпретации.

Введены встроенные исполняемые предикаты, к ним относят:

1.вычисления;

2.ввод/вывод;

3.графика;

4.интерактивный интерфейс.

Можно работать в режимах:

- интерпретации;

- компиляции.





Дата публикования: 2014-11-28; Прочитано: 225 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2024 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.007 с)...