f-имя функции;
сорта аргументов;
В – сорт значения функции.
Z – сигнатура – это верхний уровень представления знаний в логических моделях.
Предикат - 
Возможно вы искали - Реферат: Интеллект и ЭВМ
Т={0;1}
ложь истина
-константа сорта В
Рассмотрим в качестве примеров обработку деталей на производстве
2-токарных;
Похожий материал - Реферат: Информатика (полный курс)
1-фрезерный;
S={Деталь, Станок, Операция, Тип_детали, Тип_станка, Время }
1) дет: Операция Деталь;
f A1 B
2) ст: Операция ® Станок;
Очень интересно - Реферат: Информатика сегодня
3) нач: Операция ® Время
4) кон: Операция ® Время
5) тип_дет: Деталь ® Тип_детали
6) тип_ст: Станок ® Тип_станка
7) 0 : ® Время
Вам будет интересно - Реферат: Информационный сектор США
C B
1: ® Время
. В
.
.
Похожий материал - Реферат: Искусственный интеллект
t: ® Время
8) ст_вал:®Тип_детали
вал_мест: ® Тип_детали
9) фрез: ®Тип_станка