←предыдущая следующая→
1 2 3 4 5 6
б)переменная принимающая значение из сорта А, есть терм сорта А
в)если сигнатура содержит функцию -
построенные термы сортов соответственно, то
-есть терм сорта В
г)если сигнатура содержит предикат-
,термы построенных сортов
, то - есть атом.
д)если - термы одинакового сорта, то выражение , то есть атом
е)Атом есть формула правильно построенная (ППФ)Переменная, входящая в атом, является свободной в этом атоме.
ж)если построенная формула в которую свободно входит переменные х сорта А , то выражения:
также является ППФ, переменная “x” является
связанной (в новых файлах)
з)если уже построенные формулы, то , также
является ППФ
Примеры:
1) Представление Знания b=> опер2 выполнены на токарном станке
тип_ст(ст(опер2))=nток
2) Опер2 выполн на ост.1 на ст.1 нач 5 конец 12
)
3)
Лекция 8 12.11.99.
Метод резолюций
Метод резолюций доказывает невыполнимость.
Для использования этого метода необходимо исходную формулу привести к ДНФ.
ДНФ:
- дизъюнкция литер
рii – атом или отрицание атома.
Потом ДНФ представляют в виде множества дизъюнктов
В методе резолюций – имеется одно правило вывода
В результате из 2-х дизъюнктов получаем новую, называется руовентой
- получаем пустой дизъюнкт , который всегда ложный.
Если множество содержит пустой дизъюнкт , то оно является не выполнимым.
Получается пустой дизъюнкт, который доказывает что данное множество является невыполнимым.
Метод резолюций применяется до тех пор пока не получится пустой– дизъюнкт
m,n – const
подстановка вместо переменной константы –унификация.
В данном случае выполняем подстановку {n/y}:
Из (1)и (2) => a(x) c(x,n) (5)
Из (3) и (5) , выполняя ь подстановку {m/n}=> c(m,n) (6)
Из (4) и (6) без подстановок => 0
Принцип резолюций в Прологе
В Прологе используются хордовские дизъюнкты, т.е. дизъюнкты, содержащие одну литеру без отрицания.
На пример
=>
конъюнкция
без
отрицания
Могут использоваться дизъюнкты , которые вообще не содержат литер. –
это целевое утверждение на прологе: ? – a
a: - b,c,d.
b: - e,f.
c.
e.
f.
?-a
a(1)
a(2)
a(3)
№ шага Целевой
дизъюнкт Исходный
дизъюнкт резольвета
1
2
3
4
5
6 ?- a.
?-b,c,d
?-e,f,c,d
?-f,c,d
?-c,d
?-d a:-b,c,d.
b:-e,f
e
f
c
d -b,c,d.
-e,f,c,d
-f,c,d
-c,d
-d
0
Представление программы в виде графа
a: - b;c
b: - d,e
c: - g,f.
e: - i,h
g: - h,j
d.
f.
h.
?-a
«,» - и
«;» - или
Построение графа начинается с целевого дизъюнкта.
На графе видно какие и сколько решений имеет рассматриваемая задача.
- Два решения
задачи
Продукционная модель представления знаний.
Основа для данной модели – это продукционные правила, которые имеют следующий вид
- продукционное правило >:=
Eсли то < заключение> [КД=]
Примеры:
Правило 5
Если пол=женский
И сложение=мелкое
И вес=65 лет_или_больше
То относительный_вес=изменчивый
Коэффициент доверия определяется числом 0-100
Правило 27
ЕСЛИ перспектива=отличная
И риск=высокий
ТО фактор=0 КД=10
В общем случае посылка может быть логическим выражением.
Если посылка истинна, то истинно и заключение, т.е. в заключение может быть указано какое-либо действие , которое выполняется, если посылка истинна
::[ИИ…И]
::==
объект, атрибут, значение, коэфициент доверия- представление знаний в виде четвёрки
::==
:==КД=
Один и тот же объект может иметь разные значения.
Многозначные объекты – объекты, которые могут иметь несколько достоверных значений.
Если объект не объявлен, как многозначный, то он может иметь несколько значений, то они не должны быть достоверными, т.е. КД= 100
Для объектов, значение которое запрашивается у пользователя.
Какое сложение?
1. Мелкое
2. Среднее разрешённые значения
3. Крупное
Каков возраст
1. меньше 25
2. от 25 до 55
3. больше 55
Коэффициент доверия посылки=min(Кдусл)
- факта, полученного в результате выполнения правила
перспектива=отличная КД=50
риск=высокий КД=70
фактор=0
Базовая структура продукционной модели представления знаний
Исходные данные
Результат
Лекция 9 (Конец)
№
шага Конфликтное
Множество правил Выполнение
правила Выведенный
факт
1
2
3
4
5
Выводы заканчиваются , когда достигается целевая вершина, либо не осталось применимых правил, а цель не достигнута.
Обратные выводы – выполняются сверху вниз (выводами ориентирующих на цель)
П6 П7
С2 С3
П 1 П2 П3 П4 П5
С 4 С5 С6 С7 С8
F1 F2 F3 F4 F5
№
шага Цель Конфликтное множество правил Выполнение
правил Подцели Факт
1
2
3
4
5
6
7
8
С1
С2
С3
С4
С5
С6
С7
С8 П6,П7
П1,П2
П3
П6
П1
П3 С2,С3
С1,С5,С3
С6,С7,С8
F1
F2
F3
F4
F5
Цель – «продолжительность» –цель задаётся именем объекта.
Она сопоставляется с заключением правил и выбирается правило с заключением ,
в которых есть имя объекта. Выбираем правило, которое содержит целевой объект,
мы формируем гипотезу
П7
В процессе гипотеза либо подтверждается либо опровергается. Выводы продолжаются до тех пор, пока какая либо не будет подтверждена, либо не будут исчерпаны все возможные гипотезы.
Используется меньшее количество проверок, т.к. в правиле бывает несколько условий и одно заключение.
Двунаправленные выводы.
Сначала выполняются прямые выводы, на основе небольшого количества данных, в результате формируется гипотеза для подтверждения или опровержения выполняются другие выводы.
Для проверки условий правил используется аппарат активации правил, который выделяет на каждом шаге те правила, в которых проходит проверка условий.
Должны быть использованы также условия. В условиях правил выделяются индивидуальные, а затем общие.
Общие правила – правила условий применимости. Сфера применимости.
Обобщённая структура продукционного правила.
(i); Q; P; A; =B; N
←предыдущая следующая→
1 2 3 4 5 6
|
|