Двунаправленные выводы.

Сначала выполняются прямые выводы, на основе небольшого количества данных, в результате формируется гипотеза для подтверждения или опровержения выполняются другие выводы.

Для проверки условий правил используется аппарат активации правил, который выделяет на каждом шаге те правила, в которых проходит проверка условий.

Должны быть использованы также условия. В условиях правил выделяются индивидуальные, а затем общие.

Общие правила – правила условий применимости. Сфера применимости.

Обобщённая структура продукционного правила.

(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

Человек