40. Прод. М, База фактов, правил. Работа машины вывода.

Модели представл знаний: 1.продукционн 2 семантич сети 3 фреймовая структ 4 форм. логич модели.Продукционн – продукц инфо явно выделена и описыв иными ср-вами, чем декларат инфо. В таких моделях осуществ вывод на знаниях. Модель позволяет представлять знания в виде предложений типа:Если (условие), то (действие). Записываются в виде: ЕСЛИ А1,А2,…,Аn ТО В.

В кач-ве условий: любая сов-сть суждений, объедин логич связями типа и/или.Условие=посылка.Дейст=вывод, закл. Условия А1, А2,…, Аn обычно называют фактами.

Описание предм обл строится на предпол об устр-ве предм обл: 1. ПО может быть описана в виде мн-ва фактов и правил; 2. правила описывают прич-следтв связи м\у фактами; 3. могут отражать след типы отнош-й: сит-действ, посылка-заключ, причина-следств. В продукционных системах используются 2 основн.способа реализации механизма вывода: прям. вывод, (от данных); обрат вывод (от цели).В 1-м случае идут от извест. данных и на каждом шаге вывода к этим фактам прим-ют все возм. правила, кот.порождают нов.факты, и так пока не будет порожден факт-цель. Во2ом случае вывод идет в обр направлении – от поставленной цели. Если цель согласуется с заключением правила, то посылку правила приним-т за подцель или гипотезу, и этот процесс повт-ся пока не будет получено совпадение подцели с известными фактами. «+»: 1. возм-сть построения на их основе информ систем модульной структуры 2 простота модификации 3 простота восприятия чел-ком 4 спос-сть к самообъясн-ю.«-»: 1. трудность сосставл продукц правил 2.руд-ть записи из-за констр типа ЕСЛИ, ТО.

42. Фреймы

Фрейм–абстрактный образ для представления некоего стереотипа восприятия. Фреймы представляют собой сложные структуры данных, описывающих какую-либо типичную ситуацию, например экзамен, лекция... Фреймом также называется и формализованная модель для отображения образа.Модель фрейма является достаточно универсальной, поскольку позволяет отобразить все многообразие знаний, используя:

фреймы-структуры, использующиеся для обозначения объектов и понятий (заем, залог, вексель);фреймы-роли (менеджер, кассир, клиент);фреймы-сценарии(собрание акционеров, празд-ние именин) и др. Различают фреймы-образцы (прототипы), хранящиеся в базе знаний, и фреймы-экземпляры, которые создаются для отображения реальных ситуаций на основе поступающих данных. Фреймовая модель- фиксируется жесткая структура информац.единиц, назыв.протофреймом. В общ.виде она выглядит:

(Имя фрейма:

Имя слота1(Значение слота 1)

Имя слота2(Значение слота 2)

Значением слота м.б. практ.что угодно (числа или мат. соотношения,правила вывода или ссылки на друг.слоты дан. фрейма или др. фреймов). В кач-ве знач-я слота может выступать набор слотов более низк. уровня, что позв-т во фрейм. представлениях реализ-ть "принцип матрешки". При конкретизации фрейма ему и слотам присва-тся конкр имена и происходит заполнение слотов. Таким образом из протофреймов получаются фреймы - экземпляры. Переход от исходного протофрейма к фрейму - экземпляру может быть многошаговым, за счет постепенного уточнения значений слотов. Связи между фреймами задаются знач-ями спец.слота с именем "Связь".