Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 3)

связанной (в новых файлах)

з)если уже построенные формулы, то , также

является ППФ

Примеры:

1. Представление Знания b=> опер2 выполнены на токарном станке

тип_ст(ст(опер2))=nток

1. Опер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)

Представление программы в виде графа

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 (Конец)

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

Обратные выводы – выполняются сверху вниз (выводами ориентирующих на цель)

П₆ П₇

С₂ С₃

П ₁ П₂ П₃ П₄ П₅

С ₄ С₅ С₆ С₇ С₈

F₁ F₂ F₃ F₄ F₅

Цель – «продолжительность» –цель задаётся именем объекта.

Она сопоставляется с заключением правил и выбирается правило с заключением ,

в которых есть имя объекта. Выбираем правило, которое содержит целевой объект,

мы формируем гипотезу

Продолжительность=60

П7

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

Используется меньшее количество проверок, т.к. в правиле бывает несколько условий и одно заключение.

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

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

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

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

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

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

(i); Q; P; A; =B; N

(i)– имя правила:

Q –сфера применения правила;

P – условие применимости првила (логическое условие)

A=>B – ядро правило, где А- посылка, а В- заключение;

N – поставленное условие, определяетдействия, которые выполняются в случае выполнения ядра.

Р – при истинности активизируется ядро правила.

A111

P11

Q1

A112

Q2

P12

P21

P22

P23

……..

……..

…

Фрейм – структура данных для представления стереотипной ситуации

(к: А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

Человек

Вес=60

Характеристики

Список файлов реферата