82 несколько решений. Поэтому дадим ещё более общее определение для правила вывода в МПЗ : d и ...,Uj\d Е и R ((ux, u3), (u3, и4), (и2, Щ)> > uj+k)), R R nS (u4Ui ...,Uj+k)S^ U => 3S(/u4/Uj ...,Uj+k) wwiS = F(d,R) To есть, имеется определённый набор исходных данных d = (ultU2 Rпо решаемой задаче, имеется совокупность отношении R, устанавливающие взаимосвязь между элементами из d Е U и заключениями S=(u1ui, ...,ui+kj, то имеет место заключения Sc U ,и содержащиеся в БЗ АСПЭС по некоторой предметной области. Если правило более общего вида выполнимо, то можно говорить о полноте исходных данных d переданных пользователем в ЭС и БЗ Р. Заметим, что для отношения Я с и справедливы следующие свойства отношений: антисимметричности #(Ui,Uy); транзитивности (up u7), (Ui,uk) > {щ,икУ, рефлексивности иI Определение МПЗ в форме реализации M(d). До настоящего момента определения, характеризующие МПЗ АСПЭС больше, носили формальный вид: выражались на языке алгебры логики и теории множеств. Данная форма удобна для отображения отношений и операций, выполняемых над проектируемыми МПЗ A/d), но она не отражают семантической нагрузки возложенной на используемые компоненты МВОПЗ. С целью устранения данного недостатка определим компоненты МВОПЗ предметной области D в форме A/d), с помощью которых выражаются предметные знания D: =( К, к, р, V, Я), представляет собой совокупность сведений в виде концептов и их взаимосвязей, описывающих предметную область D, структурированную согласно правилам представления знаний МВОПЗ (п. 2.3). |
АСПЭС по некоторой предметной области. Если правило более общего вида выполнимо, то можно говорить о полноте исходных данных d переданных пользователем в ЭС и БЗ Р. Заметим, что для отношения R с U справедливы следующие свойства отношении: 1. антисимметричности (щ, Uj) ^(uj, Uj); 2. транзитивности ((uj, Uj), (uj, uk)) ->(щ, uk); 3. рефлексивности (Uj,Uj)->Ui. Определение МПЗ в форме реализации M(D). До настоящего момента определения, характеризующие МПЗ АСПЭС больше, носили формальный вид: выражались на языке алгебры логики и теории множеств. Данная форма удобна для отображения отношений и операций, выполняемых над проектируемыми МПЗ M(D), но она не отражают семантической нагрузки возложенной на используемые компоненты МВОПЗ. С целью устранения данного недостатка определим компоненты МВОПЗ предметной области D в форме M(D), с помощью которых выражаются предметные знания D: МВОПЗ=(М(О), К, k, р, V, R), (2.15) M(D) представляет собой совокупность сведений в виде концептов и их взаимосвязей, описывающих предметную область D, структурированную согласно правилам представления знаний МВОПЗ (п. 2.3). К Класс совокупность концептов ki,k2,...,kn которые имеют общие для них свойства. Он представляет собой шаблон при инициализации его концептов. к Концепт (атомарная информационная единица) структурный (условно неделимый) информационный элемент M(D), в котором хранятся сведения об объекте, событии или явлении, относящиеся к предметной области D. 57 |