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

{■*!, 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