Построение дерева вывода - презентация, доклад, проект скачать

Нажмите для полного просмотра!

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Построение дерева вывода. Доклад-сообщение содержит 17 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

Построение дерева вывода Указания

Слайд 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 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).

Слайд 7

Описание слайда:

Шаг 0

Слайд 8

Описание слайда:

Поиск подходящего правила 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).