В процессе гипотеза либо подтверждается либо опровергается. Выводы продолжаются до тех пор, пока какая либо не будет подтверждена, либо не будут исчерпаны все возможные гипотезы.
Используется меньшее количество проверок, т.к. в правиле бывает несколько условий и одно заключение.
Двунаправленные выводы.
Сначала выполняются прямые выводы, на основе небольшого количества данных, в результате формируется гипотеза для подтверждения или опровержения выполняются другие выводы.
Для проверки условий правил используется аппарат активации правил, который выделяет на каждом шаге те правила, в которых проходит проверка условий.
Должны быть использованы также условия. В условиях правил выделяются индивидуальные, а затем общие.
Общие правила – правила условий применимости. Сфера применимости.
Обобщённая структура продукционного правила.
(i); Q; P; A; =B; N
(i)– имя правила:
Q –сфера применения правила;
P – условие применимости првила (логическое условие)
A=>B – ядро правило, где А- посылка, а В- заключение;
N – поставленное условие, определяетдействия, которые выполняются в случае выполнения ядра.
Р – при истинности активизируется ядро правила.
| |
… Фрейм – структура данных для представления стереотипной ситуации
(к: А1К1, A2K2, ….,AnKn)
(к: A1k1, A2k2,….,An kn)
(имя файла:
имя слота1 (значение слота1)
имя слота2 (значение слота2)
………………………………..
имя слота n (значение слота n))
Протофрейм – знания о классе объектов.
Фрейм- экземпляр- получается из протофрейма при заполнении слотов конкретными значчениями.
В структуру фреймов обычно включают системные слоты. К системе слота относятся:
Слоты определим фреймродитель, слот, указываемый на прямые дочерние фрейма.
В качестве системы слотов: слоты, содержащие сведения о создателе программы, о её модификации.
В структуру входят:
- указатель наследования;
- указатель типа данных;
- демоны и т.п.
ЯЗЫК ФМС (FMS).
Указатели наследования могут быть:
U – unique – уникальный
S – same- какой-то
R – range – указатель границ;
0 –override – игнорировать
U – во фреймах разных уровней с одинаковыми именами будут различными.
S – слоты наследования значений из слотов высшего уровня с такими же именами
U
Человек
Ребёнок
Миша
Значение нижнего уравнения должно лежать внутри границ определённого в верхнем уравнении.
R
Человек
Ребёнок
Миша
Если значение не задано то оно наследуется из слота верхнего уравнения, а если оно задано , то наследование игнорируется.
О
Человек
Ребёнок
Миша
Лекция 11 3.12.99
Сочетание сетевой и фреймовой модели в системе представления знаний OPS-5
В этом языке есть продукционные правила и базы данных
<Аз-элемент>::=(<объект> {|<атрибут> <значение>}+)
{}+ - Может повторятся несколько раз
<Элемент –вектор>::=({ значение})
<ЭРП>::=< аз-элемент> | < элемент-вектор>
( Вещество
класс кислота
имя 
цвет бесцветная )(Порядок – задач: Источник, утечки Ограждения)
Что собой представляют правила :
<Правило>::=(Р<имя правила> <посылка>
<заключение>)<Посылка>::={<условие>}+
<Условие>::=<образец> | - <образец>
<Образец>::= <простой образец> | <образец с дезъюнкцией> | <образец с конъюнкцией>
<Простой образец>::=({значение>}+) |
# ( Порядок задач <первый> )
(<Объект> [{
<атрибут> <значение>}+] ) # (Вещество )
В образце не обязательно указываются все атрибуты данного класса , т.е. мы можем записать
(Вешество
класс кислота
имя <вещ> )т.е. переменная кислота –вещ получит значение
<образец с дизъюнкцией>::= (<объект> {
<атрибут> <<{< значение>}+>>}+)Значение с соответствующего атрибута элемента работой памяти должно совпадать с одним из элементов указанных в данном листе, хотя бы с одним. Эти значения задаются конкретными словами.
# (Вещество
класс кислота
имя <вещ>
цвет <<бесцветный желтый>> )<образец с конъюнкцией>::= (< объект> {
< атрибут>{{< значение>}+}}+)Список значений может задаваться и в виде ограничений
# (Двигатель
мощность {<х> 100 <х> 200} ) (Двигатель
мощность 160)<заключение>:={<действие>}+
<действие>::=(make < ЭРП> | remove <ссылка> | (modif <ссылка> {
<атрибут>< значение>} +)# (Р координировать _а
(цель
состояние активный
