Файл: Горелик, А. Л. Некоторые вопросы построения систем распознавания.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 23.10.2024
Просмотров: 94
Скачиваний: 1
Проблема расширения системы распознаваний За счет привлёченйй дополнительных признаков и наложения новых связей решается сравнительно просто.
Рассмотрим, например, продолжение приведенного выше текста, также описывающего погоду в зимние месяцы [20]: ... «Теперь морозы будут стоять долго, до самой весны. Но что это? ... Еще вчера не было ни ворон, ни галок. Вороны и галки где-то прятались от холода, но сегодня они вдруг собрались в стаю и с криком носятся над деревьями. Запомни: зимой галки и вороны собираются в стаи и летают с криком только перед сильным потеплением ...
Холодный северный ветер вдруг стих, куда-то улетел, на юге по казалось к вечеру темное тяжелое облако и от него пришел еле заметный теплый ветерок. Теперь твердо можешь сказать, что завтра утром станет тепло, что северный ветер с жестокими холо дами вернется не скоро, снег станет мокрым и можно будет лепить
снежные бабы». |
|
|
|
|
Введем следующие новые высказывания: |
криком |
носятся |
||
А із — вороны и галки |
собрались в стаю и с |
|||
над деревьями, Ли — на |
юге показалось темное |
тяжелое |
облако. |
|
В соответствии с приведенным описанием и сделанными ранее |
||||
допущениями должны выполняться соотношения: |
|
|
||
Тз -Аіз—>Тг, |
Тз-Аіз—^ti, |
|
|
|
К * Т з * Л і4 — >Тг, |
Ѵ ' Т 2 ' А ц — >-ti, |
|
|
|
или в другой записи |
|
|
|
|
T3+ Ä l3+ t2 = l, |
7'г+Л із + ti = I, |
|
|
|
V+T3 + Ä u + t2 = l |
Е+7,2+Лі4+^1:= і. |
|
Перемножив эти соотношения, представим их в виде одного ра
венства: |
_ _ |
_ |
_ |
_ |
(6.41) |
|
Тг-Тз + Тг-к + Тз-ti+V ■Аіз + Аіз-Аи, = \. |
Запишем соотношение (6.41) как табл. 41 на рис. 6.4. Если теперь увеличить количество разрядов в столбцах табл. 34, 36—38 на два,
добавив незаполненные разряды А із, Ли, |
то эти таблицы вместе |
|
с табл. 41 будут представлять |
исходные |
ограничения, наложенные |
на элементы П, t2, ..., Л13, Аи |
в новой расширенной системе. |
Вопрос о том, что выгоднее с точки зрения экономии памяти ЭВМ, сохранить табл. 41 или объединить ее с одной из табл. 34, 36—38 с помощью операции умножения, можно решить опытным путем: если результат умножения табл. 41 на какую-либо из таб лиц 34, 36—38 содержит не больше столбцов, чем обе перемножае мые таблицы, то такое объединение целесообразно проделать; в противном случае табл. 41 сохраняется изолированно. Этим пра вилом мы и руководствовались при переходе от исходных соотно шений (6.20)—<(6.25), (6.27), (6.29), (6.30) и (6.33) к соотноше ниям и соответственно к таблицам 34, 36—38. В нашем случае, как легко видеть, оказывается целесообразным перемножить таблицы 38 и 41. В результате получим табл. 38", которая содержит 10 столбцов (рис. 6.4). Таким образом, в качестве набора таблиц, определякнщих новую систему, получающуюся после добавления к исходной системе признаков А і3, А и и соотношения (6.41), следует исполь зовать таблицы 34, 36, 37 и 38".
183
3
=
er
ю
н
о. <ѵ
о
X
3
S
а
я
о
X
|
|
о |
|
|
|
|
|
<ь |
|
|
|
|
|
|
|
|
|
|
|
|
|
о |
|
|
|
|
|
= |
|
|
|
со |
|
|
|
|
|
о |
|
|
|
t-- |
- |
|
|
|
|
о |
|
|
|
СО |
- |
|
|
|
|
о |
|
сс |
XҢ |
|
|
|
|
|
|
|
|
со |
Ю |
- |
|
|
|
|
о |
|
|
|
к |
- |
|
|
|
|
|
|
|
|
а |
|
|
|
|
|
|
|
|
|
Я5 со |
|
|
|
|
|
|
|
|
|
|
С-1 |
|
|
|
|
|
|
|
|
|
- |
|
|
|
|
|
|
|
|
|
ю |
|
|
|
|
о |
|
|
|
|
ТГ |
— |
|
|
|
|
о |
|
5 |
|
СО |
|
|
|
|
|
|
|
|
04 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
- |
|
|
|
|
|
|
|
инвнеисіц |
|
|
ч X ^ |
ч ■'■Г ■^Г ^ |
|
|
|||
|
|
|
|
|
|
|
|||
|
|
О |
О о |
- |
|
о |
о |
- |
|
|
|
|
|
||||||
|
|
О! |
о |
о |
- |
|
о |
- |
о |
|
|
X |
о |
- |
о |
|
о |
- |
о |
|
|
|
о |
о |
- |
|
о о |
- |
|
|
|
СО |
о |
о |
- |
|
о |
- |
о |
со |
|
ю |
о |
- |
о |
|
о |
- |
о |
со |
|
|
|||||||
|
X |
|
о |
- |
о |
|
о |
о |
- |
|
< |
|
|
||||||
|
а |
со |
о |
|
о |
|
— о о |
||
|
со |
|
|
||||||
|
те |
|
- |
о |
о |
|
- |
о |
о |
|
а |
04 |
|
||||||
|
|
- |
- |
о о |
|
о |
- |
о |
|
|
|
ю |
|
|
|
|
|
|
|
|
|
Tt» |
|
|
|
|
|
|
|
5 |
|
со |
- |
|
|
|
|
|
о |
|
|
оі |
|
- |
|
|
|
о |
|
|
|
- |
|
|
|
|
|
о |
о |
юшнеийц |
- |
(М *» |
-н |
ел « _ч |
м |
к |
|||
|
*к» |
^ |
лг Ö к, |
к |
о =>
о о
о о
о
о
о
о
rt
'if
~
о
<1 -Г ь<
Рис. 6.4
184
Мы показали на конкретном примере предсказания погоды, как можно построить систему распознавания в том частном случае, когда закономерности, связывающие изучаемые явления, заданы. Рассмотрим теперь ситуацию, когда законы, управляющие разви тием исследуемых процессов или связывающие определенные явле ния, заранее неизвестны, а сведения о процессах, которыми мы располагаем, представляют собой некоторый набор наблюдаемых данных. В примере с предсказанием погоды на завтра этими дан
ными могут быть ежедневные |
записи, |
|
относящиеся к |
состоянию |
||||||
погоды и к тем атмосферным |
явлениям |
или особенностям пове- |
||||||||
Приз |
Дни месща |
|
|
|
Приз |
|
|
Дни |
месяца |
|
|
|
|
|
|
|
|
|
|
||
наки |
I 2 3 4 5 6 |
7 8 |
9 |
10 |
наки |
1 2 І |
3 4 |
5 Is |
7 8 9 10 |
|
|
|
и |
0 0 0 0 |
1 0 0 |
0 0- 0 |
V |
0 0 |
|||||||
^2 |
0 0 1 0 |
1 1 0 |
1 0 |
0 |
А |
1 1 |
||||||
и |
1 1 1 0 |
0 |
0 |
0 |
1 1 1 |
А |
1 1 |
|||||
ч |
1 1 0 0 |
0 0 |
|
1 1 1 |
А |
0 0 |
||||||
ч |
0 0 1 0 |
0 |
1 0 |
0 |
0 |
0 |
А |
0 0 |
||||
ч |
0 0 1 0 |
0 1 0 0 |
0 0 |
А |
1 1 |
|||||||
k |
0 0 0 |
1 0 |
0 |
0 |
0 |
0 |
0 |
/Іо |
1 1 |
|||
V |
0 |
1 0 |
1 0 |
0 |
0 0 |
0 |
0 |
А |
1 1 |
|||
Ті |
0 |
0 0 0 0 1 0 0 0 0 |
А |
1 1 |
||||||||
Tt |
0 |
0 0 0 1 0 |
|
1 0 0 |
А |
0 0 |
||||||
А |
1 1 1 1 |
0 0 0 0 1 1 |
А і0 |
1 1 |
||||||||
А 1 1 1 0 0 0 0 1 1 1 |
А. |
0 0 |
||||||||||
А |
0 0 0 |
1 |
0 |
0 |
|
0 |
0 0 |
•^12 |
0 |
0 |
||
А |
0 0 0 0 1 1 0 0 0 0 |
А 13 |
0 0 |
|||||||||
К |
0 |
0 0 0 1 1 0 0 0 0 |
А 14 |
0 0 |
1 |
0 |
1 |
|
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
|
0 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
|
0 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
|
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
|
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
|
0 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
|
0 |
0 |
1 |
1 |
1 |
1 |
0 |
X X |
0 |
1 |
1 |
1 |
||
1 |
0 |
X X |
0 |
1 |
1 |
1 |
||
0 |
1 |
1 |
|
0 |
0 |
0 |
0 |
0 |
0 |
0 X |
|
1 |
1 1 |
1 |
1 |
||
0 |
1 X X |
0 0 |
0 |
0 |
||||
0 |
1 |
X X |
0 0 |
0 |
0 |
|||
0 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
|
0 |
1 |
0 |
О |
X |
|
0 |
0 |
0 |
Рис. 6.5.
дения животных, зависимость между которыми мы хотим установить.
Образец |
записи состояния |
погоды и данных наблюдений (А , .... |
.. . , Аи) |
за десять зимних |
дней приведен на рис. 6.5, где, как и |
раньше, разряды Ч, Ч, t3, lu h , h, k, v относятся к погоде на сле
дующий день.
При большом объеме наблюдений, охватывающем период по рядка нескольких лет, мы можем рассматривать эту таблицу как нестандартный сокращенный базис Ьс [Ч, Ч, Аз, А і], посколь
ку достаточно велика вероятность того, что |
все допустимые причин |
||||||
но-следственные связи между элементами |
Ті, Г2, |
. . . , К, |
V, А , |
||||
Аг, . . . . |
А ц и ti, |
Ч, . . . . |
k, V, входящими |
в |
столбцы базиса, про |
||
явились за то время, |
пока накапливались |
данные наблюдений. |
|||||
Чтобы |
уменьшить |
число |
колонок сокращенного |
базиса, |
которое |
может быть весьма велико, необходимо отбросить повторяющиеся колонки и преобразовать оставшуюся часть таблицы к виду базиса bx [Ч, tг, Ліз, Ли]. Как показано в § 6.1, используя базис
6Х {■*!, h, ..., Ліз, Лц], можно найти решения и прямой, и обратной
логических задач, состоящих в установлении зависимостей между определенными группами элементов в виде соотношений имплика ции либо эквивалентности. В рассмотренном примере с прогнозом погоды можно надеяться, в частности, получить зависимости вида (6.33) и (6.40), которые были использованы нами в качестве задан ных исходных закономерностей.
6.5.ЭФФЕКТИВНОСТЬ ЛОГИЧЕСКИХ СИСТЕМ РАСПОЗНАВАНИЯ
При построении логических систем распознавания часто приходится сталкиваться с ситуацией, когда зна чения истинности ряда элементов А ь ..., А„, выражаю
щих признаки классифицируемых объектов К і, |
... , К т , |
связанных соотношениями вида |
|
Е(Аі, .... Ап; Кі , .... Km) = I |
(6.42) |
устанавливаются в процессе эксперимента или по дан ным наблюдений недостоверно, а с известной неопреде ленностью. Такое 'положение возникает, например, когда элементы Лі( і= 1, ..., п обозначают высказывания типа: «Истинное значение х* параметра Х і лежит в пределах интервала (щ, ßi)», причем результат измерения Х{ есть
случайная величина, либо, например, когда визуальные наблюдения признаков Alt . . Ап производятся в усло
виях плохой видимости или искусственных помех, благо даря чему создаются предпосылки для ошибочных за ключений.
К каждой проектируемой системе распознавания, как правило, предъявляются некоторые требования, касаю щиеся степени достоверности ответов, выдаваемых систе мой в форме булевых функций <р(/Сь •• ., К т )- Эти функ
ции в общем случае удовлетворяют соотношению импли
кации |
|
/(Ль . •., Ап)— нр{Кі , . • К т ) , |
(6.43) |
где /(Ль • •., Ап) — известная в результате опыта функ ция, а элементы Ль .. ., Л„ и К і , ..., К т связаны зависи
мостями вида (6.42). Из множества всех допускаемых
данной системой |
решений ср(/Сь . .., К т ) |
практически |
полезными могут |
быть лишь некоторые. |
Вид решения |
<р(Ащ . •., К т ) , помимо априорных соотношений (6.42),
186
существенно зависит от полноты сведений о классифи
цируемом объекте, которые |
представляются |
функцией |
/(Л ь . . Л„). |
|
|
'Предположим, что для практических целей важно |
||
различать N наблюдаемых |
во время опыта |
классов |
объектов (или явлений), которые описываются булевыми функциями
фі (Kl, . . ., К т ) , ■■; |
q>N(Ku ■■., Km), |
(6.44) |
причем |
І Ф І |
|
фг • 46=0, |
(6.45) |
Вид функций (6.44) определяется требованиями, кото рые предъявляются к системе классификации.
Пусть {fi(A 1, . . . , А п} есть множество всех простых импликант функции <рД/ф, ..., К т ) , так что каждая
функция /і из множества {/*} удовлетворяет соотношению
f і(Ai, . . ., A n) --- Ирг(/(ь - . VKm). |
(6.46) |
В силу условия (6.45), функции fu ..., /іѵ должны удов летворять соотношениям fi-fj— К) при іф), или
/і •/; = {). |
(6.47) |
Если при всех г=1, . N функции /ДЛі, . |
. А „ ) ф О, |
то согласно сделанным предположениям выбранный спо соб описания классифицируемых объектов позволяет различать между собой все N классов как при представ лении ИХ С ПОМОЩЬЮфункций ф'г (К\, . . ., Кт), ТЭК И ПрИ
представлении функциями /ДЛь ..., Ли), т. е. через на
блюдаемые |
или оцениваемые |
в ходе опыта признаки |
|
А ь ..., |
А п. |
При этих условиях ошибочные или неопреде |
|
ленные |
решения <f{Ki, ..., Кт) |
могут возникать только |
из-за того, что значения истинности элементов Ль ..., Ап
определяются во время опыта с ошибками или же вооб ще не устанавливаются.
Обозначим через Pij вероятность получения такого
решения ц(Ки ..., Кт), |
для |
которого ср(Дь ..., Кт )— >■ |
— крг-(/(і, ..., Кт) , і= 1, |
■• |
N, при условии, что класси |
фицируемый объект фактически является объектом /-го типа, т. е. функция /(Ль ..., Л„) в соотношении (6.43) задается как / = /ДЛ4, ..., Л„).
Для того чтобы количественно описать процесс иска жения информации о классифицируемых объектах (или явлениях) во время опыта, рассмотрим три величины:
187