Файл: Горелик, А. Л. Некоторые вопросы построения систем распознавания.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