ЛОГИЧЕСКАЯ МОДЕЛЬ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ

ЛОГИЧЕСКАЯ МОДЕЛЬ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ

Логическая модель представляет собой формальную систему некоторое логическое исчисление. Все знания о предметной области описываются в виде формул этого исчисления или правил вывода.

Описание в виде формул дает возможность представить декларативные знания, а правила вывода - процедурные знания. Рассмотрим в качестве примера знание: <Когда температура в печи достигает 120 градусов и прошло менее 30 мин с момента включения печи, давление не может превосходить критическое. Если с момента включения печи прошло более 30 мин, то необходимо открыть вентиль №2>.

Языки представлений знаний логического типа широко использовались на ранних стадиях развития интеллектуальных систем, но были вытеснены (или во всяком случае сильно потеснены) языками других типов.