50. Основные модели представлений знаний

Существуют два типа методов представления знаний (ПЗ): 1) Формальные модели ПЗ; 2) Неформальные (семантические, реляционные) модели ПЗ. Очевидно, все методы представления знаний, которые рассмотрены выше, включая продукции (это система правил, на которых основана продукционная модель представления знаний), относятся к неформальным моделям. В отличие от формальных моделей, в основе которых лежит строгая математическая теория, неформальные модели такой теории не придерживаются. Каждая неформальная модель годится только для конкретной предметной области и поэтому не обладает универсальностью, которая присуща моделям формальным. Логический вывод - основная операция в СИИ - в формальных системах строг и корректен, поскольку подчинен жестким аксиоматическим правилам. Вывод в неформальных системах во многом определяется самим исследователем, который и отвечает за его корректность.

56) Объектно-ориентированная модель знаний Под термином предметная область понимается часть реального мира, которая описывается или моделируется с помощью баз данных. Это может быть целиком институт, некоторая его часть, факультет, кафедра и т.д. и т.п.. ПО состоит из информационных объектов, совокупность которых образует объектное ядро. Информационный объект – идентифицируемый объект реального мира, некоторое понятие или процесс, относящиеся к предметной области, о которой хранятся описательные данные. В роли информационных объектов могут выступать люди, машины, книги и т.д. Объект не обязательно имеет материальную природу, хотя можно часто встретить утверждения о том, что быть объектом – значит быть дискретным (в качестве “не объектов”, видимо, предполагают – время, мысли, смысл, пространство и т.п.), хотя существуют информационные среды, в которых хранятся сведения об этих категориях. Сам термин объект является первичным, неопределяемым понятием. При структурировании знаний важно понимать природу объектов. Когда один объект или группа из нескольких объектов представляются другими объектами, которые концептуально от них отличаются, все эти объекты в совокупности, как правило, образуют иерархическую структуру. В реальном мире сложные объекты почти без исключения реализуются в виде конструкций, за элементы которой принимаются более простые объекты. Следовательно, понятие иерархии является неотъемлемым для представления структурных отношений в объектах. Во многих случаях это понятие является многоуровневым в том смысле, что по существу структурные элементы объекта сами по себе представляют конструкции, состоящие из более простых сущностей. Внутри компьютера такое понятие иерархии описывается иерархической структурой данных. Объекты, находящиеся в иерархических отношениях внутри реального мира, поставлены в соответствие структуре данных. Исходя из этого, сначала задается систематика в структуре данных. Крайне важно сохранение семантики, а система обработки знаний должна обладать возможностями управления этими семантическими отношениями. ПО может быть описана множеством объектов и связей между ними. Каждый объект обладает набором определенных свойств, и для него могут быть указаны значения этих свойств. Естественно, реальный объект не сводится к простой совокупности свойств, определяемых системой. Однако, чтобы опознать объект, выделить его из предметной области, а затем представить в виде данных, достаточно значений фиксированных свойств. Если в описании объекта зафиксировать набор свойств и менять значения этих свойств, выбирая их из некоторого множества, допустимого семантикой данной предметной области, то получится множество объектов. Объекты этого множества объектов будут сходными между собой, потому что будут описываться одним и только одним набором свойств. В то же время каждый объект будет отличаться от другого значением одного или нескольких из свойств набора. Подобная статическая структура объектов является унифицированной, относительн

о конкретного множества объектов. Единица такого множества представляет объект внешнего мира только определенным набором свойств. В действительности же объект может обладать специфическими свойствами, отличными от возможных специфических свойств других объектов, если такие существуют. И было бы естественно эти свойства также отображать в динамической таблице информационной системы. В результате мы получим множество объектов, определяемых множеством известных свойств, и при этом будем иметь дополнительные свойства, присущие конкретному объекту. Связь между какими-то объектами можно понимать как высказывание, подстановка названий объектов в которое делает его истинным. Иными словами, связь – это область истинности предиката или, что тоже самое, отношение между объектами. Объекты могут быть атомарными (простыми) и молекулярными (сложными). Атомарными называются объекты, которые для данной предметной области считаются бесструктурными. Атомарные объекты представляются совокупностью характеризующих их свойств. Внутренняя структура атомарного объекта не раскрывается. Молекулярные объекты имеют определенный состав и структуру. Исходя их сказанного ясно, что методология структурирования баз знаний может иметь объектную направленность, связанную с выделением объектов. Практика показала, что другие методологии не смогли себя проявить, множественность средств и терминов в них объясняется тем, что каждая ПО вводит собственные обозначения для лучшего отражения своей специфики. И поскольку инженерия знаний имеет дело с широким классом ПО, встает задача разработки достаточно универсального языка структурирования знаний. Сейчас объектно-ориентированный (ОО) подход при проектировании баз знаний слабо развит. Свои корни он берет от объектно-ориентированного программирования (ООП), основанного на понятиях объекта, класса, наследования, инкапсуляции и полиморфизма. Развитие ООП привело к разработке первых объектно-ориентированных СУБД (ООСУБД), которые позволяют обрабатывать сложные объекты, проектировать системы высокой степени сложности, содержат наследование и другие свойства