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

Логическая модель представляет собой формальную систему некоторое логическое исчисление. Все знания о предметной области описываются в виде формул этого исчисления или правил вывода. Описание в виде формул дает возможность представить декларативные знания, а правила вывода — процедурные знания. Рассмотрим в качестве примера знание: «Когда температура в печи достигает 120 градусов и прошло менее 30 мин с момента включения печи, давле­ние не может превосходить критическое. Если с момента включения печи прошло более 30 мин, то необходимо открыть вентиль №2». Логическая модель представления этого знания имеет вид

P(p=120) T(t<30)-> (D<dicp); t(t=»» Р(р=»120)»>30) => F(№2).</dicp);>

В этой записи использованы следующие обозначения:

Р(р=120) — предикат, становящийся истинным, когда температу­ра достигает 120 градусов,

T(t<30) — предикат, остающийся истинным в течение 30 мин с начала процесса;

T(t>30) — предикат, становящийся истинным по истечении 30 мин с начала процесса;

(d<dkp)—УТВЕРЖДЕНИЕ p=»» критического;<=»» ниже=»» давление=»» что=»» том,=»» о=»»> F(№2) — команда открыть вентиль №2.</dkp)—УТВЕРЖДЕНИЕ>

Кроме того, в этих записях использованы типовые логические связ­ки конъюнкции (у), импликации О) и логического следования (=>).

Первая строчка в записи представляет декларативные знания, а вторая— процедурные.

Языки представлений знаний логического типа широко использо­вались на ранних стадиях развития интеллектуальных систем, но вскоре были вытеснены (или во всяком случае сильно потеснены) языками других типов. Объясняется это громоздкостью записей, опи­рающихся на классические логические исчисления. При формирова­нии таких записей легко допустить ошибки, а поиск их очень сложен. Отсутствие наглядности, удобочитаемости (особенно для тех, чья деятельность не связана с точными науками) затрудняло распростра­нение языков такого типа.