CC BY
32
ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ И СИСТЕМЫ
УДК 004.8
А. Л. Тулупьев
ОЦЕНКА ЧУВСТВИТЕЛЬНОСТИ РЕЗУЛЬТАТА ЛОКАЛЬНОГО АПРИОРНОГО ЛОГИКО-ВЕРОЯТНОСТНОГО ВЫВОДА В ИНТЕЛЛЕКТУАЛЬНЫХ ИНФОРМАЦИОННЫХ СИСТЕМАХ
Рассматривается способ оценки зависимости вариации результатов (чувствительности) априорного вывода от допустимой вариации исходных данных во фрагменте знаний алгебраической байесовской сети. Предлагаемый способ основан на решении совокупности задач линейного программирования. Получена верхняя оценка характеристики чувствительности, линейно зависящая от радиуса вариации исходных данных.
Ключевые слова: оценка чувствительности, логико-вероятностный вывод, алгебраические байесовские сети.
В базах знаний интеллектуальных систем вследствие определенных причин [1, 2] накапливаются не только достоверные знания, но также и знания, отличающиеся неопределенностью, неточностью, нечеткостью. Эти знания нельзя исключить, поскольку перечисленные „отрицательные" факторы не означают абсолютного отсутствия сведений о предметной области, а лишь характеризуют неполноту доступных знаний о ней [3]. Зачастую даже в условиях информационного дефицита [4] (т.е. неполноты знаний и/или их неопределенности) можно принять обоснованное решение, учтя все доступные сведения.
Представить неопределенность знаний можно различными способами — например, приписать утверждению меру его истинности, в качестве которой будем рассматривать вероятностную меру. Небольшие совокупности утверждений с вероятностными оценками их истинности могут быть организованы во фрагменты знаний (ФЗ). Набор фрагментов знаний, в свою очередь, образует базу фрагментов знаний с неопределенностью. Представлением этой базы для разработки как структур данных в программном коде, так и самого кода являются, в частности, алгебраические байесовские сети (АБС) [2, 5, 6]. Предложенные в работах [7, 8] алгоритмы позволяют проверять непротиворечивость АБС (поддержание непротиворечивости), выводить новые оценки истинности утверждений на основе известных (априорный вывод), учитывать влияние поступивших свидетельств на вероятность истинности элементов АБС (апостериорный вывод).
Цель настоящей статьи — исследовать чувствительность априорного вывода локально, т.е. когда он осуществляется в отдельном фрагменте знаний. Под чувствительностью понимается зависимость результата вывода от точности указания исходных данных. Исследовать чувствительность — значит оценить характеристики зависимости вариации результата от вариации исходных данных. Для каждой предметной области известны конкретные определения указанных вариаций и зависимости между ними, а также сформированы наборы характеристик последних.
4 А. Л. Тулупьев
Обозначения. Согласно работам [2, 5—8] введем следующие обозначения:
Р — вектор вероятностей истинности элементов фрагмента знаний, упорядоченных
специальным образом [5]; Р0 — вектор скалярных (точечных) оценок этих вероятностей, здесь индекс „°" указывает на использование исходных данных; Р — вектор проварьированных вероятностей истинности элементов фрагмента знаний, а А = Р - Р — собственно вариация исходных данных, которая предполагается допустимой, т.е. проварьированные вероятности непротиворечивы:
1Р > 0;
/ — утверждение, составленное из атомарных утверждений, вошедших во фрагмент знаний; в силу этого вероятность / выражается в виде скалярного произведения через вероятности истинности элементов ФЗ: р = р(/) = Ь • Р ; с учетом вышеописанной допустимой вариации изменившаяся оценка вероятности / будет иметь вид р = р(/) = Ь • Р . Для соблюдения требования аксиоматики вероятностной логики должна выполняться
Г1 _1][ п]
система неравенств, записанная в векторном виде: 1Р > 0, матрица I = ^ 1 — степень
Кронекера [5], здесь п — число атомарных утверждений, вошедших во фрагмент знаний. Предполагается, что набор исходных данных непротиворечив: ГР0 > 0.
Для измерения вариаций исходных данных и результата необходимы две метрики: метрика г, аргументы которой есть векторы вероятностей истинности элементов ФЗ: г(Р, Р); метрика ё, аргументы которой — оценки вероятности истинности утверждения / : ё(р, р).
Постановка задачи. Пусть известно положительное число — радиус вариации 5 > 0, которое ограничивает вариацию исходных данных: г(Р, Р) < 5. Требуется с учетом данных и ограничений, перечисленных выше, исследовать величину ё(р, р): либо определить ее функциональную зависимость ё(р,р) = V(Р,Р,5,...), либо найти ее верхнюю границу (точную верхнюю границу, максимум) в . При этом процесс вычислений должен опираться на хорошо изученные и реализованные алгоритмы.
При анализе чувствительности особую значимость имеет выбор метрик: именно им определяется сложность, разрешимость и „алгоритмизуемость" возникающих в процессе исследования экстремальных задач. В рассматриваемом случае предлагается выбрать следующие метрики: г(Р, Р) = тах |рг- _ рг | и ё(р, р) = \р _ р|. Использование таких метрик, как бу-
г=0,...,2п _1
дет видно в дальнейшем, приведет к решению задач линейного программирования (ЗЛП); евклидова же метрика, например, потребовала бы решения задач с более сложным множеством квадратичных ограничений.
Предлагаемый подход к решению задачи. Рассмотрим экстремальные задачи, которые позволяют вычислить характеристики чувствительности результата априорного вывода р к допустимой вариации исходных данных. Вычислим величины
в = вир {ё(р, р)} и в(Р0) = вир {ё(р, р)},
1Р >0,1Р>0, 1Р >0,1Р>0,
г(Р,Р)<5 г(Р,Р)<5, Р=Р0
при этом величина в(Р0) необходима для исследования ситуации в случае с конкретным набором исходных оценок Р = Р0.
Оценка чувствительности результата локального априорного логико-вероятностного вывода 5
В первую очередь, сведем ограничения экстремальных задач к набору линейных равенств и неравенств.
Очевидно, что ограничения IP > 0, IP > 0 и P = PQ изначально линейны, их изменять
не требуется. Неравенство r(P, P) <5 раскрывается как max p — p\ <5, что эквива-
i_0,..., 2n-1
i_2«—i
лентно системе линейных неравенств {—5 < pt — pt < 5 }i_o • Таким образом, все ограничения в рассмотренных экстремальных задачах линейные.
По определению целевая функция d(p, p) _ |p — p|. Чтобы свести экстремальную задачу к двум ЗЛП, достаточно решить последние отдельно для разности p — p и разности p — p .
Таким образом, процесс оценивания характеристик чувствительности сводится к решению совокупности задач линейного программирования:
s= max {p — p, p — p}, s(PD) _ max {p — p, p — p} . IIP>0,IP>0, IP>0, IP>0,
r(P,P)<5 r(P,P)<5, P_P0
Алгоритмы решения ЗЛП известны, хорошо изучены, а также реализованы в библиотеках, рассчитанных на ряд систем программирования.
Верхняя оценка. Можно оценить характеристики чувствительности и не прибегая к решению ЗЛП, пусть и несколько потеряв в точности оценки. В соответствии с полученной оценкой можно предъявить обоснованные требования к точности измерения, определения или расчета исходных данных.
Учитывая, что po _ po _ 1 [2, 5], оценим
d(p, p) _ |p — p\ _ |L • P — L • P _ L • (P — P) _
2n —1
Z li (Pi — pd
i_0
2n —1 2n —1 2n —1 <Z \h\](p i— A )|<Z li 15 _ 5 Z
i_1 -с- i_1 i_1
<5
Таким образом, установлена легко вычисляемая верхняя граница для оценки чувстви-
2" -1
тельности — в < 5 ^ \. Вопрос о том, точна ли эта верхняя граница, остается открытым.
г=1
Некоторые результаты, представленные в данной статье, получены в рамках проекта, поддержанного Российским фондом фундаментальных исследований (грант № 09-01-00861-а).
СПИСОК ЛИТЕРАТУРЫ
1. Крейнович В. Я., Нгуен Т. Х., Городецкий В. И. и др. Применение интервальных степеней доверия: аналитический обзор // Информационные технологии и интеллектуальные методы: Сб. трудов СПИИРАН. СПб.: СПИИРАН, 1999. Вып. 3. С. 6—61.
2. Тулупьев А. Л., Николенко С. И., Сироткин А. В. Байесовские сети: логико-вероятностный подход. СПб.: Наука, 2006. 607 с.
3. Нариньяни А. С. НЕ-факторы: неточность и недоопределенность — различие и взаимосвязь // Изв. РАН. Сер. Теория и системы управления. 2000. № 5. С. 44—56.
4. Хованов Н. В. Анализ и синтез показателей при информационном дефиците. СПб.: Изд-во С.-Петербург . ун-та, 1996. 196 с.
5. Тулупьев А. Л. Алгебраические байесовские сети: локальный логико-вероятностный вывод: Учеб. пособие. СПб.: СПбГУ — ООО Изд-во „Анатолия", 2007. 80 с.
6. Тулупьев А. Л. Алгебраические байесовские сети: глобальный логико-вероятностный вывод в деревьях смежности: Учеб. пособие. СПб.: СПбГУ — ООО Изд-во „Анатолия", 2007. 40 с.
6
С. А. Алексеев
7. Тулупьев А. Л., Сироткин А. В., Николенко С. И. Синтез согласованных оценок истинности утверждений в интеллектуальных информационных системах // Изв. вузов. Приборостроение. 2006. Т. 49, № 7. С. 20—26.
8. Тулупьев А. Л., Николенко С. И., Никитин Д. А., Сироткин А. В. Синтез апостериорных оценок истинности суждений в интегрированных базах знаний: детерминированный вариант // Там же. 2006. Т. 49, № 11. С. 35—39.
Александр Львович Тулупьев
Сведения об авторе канд. физ.-мат. наук, доцент; Санкт-Петербургский институт информатики и автоматизации РАН, лаборатория прикладной информатики; E-mail: alt@iias.spb.su
Рекомендована кафедрой технологий программирования СПбГУ ИТМО
Поступила в редакцию 15.02.08 г.
УДК 004.5
С. А. Алексеев
ТЕХНОЛОГИЯ ЭРГОНОМИЧЕСКОГО ОБЕСПЕЧЕНИЯ ПРОЕКТИРОВАНИЯ АВТОМАТИЗИРОВАННОГО РАБОЧЕГО МЕСТА
ИНТЕГРИРОВАННОЙ АСУ
Рассматриваются вопросы применения технологий эргономического обеспечения при проектировании автоматизированного рабочего места, являющегося необходимым компонентом интегрированной АСУ для пользователей, имеющих гуманитарное образование.
Ключевые слова: эргономическое обеспечение, автоматизированная система управления, корпоративная сеть.
Происходящие в современном обществе процессы всеобщей глобализации позволяют с уверенностью утверждать, что в ближайшее десятилетие создание новых информационных технологий будет являться приоритетным направлением развития теории автоматизации управления, создания интегрированных автоматизированных систем управления сложными иерархическими социальными организационно-техническими системами, к которым, в частности, с полным основанием могут быть причислены и региональные организации культуры, относящиеся к сугубо гуманитарной сфере. Рабочие места руководителей организаций культуры и подчиненных им подразделений должны быть оснащены средствами вычислительной техники различной конфигурации, которые функционируют при поддержке определенного программного и информационного обеспечения. При этом результаты опроса показали, что более 90 % пользователей автоматизированного рабочего места (АРМ) в этих организациях имеют гуманитарное образование. Исследование различий в восприятии объективной реальности людьми, имеющими гуманитарное и техническое образование, относится к ведению социологии и психологии. В настоящей статье приводятся некоторые рекомендуемые количественные оценки общих эргономических требований к проектированию человекокомпью-терного интерфейса АРМ, полученные в результате исследования восприятия информации с экрана монитора пользователем АРМ, имеющим гуманитарное образование.
Человекокомпьютерный интерфейс (далее, для краткости, — интерфейс) следует понимать как совокупность способов и средств обмена информацией между пользователем и средствами вычислительной техники АРМ. К элементам интерфейса принято [1—4] относить:
— способы и формы предъявления информации, отражаемой на экране видеомонитора;
