Модели представл знаний: 1.продукционн 2 семантич сети 3 фреймовая структ 4) формальные логич модели. Продукционные модели – продукционная инфор явно выделена и описыв иными ср-вами, чем декларативные. В таких моделях осуществ вывод на знаниях. Модель позволяет представлять знания в виде предложений типа: Если (условие), то (действие). Записываются в виде: ЕСЛИ А1,А2,…,Аn ТО В.
В кач-ве условий: любая сов-сть суждений, объедин логич связями типа и/или.Условие=посылка.Дейст=вывод, закл. Условия А1, А2,…, Аn обычно называют фактами.
Описание предм обл строится на предпол об устр-ве предм обл: 1. ПО может быть описана в виде мн-ва фактов и правил; 2. правила описывают прич-следтв связи между фактами; 3. могут отражать след типы отнош-й: ситуация-действия, посылка-заключ, причина-следств. В продукционных системах используются 2 основн.способа реализации механизма вывода: прям. вывод, (от данных); обрат вывод (от цели). В 1-м случае идут от извест. данных и на каждом шаге вывода к этим фактам прим-ют все возм. правила, кот.порождают нов.факты, и так пока не будет порожден факт-цель. Во2ом случае вывод идет в обр направлении – от поставленной цели. Если цель согласуется с заключением правила, то посылку правила приним-т за подцель или гипотезу, и этот процесс повт-ся пока не будет получено совпадение подцели с известными фактами. «+»: 1. возм-сть построения на их основе информ систем модульной структуры 2 простота модификации 3 простота восприятия чел-ком 4 спос-сть к самообъясн-ю. «-»: 1. трудность сосставл продукц правил 2.труд-ть записи из-за констр типа ЕСЛИ, ТО.
41. Семантические сети. Виды отн. Пример:
Семантика -это наука, устанавл отношение между символами и объектами,кот они обозначают,т.е. наука,определяющая смысл знаков.
Сетевая модель - в основе конструкция, назыв семант сетью. Сеть модели формально можно задать в виде: H=<I, C1, C2….Cn, G> I – мн-во информац единиц C1….Cn – сно-во связей м\у единицами G – задает отношения м\у информ единицами и связями.
Виды отношений: Отношения между объектом и множеством, обознач что объект принадлежит множеству – отношения классификации (ISA); - отношения между надмножеством и подмножеством – АКО (разновидность); - отношения части/целые - has part
По типам отношений: 1)бинарные, в кот отн связывают два объекта; 2) N-арные, связывающие более двух понятий. По кол-ву типов отн: однородные (с единств типом отношений) и неоднородные (с разл типами отн) семант сети. «+» Данная модель лучше других соответсвует соврем представлениям об орг-ции долговременной памяти чел. «-» сложность орг-ции процедуры поиска вывода на семент сети. В семантических сетях часто используются также следующие отношения: функциональные связи (определяемые обычно глаголами «производит», «влияет»…); количественные (больше меньше, равно…); пространственные (далеко от, близко от, за, под, над…); временные (раньше, позже, в течение…); атрибутивные (иметь свойство, иметь значение); логические (И, ИЛИ, НЕ); лингвистические… Пример сем.сети:
Фреймоовы
Фрейм –абстрактный образ для представления некоего стереотипа восприятия. Фреймы представляют собой сложные структуры данных, описывающих какую-либо типичную ситуацию, например экзамен, лекция... Фреймом также назыв и формализованная модель для отображения образа.Модель фрейма является достаточно универсальной, поскольку позволяет отобразить все многообразие знаний, используя:
фреймы-структуры, использующиеся для обозначения объектов и понятий (заем, залог, вексель); фреймы-роли (менеджер, кассир, клиент); фреймы-сценарии (собрание акционеров, празд-ние именин) и др.
Различают фреймы-образцы (прототипы), хранящиеся в базе знаний, и фреймы-экземпляры, которые создаются для отображения реальных ситуаций на основе поступающих данных. Фреймовая модель - фиксируется жесткая структура информац.единиц, назыв.протофреймом. В общ.виде она выглядит:
(Имя фрейма:
Имя слота1(Значение слота 1)
Имя слота2(Значение слота 2)
Значением слота может быть практ.что угодно (числа или мат. соотношения,правила вывода или ссылки на друг.слоты дан. фрейма или др. фреймов). В кач-ве знач-я слота может выступать набор слотов более низк. уровня, что позв-т во фрейм. представлениях реализ-ть "принцип матрешки". При конкретизации фрейма ему и слотам присва-тся конкр имена и происходит заполнение слотов. Таким образом из протофреймов получаются фреймы - экземпляры. Переход от исходного протофрейма к фрейму - экземпляру может быть многошаговым, за счет постепенного уточнения значений слотов. Связи между фреймами задаются знач-ями спец.слота с именем "Связь". Специальные языки для представления знаний в сетях фреймов FRL и др. позвол эффективно строить промышленные ЭС (экспертные системы)