Рекомендовано:
Робот - мойщик окон

Это, на самом деле, крутая штука
ЗДЕСЬ


Глава 3. ПРЕДСТАВЛЕНИЕ ЗНАНИЙ И ВЫВОД РЕШЕНИЙ В ИИС. 3.1. Модели представления знаний



В [18] все модели представления знаний делятся на два типа – формальные логические и эвристические модели. Соответственно определяется логический и эвристический метод рассуждений в СОЗ.

Логические модели базируются на той или иной формальной системе (теории) . Наиболее известной является модель представления знаний на основе логики предикатов (исчисление предикатов первого порядка).

Одним из известных воплощений логической модели стал язык программирования Пролог (PROLOG), который как раз и создавался как язык логического программирования для интеллектуальных систем. Распространенные интерпретаторы языка Пролог можно рассматривать как аналог «пустой» ЭС, куда можно в рамках заданной модели знаний, по правилам, предлагаемым системой, заложить знания о фактах предметной области и отношениях между ними, т.е. создать свою базу знаний. Полученная в результате программа может с помощью БЗ выводить суждения об истинности или ложности некоторых гипотез. Так, если в БЗ есть записанное на формальном языке утверждение «Все студенты получат на экзамене по дисциплине «Проектирование информационных систем» оценку отлично», то эта БЗ может использоваться для проверки гипотезы о том, что «мой друг Василий Пупкин сдаст завтрашний экзамен». Для этого пользователь должен будет лишь сообщить системе, что В.Пупкин является студентом, а завтрашний экзамен есть экзамен по дисциплине «Проектирование информационных систем».

Подробнее об исчислении  предикатов можно прочитать в [1, 2, 11, 18], о языке Пролог и некоторых других реализациях логической модели в [11].

По-видимому, большее распространение в практике создания ИИС получили эвристические модели представления знаний. К их числу относятся:

- продукционная модель (правила продукций);

- сетевые модели и, в частности, семантические сети;

- фреймы и объектно-ориентированные модели знаний;

- ситуационная модель

и др.

В зависимости о того, какие знания представляются в моделях – декларативные или процедурные – различают декларативные, процедурные и смешанные модели знаний. В декларативных моделях знания о фактах и отношениях между ними отделены от процедур вывода над ними.  В процедурных – наоборот, представляются знания об операциях, действиях с фактами.

Так, логическая или продукционная модели основаны на представлении фактов и отношениях между ними. Эти модели являются, по сути, декларативными. Чисто процедурные модели, где знания представлены в виде  описания действий, процедур, в том числе вычислительных процедур, по-видимому, при создании БЗ не применяются. Больше распространены модели смешанного типа.  Так, объектно-ориентированная модель, как правило,  соединяет в себе декларативные и процедурные знания о некоторых объектах предметной области, их состояниях, особенностях поведения.

Рассмотрим более подробно основные модели представления знании.

Читать дальше:

3.2 Продукционная модель (правила продукций). ч.1





Похожие статьи:

Резюме к 2 главе
11 июля 2012,
1. Знания (в компьютерной системе) – закодированные некото-рым образом сведения об объектах предметной области, их взаи-мосвязях и особенностях поведения, а также о способах решения задач. Эт ... Читать полностью

Резюме к 3 главе
26 июня 2012,
1. Модели представления знаний делятся на два типа – фор-мальные логические и эвристические модели. Соответственно определяется логический и эвристический метод рассуждений в СОЗ. Логически ... Читать полностью

3.6 Рейтинговая модель
26 июня 2012,
Идея этой модели представления знаний и вывода решений базируется так же на идее диалога с пользователем, когда пользователю задаются вопросы и, возможно, предлагаются варианты ответов. Т ... Читать полностью

Глава 4. ПРИОБРЕТЕНИЕ ЗНАНИЙ В ИИС. ТЕХНОЛОГИИ МАШИННОГО ОБУЧЕНИЯ. 4.1 Стратегии получения знаний в ИИС
25 июня 2012,
До сих пор мы говорили о представлении знаний с помощью специальных моделей, позволяющих так организовать знания в базе знаний ИИС, что они выступают в качестве инструмента вывода искомого решения. ... Читать полностью

2.4 СИСТЕМЫ, ОСНОВАННЫЕ НА ЗНАНИЯХ
11 июля 2012,
Естественно, если создание ЭС происходит не с помощью оболочки ЭС,  потребуется привлечение и иных специалистов - собственно разработчиков программного обеспечения ЭС. Как уже было отм ... Читать полностью