Рейтинг@Mail.ru
Rambler's Top100




Не нашли нужную работу? Закажи реферат, курсовую, диплом на заказ

реферат на тему: Инженерия знаний

скачать реферат

мкорпусквартираплощадьколичество комнатМосква МоскваТверская Тверская2 21 147 5460 502 1В данном случае ключ будет состоять из нескольких полей. Кi sup Кj является подклассом класс sup подкласс; подкласс sup класс. Кi является подклассом Кj, если t Ki t Kj t (Если в любой момент времени t класс Кi является подклассом Кj) Npr классификация сети. Классификация сети представляется в виде иерархической структуры. Студент sup учащийся. Ki part of Kj - является частью Ki part Kj Ki является частью Kj, если конкретный объект класса Ki является частью однозначно определенного объекта Kj.

Отношение принадлежности. k isa K - является элементом Ki ius K - является составляющей К1 ius K K2 ius K . . . . . . . Kn ius K Означает, что объект класса К состоит из объектов класса К1, К2, … , Кn, причем объект класса К может включать несколько объектов класса Кi.

Лекция №4. Свойства отношений. Отношения частичного порядка обладают свойством транзитивности. Ki sup Kj Kj sup Km Ki sup Km Ki part Kj Kj part Km Ki part Km Если элемент является составляющей блока, а блок составлен… Нет циклов в графе принадлежности. K1 ins K2, K2 ins K3,…,Kn-1 ins Kj Неверно, что Kn ins K1 K isa Ki sup Kj K isa Kj Москва isa город Город sup Населенный пункт Москва isa Населенный пункт

Операции над классами объектов. С помощью операций над классами объектов можно определить новый класс объектов Ki ins K ? Ki множество блоков, к примеру, телевизоров Ki sup K ? Ki = K

Материальные объекты делятся на три класса Условие Помещение Оборудование = Материальный объект Человек Помещение = Человек Оборудование = Помещение Оборудование =Ш Размещение классов объекта Человек (Фамилия, Имя, Отчество, Год_Рождения, пол) Пол={мужской, женский} Мужчина, женщина = Человек\пол K (K1, K2, K3, K4, K5) K\K5 Разбиение класса по классу К5. Объединение всех этих классов есть человек. Мужчина?Женщина=Человек Мужчина?Женщина=Ш (Знание_иностранного языка Знающий человек, Предмет иностранный_язык) (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Ст.30510Опер2Дет.1Ст.151201Опер3Дет.2Ст.351010Опер4Дет.2Ст.2101701Опер5Дет.3Ст.3101610Опер6Дет.3Ст.1162601Опер7Дет.4Ст.3162210Опер8Дет.4Ст.2223201 ДетальТип_детДет.1Ст_валДет.2Ст_валДет.3Вал_местДет.4Вал_мест СтанокТип_стСт.1Ток.Ст.2Ток.Ст.3Фрез. 3) Составляющая : Логические формулы Правила построения формул: а)константа сорта А, есть терм сорта А б)переменная принимающая значение из сорта А, есть терм сорта А в)если сигнатура содержит функцию- построенные термы сортов соответственно, то -есть терм сорта В г)если сигнатура содержит предикат- ,термы построенных сортов , то - есть атом. д)если - термы одинакового сорта, то выражение , то есть атом е)Атом есть формула правильно построенная (ППФ)Переменная, входящая в атом, является свободной в этом атоме. ж)если построенная формула в которую свободно входит переменные х сорта А , то выражения: также является ППФ, переменная “x” является связанной (в новых файлах) з)если уже построенные формулы, то , также является ППФ Примеры: 1) Представление Знания b=> опер2 выполнены на токарном станке тип_ст(ст(опер2))=nток 2) Опер2 выполн на ост.1 на ст.1 нач 5 конец 12 ) 3)

Лекция 8 12.11.99.

Метод резолюций

Метод резолюций доказывает невыполнимость. Для использования этого метода необходимо исходную формулу привести к ДНФ. ДНФ: - дизъюнкция литер рii атом или отрицание

скачать реферат
1 2 3 4 5

Не нашли нужную работу? Закажи реферат, курсовую, диплом на заказ

Внимание! Студенческий отдых и мегатусовка после сессии!


Обратная связь.

IsraLux отзывы Израиль отзывы