Xreferat.com » Рефераты по кибернетике » Инженерия знаний

Инженерия знаний

Предмет иностранный_язык)

(K A1K1, A2K2)

K1/(K, K2)

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

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

Шаблонные описания состояния предметной области:


Занятия K

<Преподаватель> проводит занятия по дисциплине <название дисциплины> в группе <код группы> в <день недели> на <номер пары> в <аудитории>.

Иванов И.И. проводит занятия по дисциплине ТОЭ в группе ИТ-1-98 в понедельник на 4 паре в Г-301.

(занятия:

преподаватель Преподаватель

дисциплина Название_дисциплины

группа Код_группы

день День_недели

время Номер_пары

место Аудитория)

Концептуальные модели предметной области – концептуальная схема вместе с множеством высказываний построенных по конечному набору шаблонов.

Диаграмма сущности и связи (ER – диаграмма)

Entety Relation Diagramm


Сущность


связь


Атрибуты сущности и связи




преподаватель

кафедра

N 1

*




На 1 кафедре работает N преподавателей. «*» – знак преподавателя – можно найти кафедру.


Связь глагол или дополнение




дисциплина

Группа










Атрибуты – прилагательное, числители, размеры, место действия



факультет


Код специальности






специальность

Назв. Спец.





Расписание нагрузки


Зав. кафедрой

преподаватель







группа

дисциплина





Логические системы (модели), на основе единственного примера поставки товара в магазин.

Логические модели представления знаний.

Описание предметной области на одном из логических языков программирования, основано на исчислении предикат.

Язык многократного исчисления предикатов 1-го порядка. Многократная логика 1-го порядка.

Для составления этого языка :

Понятие сорта соответствует понятию классов объектов.

Множество сортов S

- на множестве задаются функциями.

f-имя функции;

сорта аргументов;

В – сорт значения функции.

Z – сигнатура – это верхний уровень представления знаний в логических моделях.


Предикат -

Т={0;1}


ложь истина

-константа сорта В


Рассмотрим в качестве примеров обработку деталей на производстве

2-токарных;

1-фрезерный;


S={Деталь, Станок, Операция, Тип_детали, Тип_станка, Время }

1) дет: Операция Деталь;

f A1 B

2) ст: Операция  Станок;

3) нач: Операция  Время

4) кон: Операция  Время

5) тип_дет: Деталь  Тип_детали

6) тип_ст: Станок  Тип_станка

7) 0 :  Время

C B

1:  Время

. В

.

.

t:  Время

8) ст_вал:Тип_детали

вал_мест:  Тип_детали

9) фрез: Тип_станка

ток: Тип_станка

10) фрез_торц:операция Т

ток_обр: операция Т

11) +: Время*Время Время

12): Время*Время Т

Знания о конкретных объектах

(нижн. Уровень представления знаний) на языке многократного исчисления предикатов наз-ся структурой интегрированной сигнатурой

  1. сигнатура

  2. Структура интегр. Сигнатуры.

  3. Для каждого имя сорта создаётся мн-во объектов этого сорта.

Деталь = {дет.1, дет.2, дет.3, дет.4}

Станок = {ст.1, ст.2, ст3}

Операция ={опер1,опер2, опер3, опер4, опер5, опер6, опер7, опер8}

Тип_детали = {ст_вал, вал_мест}

Тип_станка = {ток, фрез}

Время = {1,2,…,t}

Объединение всех множеств - универсум.

Каждой функции и предикатов из структуры в системе соответствует множество факторов.

  1. дет.(опер.1)=дет1

дет.(опер.2)=дет1

дет.(опер.3)=дет2

…………………..

2) ст.(опер.1)= ст.3

ст.(опер.2)= ст.1

ст.(опер.3)= ст.3

…………………

3) нач.(опер.1)=0

нач.(опер.2)=5

нач.(опер.3)=5

…………………..

4) конц(опер.1)=5

конц(опер.2)=12

конц(опер.3)=0

…………………

5) тип_дет(дет.1)=ст_вал

тип_дет(дет.2)=вал_мест

тип_дет(дет.3)=ст_вал

тип_дет(дет.4)=вал_мест

………………….

6) тип_ст. (ст.1)=ток

тип_ст. (ст.2)=ток

тип_ст. (ст.3)=фрез

………………….

10) фрез_торц(опер1)

ток_обр (опер2)

фрез_торц(опер3)

операция деталь станок начало конец фрез_торц ток_обр
Опер1 Дет.1 Ст.3 0 5 1 0
Опер2 Дет.1 Ст.1 5 12 0 1
Опер3 Дет.2 Ст.3 5 10 1 0
Опер4 Дет.2 Ст.2 10 17 0 1
Опер5 Дет.3 Ст.3 10 16 1 0
Опер6 Дет.3 Ст.1 16 26 0 1
Опер7 Дет.4 Ст.3 16 22 1 0
Опер8 Дет.4 Ст.2 22 32 0 1

Деталь Тип_дет
Дет.1 Ст_вал
Дет.2 Ст_вал
Дет.3 Вал_мест
Дет.4 Вал_мест

Станок Тип_ст
Ст.1 Ток.
Ст.2 Ток.
Ст.3 Фрез.

3) Составляющая : Логические формулы

Правила построения формул:

а)константа сорта А, есть терм сорта А

б)переменная принимающая значение из сорта А, есть терм сорта А

в)если сигнатура содержит функцию-

построенные термы сортов соответственно, то

-есть терм сорта В

г)если сигнатура содержит предикат-

,термы построенных сортов

, то - есть атом.

д)если - термы одинакового сорта, то выражение , то есть атом

е)Атом есть формула правильно построенная (ППФ)Переменная, входящая в атом, является свободной в этом атоме.

ж)если построенная формула в которую свободно входит переменные х сорта А , то выражения:

также является ППФ, переменная “x” является

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

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

является ППФ

Примеры:

  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


Принцип резолюций в Прологе

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

На пример

Если Вам нужна помощь с академической работой (курсовая, контрольная, диплом, реферат и т.д.), обратитесь к нашим специалистам. Более 90000 специалистов готовы Вам помочь.
Бесплатные корректировки и доработки. Бесплатная оценка стоимости работы.
Подробнее

Поможем написать работу на аналогичную тему

Получить выполненную работу или консультацию специалиста по вашему учебному проекту

Похожие рефераты: