2. данные и знания. Представление знаний в интеллектуальных системах в рамках направления «Представление знаний»

Здесь множество T — это множество базовых элементов различной природы (например, слов из некоторого ограни­ченного словаря, деталей детского конструктора, входящих в состав некоторого набора, и т. д.). Важно, что для множест­ва T существует некоторый способ определения принадлеж­ности или непринадлежности произвольного элемента к этому множеству. Процедура такой проверки может быть любой, но за конечное число шагов она должна давать по­ложительный или отрицательный ответ на вопрос: являет­ся ли x элементом множества T? Обозначим эту процедуру как П(Т).
Множество P есть множество синтаксических правил. С их помощью из элементов T образуют синтаксически пра­вильные совокупности. Например, из слов ограниченного словаря строятся синтаксически правильные фразы, из де­талей детского конструктора с помощью гаек и болтов соби­раются новые конструкции и т. д. Декларируется также су­ществование процедуры П(Г), с помощью которой за конеч­ное число шагов можно получить ответ на вопрос: является ли совокупность X синтаксически правильной?
В множестве синтаксически правильных совокупностей выделяется некоторое подмножество A, элементы которого называются аксиомами. Как и для других составляющих формальной системы, должна также существовать процедура П(Л), с помощью которой для любой синтаксически правиль­ной совокупности можно получить ответ на вопрос о принад­лежности ее к множеству A.
Наконец, множество B — это множество правил вывода. Применяя их к элементам A, можно получать новые синтак­сически правильные совокупности, к которым снова можно применять правила из B, и т. д. Так формируется множест­во выводимых в данной формальной системе совокупнос­тей. Если имеется процедура П^), с помощью которой можно определить для любой синтаксически правильной совокупности, является ли она выводимой, то соответству­ющая формальная система называется разрешимой. Это показывает, что именно правило вывода является наибо­лее сложной составляющей формальной системы.
Для знаний, входящих в базу знаний, можно считать, что множество A образуют все информационные единицы, кото­рые введены в базу знаний извне, а с помощью правил выво­да из них выводятся новые производные знания. Другими словами, формальная система представляет собой генератор порождения новых знаний, образующих множество выводи­мых в данной системе знаний. Это свойство логических моделей делает их привлекательными для использования в базах знаний, оно позволяет хранить в базе лишь зна­ния, которые образуют множество A, а все остальные зна­ния получать из них по правилам вывода.

жүктеу/скачать 116,17 Kb.

Достарыңызбен бөлісу: