Логическая модель - вся информация, необходимая для решения прикладных задач, рассматривается как совокупность фактов и утверждений, которые представляются как формулы в некоторой логике.
Предикат — спец. Знак отражающий определенные отношения между конечным множеством сущностей(аргументов). В предикатах 1го порядка аргументами являются два состояния истинное или ложное.
Пример:
Когда температура в печи достигает 120 СО и прошло менее 30 минут с момента включения печи, то давление не может превышать критического. Если с момента включения прошло более 30 минут то необходимо открыть вентиль 2
Декларативные знания;
Р(р=120)^T(t<30) —> (D<DKp) — утверждение что давление ниже критического
процедурные знания;
P(p=120) конъюнкция T(T>30) => F(№2) — команда открыть вентиль 2
Первая попытка формализовать знания, используется редко потому что:
- громоздкость записи
- отсутствие наглядности и однозначности
- легко допустить ошибку
