13) .Вывод в логике предикатов

|-

Если формула общезначима (|= )

Если формула выводима (|-)

Формула выводима из формул если модель формул является так же моделью формул .

Если формулы |- , то левое - условие, а - следствие.

Модус поненс: , → |-

Правило подстановки: →

Из формул выводима формула если вместо каждого введенного p вводиться P.

14) .Методы решения задач исчисления предикатов

1. Исключающая коньюнкта если переменные (формулы) входит в члены, то истино

|-

2. Введение в коньюнкту

из списка истинности формулы => истинности коньюнкций

|-

3. Введение дизьюнктов

|- (хотя бы 1 истины)

4. Двойное отрицание

|-

15). Сетевые модели представления данных

Семантические сети

- множество информационных единиц или множество вершин графа.

- множество типов отношений или связей между информационными единицами.

- отображение, задающее связи между информационными единицами.

Интексионал

– множество отношений;

– множество атрибутов.

j- атрибут

- множество значений атрибутов, которое может иметь отношение .

Объединение всех доменов называется базовым множеством модели или множество объектов, на которое работает отношение .

Экстенсионал

- множество фактов

- множество фактов истинности этого отношения.

– это, что хранится в базе значений.

- это, что хранится в базе данных.

В семантических сетях имеется 4 типа отношений:

- лингвистические(хар-я глаголов падежная);

- логические(описывает операции использующие вычисление высказываний);

- теоретико-множественные(часть целого);

- квантифицированные(отношения, которые используют кванторы общности и существования).

Фреймы

Фрейм – это абстрактный образ для определения некого стереотипа восприятия.

Фрейм задают в множестве упорядоченных слотов.

v – название слота;

g – размер(численное значение);

p – процедура(которая вычисляется или получается в ходе преобразований).

Фрейм – прототип(интенсионал)

<дата>((<месяц> <имя>)(<день> <ц.> {1,…,31})(<год> <функция>)(<день недели> <перечень{пнд.,…,вск.}> <функция>))

Фрейм пример(экстенсионал)

<ISA Дата>(<месяц> <март>)(<день> <30>)

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

1. Фрейм – структуры (заем, сессия, вексель,…);

2. Фрейм – роль(менеджер, кассир, клиент);

3. Фрейм – сценарий(собрание акционеров, банкротство);

4. Фрейм – ситуации(тревога, ЧП).

Свойство фреймов: позволяют строить сеть!

Фрейм представляет собой декларативно-процедуроидальные структуры, т.е. совокупность описаний и связей с ними процедур. Концептуальная основа организации памяти человека. Фреймов – модель.

16). Продукционные модели представления знаний

Продукционные модели

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

«ЕСЛИ (усл), ТО(действ)»

j – имя или № продукции.

(j), S;

S – описание класса ситуации, в которой эта продукция работает.

P – условие, при выполнении которого продукция срабатывает.

- секвенция.

Q – указание, которое нужно ввести в продукцию после ее выполнения.

A – антецедент;

B – кониквент, сукцедент.

- ядро продукции.

Это ядро может быть детерминировано и вероятностно. Вероятностные секвенции должны обладать статистическими свойствами.