Главная arrow книги arrow Копия Глава 8. Логика первого порядка arrow Процесс инженерии знаний
Процесс инженерии знаний

4.    Регистрация общих знаний о проблемной области. Инженер по знаниям записывает аксиомы для всех терминов словаря. Тем самым он закрепляет (в возможной степени) смысл этих терминов, позволяя эксперту проверить их содержание. На этом этапе часто обнаруживаются неправильные трактовки или пропуски в словаре, который необходимо исправить, возвратившись на этап 3 и снова пройдя данную итерацию в текущем процессе проектирования.

5.    Составление описания данного конкретного экземпляра задачи. Если онтология хорошо продумана, этот этап будет несложным. Он сводится к написанию простых атомарных высказываний об экземплярах понятий, которые уже являются частью онтологии. Для логического агента определения экземпляров задачи поставляются датчиками, а сама "бестелесная" база знаний снабжается дополнительными высказываниями таким же образом, как традиционные программы снабжаются входными данными.

6.    Передача запросов процедуре логического вывода и получение ответов. Именно здесь нас ожидает награда: теперь мы можем применить процедуру логического вывода к аксиомам и фактам о конкретной задаче для получения фактов, которые нам хочется узнать.