Поделиться
Л2-002777.docx
ЛОГИЧЕСКАЯ МОДЕЛЬ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ
Логическая модель представляет собой формальную систему некоторое логическое исчисление. Все знания о предметной области описываются в виде формул этого исчисления или правил вывода.
Описание в виде формул дает возможность представить декларативные знания, а правила вывода - процедурные знания. Рассмотрим в качестве примера знание: <Когда температура в печи достигает 120 градусов и прошло менее 30 мин с момента включения печи, давление не может превосходить критическое. Если с момента включения печи прошло более 30 мин, то необходимо открыть вентиль №2>.
Языки представлений знаний логического типа широко использовались на ранних стадиях развития интеллектуальных систем, но были вытеснены (или во всяком случае сильно потеснены) языками других типов.
Материалы на данной страницы взяты из открытых источников либо размещены пользователем в соответствии с договором-офертой сайта. Вы можете сообщить о нарушении.
