Построение дерева вывода

Сентябрь 7, 2022

Главная
Алгебра
Построение дерева вывода

Содержание

2. Исходный текст программы domains list=symbol* predicates nondeterm transition(symbol, symbol, symbol) nondeterm accessible(symbol, list, symbol) clauses transition(b1,
3. Обозначение списка [x1, x2, x3] – список из трех элементов [x1] – список из одного элемента
4. Разделы программы domains list=symbol* predicates nondeterm transition(symbol, symbol, symbol) nondeterm accessible(symbol, list, symbol) clauses transition(b1, x1,
5. Виды аксиом Факт: transition(b1, x1, b2). ||| transition(b1, x1, b2) = ИСТИНА Правило: accessible(B1, [X|Rest], B2)
6. Целевая формула domains list=symbol* predicates nondeterm transition(symbol, symbol, symbol) nondeterm accessible(symbol, list, symbol) clauses transition(b1, x1,
7. Шаг 0
8. Поиск подходящего правила domains list=symbol* predicates nondeterm transition(symbol, symbol, symbol) nondeterm accessible(symbol, list, symbol) clauses transition(b1,
9. Шаг 1: Конкретизация
10. Шаг 1
11. Поиск подходящего правила domains list=symbol* predicates nondeterm transition(symbol, symbol, symbol) nondeterm accessible(symbol, list, symbol) clauses transition(b1,
12. Шаг 2: Конкретизация
13. Шаг 2
14. Шаг последний
15. Решение Целевая формула accessible(b1, [X1, X1, X1], b4) доказана в виде accessible(b1, [x1, x1, x1], b4),
16. Составная цель goal transition(B1, X, B2), B1 = B2. transition(B1, X, B2), B1 = B2. transition(B1,
18. Скачать презентацию

Слайд 2

Исходный текст программы
domains
list=symbol*
predicates
nondeterm transition(symbol, symbol, symbol)
nondeterm accessible(symbol, list,

symbol)
clauses
transition(b1, x1, b2).
transition(b2, x1, b3).
transition(b3, x1, b4).
transition(b4, x1, b1).
transition(b1, x2, b4).
transition(b2, x2, b3).
transition(b3, x2, b2).
transition(b4, x2, b1).
accessible(B1, [X], B2) :- transition(B1, X, B2).
accessible(B1, [X|Rest], B2) :- transition(B1, X, B3), accessible(B3, [Rest], B2).
goal
accessible(b1, [X1, X1, X1], b4).

Слайд 3

Обозначение списка
[x1, x2, x3] – список из трех элементов
[x1] – список

из одного элемента
[] – пустой список
При подстановке [x1, x2, x3] -> [H | Tail] будет H = x1, Tail = [x2, x3].
При подстановке [x1] -> [H | Tail] будет H = x1, Tail = [].

Слайд 4

Разделы программы
domains
list=symbol*
predicates
nondeterm transition(symbol, symbol, symbol)
nondeterm accessible(symbol, list, symbol)
clauses

transition(b1, x1, b2).
transition(b2, x1, b3).
transition(b3, x1, b4).
transition(b4, x1, b1).
transition(b1, x2, b4).
transition(b2, x2, b3).
transition(b3, x2, b2).
transition(b4, x2, b1).
accessible(B1, [X], B2) :- transition(B1, X, B2).
accessible(B1, [X|Rest], B2) :- transition(B1, X, B3), accessible(B3, [Rest], B2).
goal
accessible(b1, [X1, X1, X1], b4).

Слайд 5

Виды аксиом
Факт:
transition(b1, x1, b2).
|||
transition(b1, x1, b2) = ИСТИНА
Правило:
accessible(B1, [X|Rest], B2) :-

transition(B1, X, B3), accessible(B3, [Rest], B2).
|||
accessible(B1, [X|Rest], B2) ← transition(B1, X, B3) & accessible(B3, [Rest], B2)

Слайд 6

Целевая формула
domains
list=symbol*
predicates
nondeterm transition(symbol, symbol, symbol)
nondeterm accessible(symbol, list, symbol)
clauses

Слайд 7

Шаг 0

Слайд 8

Поиск подходящего правила
domains
list=symbol*
predicates
nondeterm transition(symbol, symbol, symbol)
nondeterm accessible(symbol, list,

Слайд 9

Шаг 1: Конкретизация

Слайд 10

Шаг 1

Слайд 11

Поиск подходящего правила
domains
list=symbol*
predicates
nondeterm transition(symbol, symbol, symbol)
nondeterm accessible(symbol, list,

Слайд 12

Шаг 2: Конкретизация

Слайд 13

Шаг 2

Слайд 14

Шаг последний

Слайд 15

Решение
Целевая формула
accessible(b1, [X1, X1, X1], b4)
доказана в виде
accessible(b1,

[x1, x1, x1], b4),
значит, решение:
X1 = x1.

Слайд 16

Составная цель
goal
transition(B1, X, B2), B1 = B2.
transition(B1, X, B2), B1

= B2.

transition(B1, X, B2)

B1 = B2

Построение дерева вывода

Содержание

Исходный текст программыdomains list=symbol*predicates nondeterm transition(symbol, symbol, symbol) nondeterm accessible(symbol, list,

Обозначение списка[x1, x2, x3] – список из трех элементов[x1] – список

Разделы программыdomains list=symbol*predicates nondeterm transition(symbol, symbol, symbol) nondeterm accessible(symbol, list, symbol)clauses

Виды аксиомФакт:transition(b1, x1, b2).|||transition(b1, x1, b2) = ИСТИНАПравило:accessible(B1, [X|Rest], B2) :-

Целевая формулаdomains list=symbol*predicates nondeterm transition(symbol, symbol, symbol) nondeterm accessible(symbol, list, symbol)clauses

Шаг 0

Поиск подходящего правилаdomains list=symbol*predicates nondeterm transition(symbol, symbol, symbol) nondeterm accessible(symbol, list,

Шаг 1: Конкретизация

Шаг 1

Поиск подходящего правилаdomains list=symbol*predicates nondeterm transition(symbol, symbol, symbol) nondeterm accessible(symbol, list,

Шаг 2: Конкретизация

Шаг 2

Шаг последний

РешениеЦелевая формула accessible(b1, [X1, X1, X1], b4)доказана в виде accessible(b1,

Составная цель goal transition(B1, X, B2), B1 = B2.transition(B1, X, B2), B1

Похожие презентации

Исходный текст программы
domains
list=symbol*
predicates
nondeterm transition(symbol, symbol, symbol)
nondeterm accessible(symbol, list,

Обозначение списка
[x1, x2, x3] – список из трех элементов
[x1] – список

Разделы программы
domains
list=symbol*
predicates
nondeterm transition(symbol, symbol, symbol)
nondeterm accessible(symbol, list, symbol)
clauses

Виды аксиом
Факт:
transition(b1, x1, b2).
|||
transition(b1, x1, b2) = ИСТИНА
Правило:
accessible(B1, [X|Rest], B2) :-

Целевая формула
domains
list=symbol*
predicates
nondeterm transition(symbol, symbol, symbol)
nondeterm accessible(symbol, list, symbol)
clauses

Поиск подходящего правила
domains
list=symbol*
predicates
nondeterm transition(symbol, symbol, symbol)
nondeterm accessible(symbol, list,

Поиск подходящего правила
domains
list=symbol*
predicates
nondeterm transition(symbol, symbol, symbol)
nondeterm accessible(symbol, list,

Решение
Целевая формула
accessible(b1, [X1, X1, X1], b4)
доказана в виде
accessible(b1,

Составная цель
goal
transition(B1, X, B2), B1 = B2.
transition(B1, X, B2), B1