Классификация знаний

1. Семантическая сеть.

• неоднородная сеть с различными типами вершин и помеченных дуг.

Вершины:

• состояния ПО (статические / динамические)

• ситуации

• предикаты

«Предикаты имеют свойство подчинять себе октанты ситуации»

Октанты – действующие лица (именные группы).

Ещё есть бинарные отношения между предикатами и октантами.

Семантические валентности ↔ глубинный падеж.

МУП – модели управления предикатами.

Вершина – предикат, а ближайшие к ней вершины имеют лингвистические отношения.

Это по сути глубинные падежи, не путать и поверхностыми.

Таким образом:

1-ый тип вершины – отношения

2-ой тип – понятия

3-ий тип – характеристики.

Типы отношений.

1. Теоретико-множественные отношения

2. Логические отношения

3. Квантифицированные

Пример: Завинчивание – предикат.

A– быть одушевлённым инициатором действия (завинчивание)

O– быть объектом действия (завинчивание)

I– быть инструментом действия (завинчивание)

α – быть частью (местом) приложения действия (завинчивание)

E– быть элементом действия (завинчивание)

O– быть подклассом

H– сделана из

Инструментарий – SIMER, ИПС РАН, Г. С. Осипов «Использование семантической сети»

Книга: Г. С. Осипов «Приобретение знаний интеллектуальных систем»

Д/З: Описать «жкзамен» как ???

2. Фреймы

Модульные структуры.

(Марвин-Минский, 1971 год).

• некоторая структура для отображения стереотипной (стандартной) ситуации окружающего мира.

Фрейм – сеть, у которой была часть вершин всегда заполнена, а вторая содержит пустые слоты пустоты (слоты – slot)

Статическая ситуация.

Фрейм-прототип

Информация, что присутствует всегда	Комната (имя фрейма)		Указываются требования для заполнения свободных слотов
	Слот 1: стены	АКО ЗДАНИЕ
	Слот 2: потолок	АКО ЗДАНИЕ
	Слот 3: пол	DEFAULT
	Слот n-1: двери	OR такойOR сякой
	Слот n: окна	PREFER: Windows 2000
	(имя слота)	(значение слота не может быть задано)

Сдача экзамена в ВУЗЕ
Кто сдаёт	Человек: студент, абитуриент, аспирант
Кому	Что-то общее
Что	Явно (!) задано название предмента
Результат
Место и время (расписание)

F = <N, a₁, b₁, [P₁], a₂, b₂, [P₂], …, a_n, b_n, [P_n]>

F – фрейм

N – имя фрейма

a – имя слота

b – значение слота

[P] – возможно, привязанная к слоту процедура.

Пример:

FRL (Frame Representation Language - язык представления фреймов)

<фрейм> ::= (<имя фрейма>{<слот>})

или:

<фрейм> ::= (<имя фрейма><тело фрейма>)

<тело фрейма> ::= {<слот>}

<слот> ::= (<имя слота>(<тип слота><тело слота>))

<тело слота> ::= {<данные>}

<данные> ::= <метка>{<cообщение>}

<cообщение>::=<литерал>

<имя слота> ::= <идентификатор>

<накопитель данных> ::= <конкретные данные> | <имя слота> | <вызов процедур>

<конкретные данные> ::= <число> | …

<тип слота> ::= <декларативный> | <наследовательный> | <процедуральный>

<декларативный> ::= <VALUE> | <DEFAULT>

<наследовательный > ::= <AKO> | <INSTANCE>

<процедуральный > ::= <REQUIRE> | <IF NEEDED> | <IF ADDED> | <IF REMOVE> | <PREFER>

К/Р: Продукции, семантические сети, фреймы.