Вывод на знаниях. Машина вывода.
Машина вывода — программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики.
Факт в данном случае — утверждение, являющееся постоянно истинным, например: «Адам является человеком».
Правило в данном случае — параметризованное утверждение, состоящее из двух частей: условия и результата, например: «Если X является потомком человека, то X является человеком». В данном примере правило определяет условие «X является потомком человека». Если для значения параметра X это условие истинно, то правило превращается в факт «X является человеком».
Для построения базы фактов и правил применяются формальные языки, обычно напоминающие естественный язык, но гораздо более строгие и ограниченные.
Машина вывода обычно может выполнять одну или обе из следующих операций:
Проверка истинности некоторого факта — истинным считается факт, если он может быть выведен по законам формальной логики из имеющейся базы фактов и правил.
Нахождение множества значений параметра некоторого правила, при котором данное правило превращается в истинный факт.
Механизм вывода
Механизм вывода — это обобщенная процедура поиска решения задачи, которая на основе базы знаний и в соответствии с информационной потребностью пользователя строит цепочку рассуждений (логически связанных единиц знаний), приводящую к конкретному результату.
Стратегии управления выводом.Прямой и обратный вывод.
Стратегия управления выводом в ЭС. При реализации стратегии управлениявыводом в ЭС необходимо решить два вопроса : 1) какую точку в пространстве состояний принять в качестве исходной (от выбора этой точки зависит и метод осуществления поиска (прямой или обратный)); 2) какими методами можно повысить эффективность поиска решения? (Эти методы определяются выбранной стратегией перебора – в глубину, в ширину, по подзадачам или как-то иначе).
Прямой и обратный вывод. В системах с прямым выводом по известным фактам отыскивается заключение, которое следует из этих фактов (рис. 2.7). Если такое заключение удается найти, то оно заносится в рабочую память. В системах с обратным выводом по известному заключению находятся те факты, которые приводят к данному заключению (рис. 2.8). Эти факты затем и записываются в рабочую память.
Рис. 2.8. Стратегия обратного вывода: а – поиск в глубину; б - поиск в ширину
В случае применения объектно-ориентированной парадигмы в стратегиях выводаБЗ ЭС характерно наследование атрибутов, когда значение их передается по иерархии от вышестоящих классов к нижестоящим. В остальном процесс вывода повторяет описанные ранее стратегии.
Определение понятия онтологии. Классификация онтологии Понятие и классификация онтологий
Актуальность задачи совершенствования информационного поиска в эталонном банке данных правовой информации Республики Беларусь (далее – ЭБДПИ) обусловлена как неуклонно возрастающими ролью и объемами использования электронных информационно-правовых ресурсов во всех сферах нормотворческой и правоприменительной деятельности, которые являются одними из важнейших составляющих государственного управления в целом, так и возрастанием правовой культуры населения страны и процессами формирования правового государства и информационного общества. Недостаток лингвистических и онтологических знаний (знаний о мире), используемых в приложениях информационного поиска, служит причиной разнообразных проблем. Нехватка знаний приводит к нерелевантному поиску в тех случаях, если способы формулировки запросов отличаются от способов описания релевантных ситуаций в документах. Для целей данной статьи наиболее применимо определение онтологии из работы [1]. Онтология – это иерархически структурированное множество терминов, описывающих предметную область, которая может быть использована как исходная структура для базы знаний. Рассмотрим некоторые из типов онтологии в порядке от менее формализованных ресурсов к более формализованным [2]. Словарь с определениями, глоссарий, может рассматриваться как онтология с пустым множеством отношений. Рубрикаторы представляют собой иерархически организованные онтологии. При этом отношения между рубриками не сводятся к одному и тому же типу отношений, смысл отношений между разными рубриками может различаться. Информационно-поисковые тезаурусы также рассматриваются как онтологические ресурсы. Они имеют обычно таксономические отношения, а также ряд дополнительных отношений. Часто в тезаурусах происходит совмещение под одним именем отношения выше–ниже разного рода отношений, то есть отношения устанавливаются не всегда формальным образом. Тезаурусы типа WordNet, особенно классификация существительных, также рассматриваются как ресурсы онтологического типа. Можно выделить следующие отличительные особенности тезаурусов как вида онтологических ресурсов: единицы тезаурусов имеют тесную связь с естественным языком, обычно снабжаются вариантами их выражения на естественном языке;
тезаурусы обычно не имеют внутренней структуры понятий. Знания о мире, предметной области представлены в виде отношений между понятиями;
аксиомы (правила вывода) сводятся к свойствам транзитивности и наследования.