Лекция 11. Продукционные системы.
Цель лекций. Знакомство с моделью продукционного типа. Вывод на основе данных. Способы поиска используемые в продукционной модели.
Содержание лекций. В экспертных системах, основанных на правилах, знания о решении задач представляют в виде правил "если..., то...". Этот подход, являясь одним из старейших методов представления знаний о предметной области в экспертной системе. В системе, основанной на правилах, пары "условие-действие" представляются правилами "если..., то...", в которых посылка (часть если) соответствует условию, а заключение (часть то) - действию. Если условие удовлетворяется, экспертная система осуществляет действие, означающее истинность заключения. Данные частных случаев можно хранить в рабочей памяти. Механизм вывода осуществляет цикл продукционной системы "распознавание-действие". При этом управление может осуществляться либо на основе данных, либо на основе цели. Наиболее распространенный способ представления знаний - в виде конкретных фактов и правил, по которым из имеющихся фактов могут быть выведены новые. Факты представлены, например, в виде троек:(АТРИБУТ ОБЪЕКТ ЗНАЧЕНИЕ). Такой факт означает, что заданный объект имеет заданный атрибут (свойства) с заданным значением. Например, тройка (ТЕМПЕРАТУРА ПАЦИЕНТ1 37.5) представляет факт «температура больного, обозначаемого ПАЦИЕНТ1, равна 37.5». В более простых случаях факт выражается неконкретным значением атрибута, а каким либо простым утверждением, которое может быть истинным или ложным. Правила в базе знаний имеют вид: ЕСЛИ А ТО S, где А- условие; S- действие. Действие S исполняется, если А истинно. Наиболее часто действие S, так же, как и условие, представляет собой утверждение, которое может быть выведено системой если истинно условие правила А. Правила в базе знаний служат для представления эвристических знаний т.е. неформальных правил рассуждения, вырабатываемых экспертом на основе опыта его деятельности. В качестве условия A может выступать либо факт(как в данном примере), либо несколько фактов A1,...,AN, соединенные логической операцией и: «A1 и A2 и ... и AN». В математической логике такое выражение называется коньюнкцией. Оно считается истинным в том случае, если истинны все его компоненты. Продукционная модель имеет вид: (i); P; Q: Ai => Bj ; N; i- номер правила, P- приоритет правила, Q- область применения правила Ai => Bj – ядро продукции,i, j- с какой части берется утверждение, чаще всего i = БД, БЗ, диалог, О (блок объяснения) j- тоже самое и помимо этого добавляется блок БЗ. АБД => ВБД ,N- комментарии к продукции [16]. Таким образом действия модели продукционного типа основаны на применении правила вывода, суть которого состоит в следующем: пусть известно, что истинно утверждение А и существует правило вида «Если А, то В», тогда утверждение В так же истинно. Правила срабатывают, когда находятся факты, удовлетворяющие их левой части: если истинна посылка, то должно быть истинно и заключение. Хотя в принципе на первый взгляд, кажется, что такой вывод легко может быть реализован на компьютере, тем не менее, на практике человеческий мозг все равно оказывается более эффективным при решении задач.
Достарыңызбен бөлісу: |