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

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

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

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

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

Предикат -

Т={0;1}

ложь истина

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

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

2-токарных;

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

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

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

f A1 B

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

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

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

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

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

7) 0 : ® Время

C B

1: ® Время

. В

.

.

t: ® Время

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

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

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