Файл: Горелик, А. Л. Некоторые вопросы построения систем распознавания.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 23.10.2024

Просмотров: 106

Скачиваний: 1

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

ются некоторым конечным набором признаков. Будем рассматривать и признаки, и описываемые с их помощью

явления

как элементарные высказывания.

Пусть А и

Az, ■■■,

Ап — множество признаков, а Кі, Кг,

. . ., Кт

совокупность изучаемых явлений. Разделение элемен­ тарных высказываний на две группы (Аь Аг, ..., Ап и Кі, Кг, ■■■, Кт) подчас бывает довольно условным; это

разделение вводится в основном для того, чтобы можно было отличать разные по смысловому значению понятия, такие, например, как «штрихованные» и «нештрихован­ ные» элементы в задаче, рассмотренной в § 5.7.

Предположим, что все априорные сведения об иссле­ дуемом явлении, выражающие, с одной стороны, связь

между

высказываниями

Кі,

■■■,

Кт и Ai, ..

Ап и,

с другой — зависимости

только

между

элементами

А и . ..,

А п или только между

элементами

Кі,

..., Кт,

представлены в форме каких-либо булевых соотношений, например, следующего вида:

 

К г ~ fi (А, , ..., Ап),

Кj —■hj(Al

t , Лп),

 

 

Lt (Al,..., Ап) —*Ки

 

 

 

 

Кі (Aj,..., An;

Kl t ... , Km) = Hi(Ait ... , An\

 

 

 

Кj,...,Km),

 

. (5.39)

 

®h(Alt ..., An;

Kt, ... ,K m) — l,

 

 

 

47r(Alt ...,An) = l,

/s (K„ ..., Km) ■--=I,

 

Предположим

также,

что

наряду

с (5.39)

дополни­

тельно

известны

некоторые

данные

части

признаков

А 1, ...,

Ап, присущих явлениям Кі, ...,

Кт, и что эти дан­

ные выражены как булева функция G(Ah ..., Ап). Одна

из типичных задач, возникающих при распознавании явлений Кі, .. ., Кт, состоит в том, чтобы определить, какие выводы можно сделать относительно Кі, . ■■, Кт

на основе априорных сведений (5.39) и дополнительной информации G(AU ..., Ап). Формально эта задача, кото­ рую мы условимся называть прямой задачей, распозна­

вания, сводится к

нахождению

неизвестной

функции

F (Ки . ■., Кт), удовлетворяющей уравнению

 

G(Ai, ...,

Ап) + F (Кі,

Кт)= I

(5.40)

149


при

ограничениях

(5.39), наложенных на

элементы

А і,

..., Ап; Кі, ■-, Кт-

 

Задача, сопряженная с данной, состоит в том, чтобы

установить, какие

совокупности признаков

Аі, .... А п

должны иметь место, если известны некоторые сведения о явлениях Къ . . Кт, т. е. требуется определить неиз­ вестную -функцию Gi(Ai, .. ., Ап), удовлетворяющую

уравнению

 

 

Fi{Ku

• •

•> Кт) А-Gi (А1,

. . . , Ап) = I

 

(5.41)

при заданной функции Fi(Ki, ■

. Кт) и связях

(5.39).

Положим в соотношениях (5.40) и (5.41)

 

 

 

 

 

F(Ki,

.... Km) =Fi(Kl........ Km)-

 

 

Тогда,

если

Gi(Aiß

..., Ап) = G(Ai,

. .., A n),

то,

пере­

множив левые части (5.40) и (5.41),

получим

 

 

или

 

 

 

 

G-F + G-F = I,

 

 

 

 

G(Ai,

. .

An)=F(Ki,

- -

Km),

 

(5.42)

 

 

 

иначе говоря, в этом случае посылки G(Ait ...,

Ап) (или

Fi(Ki,

..

.,

Кт))

И следствия F(Ki, ..., Кт)

(или

Gi(Ai,

. .

Ап)) эквивалентны.

 

 

 

 

Другая типичная задача, которую мы будем называть

обратной задачей распознавания, состоит в том, чтобы

определить множество априори неизвестных посылок

G{AI, ..., Ап), из

которых следуют некоторые выводы

F(Кі, ..., Km), при

условии, что

элементы Аи ...,

Д„;

Кі, ..., Km связаны зависимостями

(5.39). Покажем,

что

эта задача приводится к предыдущей. Действительно,

пусть F(Ki, ..

Km)

есть заданная функция, импликаиты

которой требуется найти в виде функции G(AU ..., Ап).

Перейдем

от

функции F(Ki, . •., Km)

к ее отрицанию

Fi = F(Kи •..,

Km)

и с помощью соотношения

(5.41) оп­

ределим

функцию

Gi(Ai, . .., Ап),

которая

связана

с F(Ki, ..., Km) зависимостью

 

 

 

F(Ki, .. ., Km)— >Gi(Ai, ...,

An).

(5.43)

Поскольку зависимость (5.43) эквивалентна соотношению

Gi(Ai, ..., An)—+F(Ki, ..., Km),

(5.44)

то, следовательно, G{AU ..., Ап) =ДДЛі, ..., Ап) и яв­

ляется искомой функцией, Если окажется, что

наряду

150


с (5.44)

справедливо

соотношение

F (Кі, : .

Кт )—^

— »G (Ль ..

Л„),

то F(Ki,

..., Km)=G(Al, . .

Ап), т. е.

G(Aь ..

Л „ ) — полный

набор

импликант

функция

F (Кі, ...,

Кт), через сумму которых

данная

функция

может быть выражена.

 

 

 

 

 

Методы решения всех перечисленных выше задач

основываются на

построении

сокращенного

базиса

0с(Лі, .. ., Ап;

Кі,

. ..,

Кт],

который определяется следу­

ющим образом. Соотношения (5.39) налагают опреде­ ленные ограничения на возможные комбинации значений истинности элементов Ль ..., Лп; Кі, ..., Кт, так что не все столбцы полного базиса Ь[Аі, ..., А„; Кі, ■■., Кт],

будут совместны с этими соотношениями. Если отбросить все те столбцы базиса Ь[Аі, ..., Ап\ Кі, ..., Кт], которые

противоречат хотя бы одному из соотношений (5.39), то оставшиеся столбцы, по определению, образуют сокра­ щенный в соответствии с данными связями базис. Сокра­ щенный базис устанавливает соответствие между колон­ ками базисов Ьсі, . . ., Л„] и Ьс[Кі, . . Кт] и определяет

тем самым возможные преобразования соотношений (5.39) к такому виду, для которого названные выше за­

дачи решаются либо в рамках уравнений

(5.40)

или

(5.44), либо (5.42).

 

 

 

 

 

 

Рассмотрим на конкретных примерах различные частные случаи

соответствия базисов 6С[ЛЬ ..

., А п 1 и Ь С[ К \ , . .., К т \ .

 

 

 

Пример 1. Предположим, что при некоторых условиях, характе­

ризуемых

признаками А і, А г ,

А 3,

в системе

могут

протекать

три

процесса

К і , К г , К з , причем

связи

между К і ,

К ч , К з

и А и

А 2,

А 3

представлены следующими двумя соотношениями:

 

 

 

 

К і К г А і • Лз+ ІСі • К ч ' А і • Лз+

 

 

 

 

+ Кі-Кч-Аі-Аз-\-Кі-Кг-Аі-Аз = \,

 

(5.45)

К з = А , • А г ■А з + А і • А 2 + А г ■А 3.

Изображающие числа булевых функций, выражаемых соотношени­ ями (5.45), относительно базиса Ь [ А і , А 2, А 3; К і , К г , К з 1 равны соот­ ветственно

0101 0000 0000 0101 1010 0000 0000 1010 0101 0000 0000 0101

1010 0000 0000 1010,

и

1001 1100 1001 1100 1001 1100 1001 1100 ОНО ООП ОНО ООП

ОНО ООП ОНО ООП

151


П е р е м н о ж и в эти д в а и зо б р а ж а ю щ и х ч й сл а , п ол уч й м

0001 ОООО0000 0100 1000 0000 0000 1000 0100 0000 0000 0001 0010 0000 0000 0010.

Следовательно, оба соотношения (5.45) удовлетворяются только при таких комбинациях значений истинности элементов А і, Аг, А3; Кі, Кг,

Кг, которые соответствуют 3-, 13-, 16-, 28-, 33-, 47-, 50- и 62-му столб­

цам базиса Ь[Аи А2, А3, К\, Кг,

К3]. Сохраняя перечисленные столбцы

и отбрасывая остальные,

получаем следующий

сокращенный

базис:

 

/ =

3 5 0 4

1 7 2 6

 

 

4 М , =

1 100

1 1 00

 

 

#

Аг =

10 0 0

0 111

 

 

= М 3 = о і 0 1 0 10 1

 

 

# ^ = 0 1 0 1

0 10 1

 

 

#

Кг =

0 0 1 1

ООП

 

 

#

Л'з =

0 0 0 0

1111

 

 

 

і = 0 1 2 3

4 5 6 7

 

 

Разобьем базис (5.46) на

два

базиса

ЬС[А\, Аг,

А 3] и ЬС[Кь

Кг, ДзІ.

Легко видеть, что в данном случае сокращенный базис bz[K\, Кг, Кг^ совпадает со стандартным базисом Ь[К\, Кг, Кз\ а базис Ьй[Аі, Аг, А3] представляет собой полный нестандартный базис для эле­ ментов А\, Аг, А 3. Пусть і и / обозначают порядковые номера столб­

цов стандартных базисов Ь[Кі, Кг,

Кгі

и Ь[Аи Аг, А 3] соответственно.

Согласно (5.46) между значениями і

и /

устанавливается сле­

дующее взаимно однозначное соответствие:

 

 

I =•

0,

1,

2,

3,

4,

5,

6,

7;

/ =

3,

5,

0,

4,

1,

7,

2,

(5.47)

6

или при другом порядке расположения чисел:

 

 

/ =

0, 1, 2, 3, 4, 5, 6,

7;

(5.48)

 

 

і =

2, 4, 6, 0, 3, 1, 7,

5.

 

 

 

Из (5.47) следует, что изображающие числа

ф Л 2 и # Л 3

отно­

сительно базиса Ь [ К і , К г ,

/(з] запишутся как

 

 

і =

0 1 2 3

4 5 6 7

 

 

 

4Мі =

1 100

110 0

= # j ? a,

 

 

# Д = І 0 0 0

0 111 = # { Е г К2-Е, + К3-{Кі+Кг)}-

(5-49)

# Л 3=

0101

0 101

= # * ,.

 

 

/ 3 5 0 4 1 7 2 6

 

 

 

152


П ри эт о м п ер ест а н о в о ч н а я .м атрица (Rji) и м еет в и д

0010 0000

0000 1000

 

 

0000

0010

 

 

 

(%) =

1000

0000

 

(5.50)

 

0001

0000

 

 

 

0100

0000

 

 

 

 

0000

0001

 

 

 

 

0000

0100

 

 

Аналогично (5.48) показывает, что в

базисе

Ь[Аи А2,

А31

#/<і = 0000

1111 = # А 3,

 

 

 

#/<2=1010

1010= # Л ь

 

 

(5.51)

#/(з=0110

0011 = #

{ A 1 - Ä 2 - Ä 3 + A 2 - ( ä , + A

3) } ,

а матрица ( R i j ) перехода от элементов К ъ

К ъ К з к

А и А2, А 3 по­

лучается при транспонировании матрицы (5.50). Этот результат означает, что исходные связи (5.45) полностью эквивалентны либо соотношениями (5.49), либо соотношениям (5.51).

Предположим, что протекающие в рассматриваемой системе про­

цессы К і ,

К ъ К з

проявляют

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

признаков

Аь Л2,

А 3,

причем

сведения о признаках можно

предста­

вить в виде, булевой

функции

G(Ab А2, Аз), например,

 

 

 

 

G(Ai, Аг, Л3)= Л з+ Л ,-Л 2.

(5.52)

Спрашивается, какие выводы можно сделать относительно процес­

сов К и /<2 , К з

на основании

информации (5.52)

и связей (5.45). По

формуле (5.34)

находим

0010 0000

 

 

 

 

0000

1000

 

 

0000 0010

# ( А ,+ Л 1.А2) =

1000

0000

(0100 1111)

0000

 

 

0001

 

 

0100

0000

 

 

0000

0001

 

 

0000

0100

= (0101

1101) = # F ( К г , К г ,

К з)

и, следовательно,

 

 

F ( K i , К і , K 3) = G ( A i ( K \ , К 2, К з ) , А г ( К і , К г , К з ) ,

А 3 ( К \ ,

К г , К з ) ) = К г + К 2 - К з ,

(5.53)

т. е. в системе либо протекает только процесс К з , либо можно ут­ верждать, что процесс К і протекает, а о процессах К г и К з ничего определенного сказать нельзя, либо, наконец, имеют место процессы К і - К з ■К 2. При таком не очень определенном выводе может потре­ боваться узнать, какие признаки из числа Аь А2, А3 должны быть

153