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

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

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

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

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

Язык многократного исчисления предикатов 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)