12986

Представление знаний в интеллектуальных системах. Продукционные системы

Лекция

Информатика, кибернетика и программирование

Лекция 5: Представление знаний в интеллектуальных системах часть 2 Продукционные системы Компоненты продукционных систем Стратегии решений организации поиска Логический подход Представление простых фактов в логических системах Примеры применени

Русский

2013-05-07

27.86 KB

5 чел.

Лекция 5: Представление знаний в интеллектуальных системах (часть 2) 

Продукционные системы 

Компоненты продукционных систем 

Стратегии решений организации поиска 

 

Логический подход

Представление простых фактов в логических системах 

Примеры применения логики для представления знаний 

Литература 

Продукционные системы

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

Компоненты продукционных систем

В общем виде под продукцией понимается выражение следующего вида: (i); Q;P;AB;N.

Здесь i - имя продукции, с помощью которого данная продукция выделяется из всего множества продукций. В качестве имени может выступать некоторая лексема, отражающая суть данной продукции (например, "покупка книги " ), или порядковый номер продукций в их множестве, хранящимся в памяти системы.

Элемент Q характеризует сферу применения продукции. Такие сферы легко выделяются в когнитивных структурах человека. Наши знания как бы "разложены по полочкам". На одной полочке хранятся знания о том, как надо готовить пищу, на другой как добраться до работы, и т.п. Разделение знаний на отдельные сферы позволяет экономить время на поиск нужных знаний. Такое же разделение на сферы в базе знаний ИИ целесообразно и при использовании для представления знаний продукционных моделей.

Основным элементом продукции является ее ядро: A B. Интерпретация ядра продукции может быть различной и зависит от того, что стоит слева и справа от знака секвенции . Обычное прочтение ядра продукции выглядит так: ЕСЛИ А, ТО В, более сложные конструкции ядра допускают в правой части альтернативный выбор, например , ЕСЛИ А, ТО В1, ИНАЧЕ В2. Секвенция может истолковываться в обычном логическом смысле как знак логического следования В из истинного А (если А не является истинным выражением, то о В ничего сказать нельзя). Возможны и другие интерпретации ядра продукции, например А описывает некоторое условие, необходимое для того, чтобы можно было совершить действие В.

Элемент Р есть условие применимости ядра продукции. Обычно Р представляет собой логическое выражение  (как правило предикат). Когда Р принимает значение "истина", ядро продукции активизируется. Если Р "ложно", то ядро продукции не может быть использовано.

Элемент N описывает постусловия продукции. Они актуализируются только в том случае, если ядро продукции реализовалось. Постусловия продкции описывают действия и процедуры, которые необходимо выполнить после реализации В. Выполнение N может проиходить сразу после реализации ядра продукции.

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

Классификация ядер продукции.

Ядра продукции можно классифицировать по различным основаниям. Прежде всего все ядра делятся на два больших типа: детерминированные и недетерминированные. В детерминированных ядрах при актуализации ядра и при выполнимости А правая часть ядра выполняется обязательно; в недетерминированных ядрах В может выполняться и не выполняться. Таким образом, секвенция в детерминированных ядрах реализуется с необходимостью, а в недетерминированных - с возможностью. Интерпретация ядра в этом случае может, например, выглядеть так: ЕСЛИ А, ТО ВОЗМОЖНО В.

Возможность может определяться некоторыми оценками реализации ядра. Например, если задана вероятность выполнения В при актуализации А, то продукция может быть такой: ЕСЛИ А, ТО С ВЕРОЯТНОСТЬЮ р РЕАЛИЗОВАТЬ В. Оценка реализации ядра может быть лингвистической, связанной с понятием терм-множества лингвистической переменной, например: ЕСЛИ А, ТО С БОЛЬШЕЙ ДОЛЕЙ УВЕРЕННОСТИ В. Возможны иные способы реализации ядра.

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

Особым типом являются прогнозирующие продукции, в которых описываются последствия, ожидаемые при актуализации А, например: ЕСЛИ А, ТО С ВЕРОЯТНОСТЬЮ р МОЖНО ОЖИДАТЬ В.

Дальнейшую классификацию ядер продукции можно провести, опираясь на типовую схему СИИ (рис. 1) Если x и y обозначают любой из блоков рисунка (О,Д,З,Л), то ядро Аx By означает, что информация об А берется из блока x, а результат срабатывания продукции В посылает в блок y. Комбинации x и y, осмысленные с точки зрения СИИ, отмечены в табл.1 знаком "+"

 Т а б л и ц а 1

 

 

 

  Рис 1

Рассмотрим часто встречающийся тип продукции А3В3. В этом случае А3 и В3 представляют собой некоторые фрагменты информации, хранящейся в базе знаний. При сетевом представлении это могу быть фрагменты семантической сети, при логических моделях - формулы того или иного исчисления. Тогда смысл продукции А3В3 состоит в замене одного фрагмента базы знаний другим. Для актуализации этой продукции необходимо, чтобы в базе знаний существовал фрагмент, совпадающий с А. При поиске в базе знаний А играет роль образца, а процедура такого писка называется поиском по образцу.

 

Стратегии решений организации поиска

Для иллюстрации поиска предположим, что в базе знаний для представления знаний используется семантическая сеть (рис.2а) и продукция (рис.2б). Поиск А в базе знаний организуется различными способами. Можно, например, сначала искать вершину а. Если в базе знаний такой вершины нет, то поиск заканчивается неудачей. Если вершина а найдена, то ищутся все выходящие из нее дуги, помеченные отношением R3, так как в образце справа от этой дуги стоит вершина x, на месте которой в базе знаний может находиться любая вершина. Если из а не выходит ни одной дуги, помеченной отношением R3, то поиск заканчивается неудачей. Но если такие дуги есть, то происходит переход во все вершины, с которыми вершину а связывает отношение R3, т.е. возникает параллельный процесс поиска. В примере произойдет переход от вершины а к вершинам b и f, из которых начинается поиск выходящих из них дуг, помеченные отношением R1, ведущих в любую вершину, так как в образце далее стоит вершина, которой соответствует свободная переменная y. Далее процесс продолжается аналогичным образом. В примере поиск оказывается успешным. После нахождения А в семантической сети происходит замена, которая определяется правой частью образца. В результате возникает трансформированная сеть (рис. 2в).

Продукция АдВз может соответствовать процедуре нахождения закономерностей по эмпирическим данным. Логический блок на основании просмотра и анализа данных выдвигает гипотезы и наличии закономерностей и, убедившись в их приемлемости и достаточной обоснованности, записывает их в базу знаний. Аналогично можно интерпретировать и иные типы продукций из таблицы 1.

 

 

 

 

 

 

Представление простых фактов 

 Представление - это действие, делающее некоторое понятие воспринимаемым посредством фигуры, записи, языка или формализма. Теория знаний изучает связи между субъектом (изучающим) и объектом. Знание (в объективном смысле) - то, что известно (то, что знаем после изучения).

Представление знаний- формализация истинных убеждений посредством фигур, записей или языков. Нас особенно интересуют формализации, воспринимаемые (распознаваемые) ЭВМ. Возникает вопрос о представлении знаний в памяти ЭВМ, т.е. о создании языков и формализмов представления знаний. Они преобразуют наглядное представление (созданное посредством речи, изображением, естественным языком, вроде английского или немецкого, формальным языком, вроде алгебры или логики, рассуждениями и т.д.) в пригодное для ввода и обработки в ЭВМ. Результат формализации должен быть множеством инструкций, составляющих часть языка программирования.

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

- описание состояния человека

- описание ситуации в игре (например, расположение фигур в шахматах)

- описание размещения персонала предприятия

- описание пейзажа

Для характеристики некой области говорят об "области рассуждений" или "области экспертизы". Численная формализация таких описаний в общем мало эффективна. Напротив, использование символического языка, такого, как язык математической логики, позволяет формулировать описания в форме, одновременно близкой и к обычному языку, и к языку программирования. Впрочем, математическая логика позволяет рассуждать, базируясь на приобретенных знаниях: логические выводы действительно являются активными операциями получения новых знаний из усвоенных.

В силу всех этих причин математическая логика лежит в основе различных представлений в ИИ. Данный раздел посвящен представлению простых фактов с помощью логики предикатов. Логическое представление служит также отправной точкой для других представлений (таких как "сетевые" и "объективные"), используемых в ИИ.

Синтаксис логики предикатов.

Язык логики предикатов задается синтакисом. Для представления знаний базисные синтаксические категории языка изображаются такими символами, которые несут достаточно четкую информацию и дают довольно ясную картину об области рассуждений (экспертизы).

Логика предикатов, называемая также логикой первого порядка, допускает четыре типа выражений.

  1.  Константы. Они служат именами индивидуумов (в отличие от имен совокупностей): объектов, людей или событий. Константы представляются символами вроде Жак_2 (добавление 2 к слову Жак указывает на вполне определенного человека среди людей с таким именем), Книга_22, Посылка_8.
  2.  Переменные. Обозначают имена совокупностей, таких как человек, книга, посылка, событие. Символ Книга_22 представляет вполне определенный экземпляр, а символ книга указывает либо множество "всех книг", либо "понятие книги". Символами x,y,z представлены имена совокупностей (определенных множеств или понятий).
  3.  Предикатные имена. Они задают правила соединения констанат и переменных, например правила грамматики, процедуры, математические операции. Для предикативных имен используются символы наподобие следующих: Фраза, Посылать, Писать, Плюс, Разделить. Предикатное имя иначе называется предикатной константой.
  4.  Функциональные имена представляют такие же правила, как и предикаты. Чтобы не спутать с предикатными именами, функциональные имена пишут одними строчными буквами: фраза, посылать, писать, плюс, разделить. Их называют так же функциональными константами.

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

Представление должно исключать всякую двусмысленность языка. Поэтому имена индивидуумов содержат цифры, приписываемые к именам совокупностей. Жак_1 и Жак_2 представляют двух людей с одинаковыми именами. Эти представления суть конкретизации имени совокупности "Жак". Предикат - это предикатное имя вместе с подходящим числом термов. Предикат называют так же предикатной формой.

 

 

Примеры применения логики для представления знаний.

Проиллюстрируем синтаксис логики предикатов, сопоставляя нескольким русским фразам их перевод на язык логического формализма.

- По русски: Жак посылает книгу Мари,

Логически: Посылка (Жак_2, Мари_4, Книга_22).

-По русски: Каждый  человек прогуливается,

Логически: x ( Человек(x) Прогуливается(x)).

-По русски: Некоторые люди прогуливаются,

Логически: x (Человек(x) Прогуливается(x)).

 

(Сравнивая два последних примера, видим, что замена прилагательного "каждый" на "некоторые" влечет при переводе не только замену квантора на , но изамену связки на . Это иллюстрирует тот факт, что перевод фразы естественного языка на логический, вообще говоря, не является трафаретной операцией.)  

 

По русски: Ни один человек не прогуливается,

Логически: ( x (Человек(x) Прогуливается(x))).

 

 

 

Литература

[1] F. Hayes-Roth, N. Jacobstein. The State of Enowledge-Based Systems. Communications of the АСМ, March, 1994, v.37, n.3, рр.27-39.

[2] Р. Harmon. The Size of the Commercial AI Market in the US. Intelligent Software Strategies. 1994, v.10, n.1, рр. 1-6. 

[3] Expert system saves 20 million L on pipeline management. C&I July, 1994, р.31.

[4] Д. Поспелов . "Справочник по ИИ том-2". 


 

А также другие работы, которые могут Вас заинтересовать

34084. Разграничение государственной собственности на землю 27.5 KB
  Разграничение государственной собственности на землю. 214 ГК РФ государственная собственность имущество принадлежащее на праве собственности Российской Федерации федеральная собственность и имущество принадлежащее на праве собственности субъектам Российской Федерации собственностьсубъектов Российской Федерации. Таким образом субъектами права государственной собственности являются Российская Федерация республики края области города федерального значения автономная область автономные округа.Поскольку объектами любых прав...
34085. Понятие и общая характеристика приватизации земель в Российской Федерации 25 KB
  Приватизация земельных участков может осуществляться одновременно с приватизацией расположенных на нем объектов недвижимости на основании положений Земельного кодекса РФ ФЗ от 21 декабря 2001 г. 3 ФЗ О введении в действие Земельного кодекса Российской Федерации. Приватизация земельных участков может производиться путем продажи их на аукционе или конкурсе продажи посредством публичного предложения или без объявления цены путем внесения земельного участка в качестве вклада в уставный капитал открытого акционерного общества. Цена выкупа...
34086. Пожизненное наследуемое владение земельным участком 24.5 KB
  Право пожизненного наследуемого владения. предоставление земельных участков на праве пожизненного земельного владения не допускается. Основаниями возникновения права пожизненного наследуемого владения являются: принятие наследства в состав которого входит пожизненное наследуемое владение на земельный участок. договор куплипродажи или иная сделка об отчуждении здания строения сооружения расположенные на земельном участке принадлежавшем бывшему собственнику зданий строений сооружений на праве пожизненного наследуемого владения;...
34087. Постоянное (бессрочное) пользование земельным участком 27.5 KB
  Юридические лица могут быть разделены на 3 группы по отношению к этому праву: юридические лица которым и после введения в действие Земельного Кодекса предоставляются земельный участки на данном праве и которые могут использовать земельные участки на праве постоянного бессрочного пользования органы государственной власти органы местного самоуправления государственные и муниципальные учреждения казенные предприятия центры исторического наследия президентов России прекративших исполнение своих полномочий; юридические лица...
34088. Основания возникновения и изменения прав на земельные участки 59 KB
  По договору кули продажи одна сторона продавец обязуется пережать другой стороне покупателю земельный участок за плату. договор дарения: По договору дарения одна сторона даритель безвозмездно передает или обязуется передать земельный участок другой стороне одаряемому в собственность. договор ренты: По договору ренты одна сторона получатель ренты передаёт другой стороне плательщику ренты земельный участок в собственность а плательщик ренты обязуется периодически выплачивать ренту. Рента обременяет земельный участок поэтому...
34089. Основания прекращения прав на земельные участки 38.5 KB
  Основания добровольного прекращения: ликвидация юридического лица; смерть гражданина и отсутствие соответствующих наследников; отчуждение земельного участка другим лицам в порядке установленном гражданским законодательством; добровольный отказ от прав на земельный участок. Процедура различна для собственников и лиц не являющихся собственниками Собственник земельного участка может отказаться от своего права путем подачи заявления в орган осуществляющий государственную регистрацию прав на недвижимое имущество и сделок с ним....
34090. Сделки с земельными участками: понятие и виды сделок 53.5 KB
  Особенности оборота земельных участков находят отражение в содержании соответствующих сделок с землей. Так гражданскоправовой институт наследования имущества применяется и в земельном праве однако в целях предотвращения дробления наследуемого земельного участка между многими наследниками земельным законодательством могут быть установлены особые правила наследования земельных участков. Земельное законодательство предусматривает особенности совершения например сделок куплипродажи земельных участков обусловленные необходимостью обеспечения...
34091. Договор купли-продажи земельных участков 38 KB
  По договору куплипродажи земельного участка продавец обязуется передать в собственность покупателя земельный участок а покупатель обязуется принять земельный участок и уплатить за него определенную денежную сумму.Стороны договора не вправе изменять целевое назначение земельного участка являющегося предметом договора. Также не подлежат самовольному изменению такие условия использования земельного участка как охранные зоны и обременения участка. Продавец при заключении договора обязан предоставить покупателю имеющуюся у него информацию об...
34092. Залог земельных участков 37.5 KB
  Нормативной базой ипотеки является 3 главы 23 ГК РФ и ФЗ N 102ФЗ Об ипотеке залогенедвижимости от 16 июля 1998 г. далее Закон об ипотеке. 1 Закона об ипотеке по договору о залоге недвижимого имущества договору об ипотеке одна сторона залогодержатель являющийся кредитором по обязательству обеспеченному ипотекой имеет право получить удовлетворение своих денежных требований к должнику по этому обязательству из стоимости заложенного недвижимого имущества другой стороны залогодателя преимущественно перед другими...