Стр. 64 - СИСТЕМЫ ИСКУССТВЕННОГО ИНТЕЛЛЕКТА И ПРИНЯТИЯ РЕШЕНИЙ

[

Введите текст]

Содержание

62

СИСТЕМЫИСКУССТВЕННОГО ИНТЕЛЛЕКТА И ПРИНЯТИЯ РЕШЕНИЙ.

ОПТИМИЗАЦИЯ БАЗ ЗНАНИЙ НЕЧЕТКИХ ЭКСПЕРТНЫХ СИСТЕМ

быть фиксирована, и новых элементов типа "И", находящихся на одном уровне

иерархии (т.е. принадлежащих одному слою сети). Последние чаще всего имеют

значительное число входящих связей-посылок (более 4), и в их условных частях

могут встречаться схожие подмножества элементарных условий. Многократное

повторение сочетания посылок указывает на существование некой типичной си-

туации, которая могла бы быть описана отдельным правилом. Его вывод будет

входить в качестве посылки вместо сочетания посылок во всех соответствующих

правилах. В результате сгенерированная конструктивным алгоритмом часть сети

приобретает иерархический вид и б

о

льшую "логическую прозрачность". Далее

опишем процедуру выделения устойчивых сочетаний посылок, названную фак-

торизацией по аналогии с задачей факторизации системы булевых функций.

Обработке отдельно будут подвергаться нечеткие элементы типа "ИЛИ"

(

содержавшиеся в исходной сети и незафиксированные экспертом) и типа "И".

Процедура одинакова для обоих типов, мы рассмотрим ее на примере выделения

устойчивых сочетаний посылок, связанных по "И". Чаще всего, б

о

льшую часть

элементов-правил, подвергающихся изменению, будут составлять сгенерирован-

ные во время оптимизации элементы. Условие каждого правила является конъ-

юнкцией элементарных посылок и может быть представлено как множество

,

где

{ }

σ, ρ,

w e

i

=

–

посылка, имеющая определенные вес

w

и знак

σ

,

а также символьное имя

ρ

.

Посылка называется по имени элемента, на кото-

рый она указывает, либо по названию сегмента входной переменной, на который

указывает связанный с посылкой элемент типа "Сегмент".

Определение 3.2.1.

Две посылки

{

}

1 1 1

1

σ, ,ρ

w e

=

и

{

}

2 2 2

2

σ, ,ρ

w e

=

,

содержа-

щиеся в разных правилах, будем считать равными (

),

если они имеют оди-

наковые имена, знаки и веса:

.

σ σ ,

,

ρ ρ

2

1 2

1

=

= =

ww

Для упрощения дальнейшего изложения будем рассматривать посылки всех

правил как элементы множества

,

которое не содержит одинако-

вых посылок.

Приведем все шаги процедуры факторизации:

1.

Создается список условных частей всех незафиксированных элементов-

правил типа "И" существующей на данный момент сети:

}

,...,

, {

исх

2 1

исх

N

A AA L

=

.

,

исх

,..., 1

N i

=

,

.

2.

В списке

исх

L

всевозможными попарными пересечениями находятся по-

вторяющиеся сочетания посылок. Если пересечение некоторых, например пер-

вых , множеств

не пусто:

{

}

1 2

, ,...,

n

A e e e

=

1

2

e e

=

1 2

{ , ,..., }

L

e e e

=

H

1

{ ,..., }

i

iR

A e e

=

ij

e

∈

H

1,...,

i

j

R

=

k

1

,...,

k

A A