Инженерия знаний с применением логики первого порядка |
В предыдущем разделе иллюстрировалось использование логики первого порядка для представления знаний в трех простых проблемных областях. В этом разделе рассматривается общий процесс конструирования базы знаний, называемый инженерией знаний. Инженером по знаниям называется специалист, который исследует конкретную проблемную область, определяет, какие понятия важны в этой проблемной области, и создает формальное представление объектов и отношений в этой проблемной области. В данном разделе процесс инженерии знаний будет проиллюстрирован на проблемной области проектирования электронных схем, которая должна быть уже довольно знакомой читателю, поэтому мы можем сосредоточиться на самих относящихся к этой теме проблемах представления знаний. Применяемый в этом разделе подход является приемлемым для разработки баз знаний специального назначения, проблемная область которых тщательно очерчена и спектр запросов известен заранее. Базы знаний общего назначения, которые предназначены для поддержки запросов, касающихся полного спектра человеческих знаний, обсуждаются в главе 10.
|