Поиск по сайту
Рефераты / Кибернетика /Не нашли нужную работу? Закажи реферат, курсовую, диплом на заказ реферат на тему: Инженерия знаниймкорпусквартираплощадьколичество комнатМосква
МоскваТверская
Тверская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. Предикат - Т={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 Не нашли нужную работу? Закажи реферат, курсовую, диплом на заказ Внимание! Студенческий отдых и мегатусовка после сессии!
Рефераты и/или содержимое рефератов предназначено исключительно для ознакомления, без целей коммерческого использования. Все права в отношении рефератов и/или содержимого рефератов принадлежат их законным правообладателям. Любое их использование возможно лишь с согласия законных правообладателей. Администрация сайта не несет ответственности за возможный вред и/или убытки, возникшие или полученные в связи с использованием рефератов и/или содержимого рефератов.
|
Обратная связь. |