Предыдущая страница реферата | 4  5  6  7  8  9  10  11  12  13  14 | Следующая страница реферата

[pic]сорта аргументов;
В – сорт значения функции.
Z – сигнатура – это верхний уровень представления знаний в логических моделях.

Предикат - [pic]
Т={0;1}

ложь истина
[pic]-константа сорта В

Рассмотрим в качестве примеров обработку деталей на производстве
2-токарных;
1-фрезерный;

S={Деталь, Станок, Операция, Тип_детали, Тип_станка, Время }
1) дет: Операция Деталь; f A1 B
2) ст: Операция ( Станок;
3) нач: Операция ( Время
4) кон: Операция ( Время
5) тип_дет: Деталь ( Тип_детали
6) тип_ст: Станок ( Тип_станка
7) 0 : ( Время

C B

1: ( Время

. В

.

. t: ( Время
8) ст_вал:(Тип_детали вал_мест: ( Тип_детали
9) фрез: (Тип_станка ток: (Тип_станка
10) фрез_торц:операция Т ток_обр: операция Т
11) +: Время*Время Время
12)[pic]: Время*Время Т

Знания о конкретных объектах
(нижн. Уровень представления знаний) на языке многократного исчисления предикатов наз-ся структурой интегрированной сигнатурой
1) сигнатура
2) Структура интегр. Сигнатуры.
3) Для каждого имя сорта создаётся мн-во объектов этого сорта.
Деталь = {дет.1, дет.2, дет.3, дет.4}
Станок = {ст.1, ст.2, ст3}
Операция ={опер1,опер2, опер3, опер4, опер5, опер6, опер7, опер8}
Тип_детали = {ст_вал, вал_мест}
Тип_станка = {ток, фрез}
Время = {1,2,…,t}

Объединение всех множеств - универсум.
Каждой функции и предикатов из структуры в системе соответствует множество факторов.
1) дет.(опер.1)=дет1 дет.(опер.2)=дет1 дет.(опер.3)=дет2

…………………..
2) ст.(опер.1)= ст.3 ст.(опер.2)= ст.1 ст.(опер.3)= ст.3

…………………
3) нач.(опер.1)=0 нач.(опер.2)=5 нач.(опер.3)=5
…………………..
4) конц(опер.1)=5 конц(опер.2)=12 конц(опер.3)=0
…………………
5) тип_дет(дет.1)=ст_вал тип_дет(дет.2)=вал_мест тип_дет(дет.3)=ст_вал тип_дет(дет.4)=вал_мест
………………….
6) тип_ст. (ст.1)=ток тип_ст. (ст.2)=ток тип_ст. (ст.3)=фрез
………………….
10) фрез_торц(опер1) ток_обр (опер2) фрез_торц(опер3)
|операция|деталь |станок |начало |конец |фрез_торц|ток_обр|
|Опер1 |Дет.1 |Ст.3 |0 |5 |1 |0 |
|Опер2 |Дет.1 |Ст.1 |5 |12 |0 |1 |
|Опер3 |Дет.2 |Ст.3 |5 |10 |1 |0 |
|Опер4 |Дет.2 |Ст.2 |10 |17 |0 |1 |
|Опер5 |Дет.3 |Ст.3 |10 |16 |1 |0 |
|Опер6 |Дет.3 |Ст.1 |16 |26 |0 |1 |
|Опер7 |Дет.4 |Ст.3 |16 |22 |1 |0 |
|Опер8 |Дет.4 |Ст.2 |22 |32 |0 |1 |

|Деталь|Тип_дет |
|Дет.1 |Ст_вал |
|Дет.2 |Ст_вал |
|Дет.3 |Вал_мест|
|Дет.4 |Вал_мест|

|Станок|Тип_ст |
|Ст.1 |Ток. |
|Ст.2 |Ток. |
|Ст.3 |Фрез. |

3) Составляющая : Логические формулы

Правила построения формул: а)константа сорта А, есть терм сорта А б)переменная принимающая значение из сорта А, есть терм сорта А в)если сигнатура содержит функцию[pic]- построенные термы сортов [pic]соответственно, то
[pic] -есть терм сорта В г)если сигнатура содержит предикат-
[pic] ,термы построенных сортов
[pic], то [pic]- есть атом. д)если [pic]- термы одинакового сорта, то выражение [pic], то есть атом е)Атом есть формула правильно построенная (ППФ)Переменная, входящая в атом, является свободной в этом атоме. ж)если [pic] построенная формула в которую свободно входит переменные х сорта А , то выражения:

[pic] также является ППФ, переменная “x” является связанной (в новых файлах) з)если [pic] уже построенные формулы, то [pic] , также является ППФ
Примеры:
1) Представление Знания b=> опер2 выполнены на токарном станке тип_ст(ст(опер2))=nток
2) Опер2 выполн на ост.1 на ст.1 нач 5 конец 12
[pic])
3)[pic]

Лекция 8 12.11.99.

Метод резолюций

[pic]
Метод резолюций доказывает невыполнимость.
Для использования этого метода необходимо исходную формулу привести к ДНФ.
ДНФ: [pic]
[pic]- дизъюнкция литер рii – атом или отрицание атома.
Потом ДНФ представляют в виде множества дизъюнктов
[pic]
В методе резолюций – имеется одно правило вывода
[pic]
В результате из 2-х дизъюнктов получаем новую, называется руовентой
[pic]
[pic] - получаем пустой дизъюнкт , который всегда ложный.
Если множество содержит пустой дизъюнкт , то оно является не выполнимым.
[pic]
Получается пустой дизъюнкт, который доказывает что данное множество является невыполнимым.
Метод резолюций применяется до тех пор пока не получится пустой– дизъюнкт
[pic] m,n – const
[pic]подстановка вместо переменной константы –унификация.
В данном случае выполняем подстановку {n/y}:
Из (1)и (2) => a(x)[pic]c(x,n) (5)
Из (3) и (5) , выполняя ь подстановку {m/n}=> c(m,n) (6)
Из (4) и (6) без подстановок => 0

Принцип резолюций в Прологе
В Прологе используются хордовские дизъюнкты, т.е. дизъюнкты, содержащие одну литеру без отрицания.
На пример [pic]
[pic] => [pic]

конъюнкция без отрицания

Могут использоваться дизъюнкты , которые вообще не содержат литер. – это целевое утверждение на прологе: ? – a a: - b,c,d. b: - e,f. c. e. f.
?-a a(1) a(2) a(3)
|№ шага |Целевой |Исходный |резольвета|
| |дизъюнкт |дизъюнкт | |
|1 |?- a. |a:-b,c,d. |-b,c,d. |
|2 |?-b,c,d |b:-e,f |-e,f,c,d |
|3 |?-e,f,c,d |e |-f,c,d |
|4 |?-f,c,d |f |-c,d |
|5 |?-c,d |c |-d |
|6 |?-d |d |0 |

Рекомендуем скачать другие рефераты по теме: педагогические рефераты, реферат машини.



Предыдущая страница реферата | 4  5  6  7  8  9  10  11  12  13  14 | Следующая страница реферата

Поделитесь этой записью или добавьте в закладки