Глава 6
ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА, ПОДДЕРЖИВАЮЩИЕ ФОРМИРОВАНИЕ РЕШЕНИЙ НА ОСНОВЕ ОБРАТНЫХ ВЫЧИСЛЕНИЙ
Практическое применение обратных точечных вычислений в формировании решений требует учета следующих обстоятельств:
• изменение значений терминальных вершин деревьев целей, вероятностей и вывода не может быть безграничным, ибо ресурсы предприятия всегда лимитированы;
• формирование решений должно базироваться на оценке альтернатив и выборе среди них наилучшего в отношении принятых на конкретном предприятии критериев;
• инструментальные средства, ориентированные на выполнение обратных вычислений, должны функционировать в форме программной оболочки, не требующей программирования и обеспечивающей оперативное изменение целей лица, формирующего решение.
С учетом перечисленных обстоятельств рассмотрим, каким образом должны быть реализованы инструментальные средства, предназначенные для формирования решений с помощью обратных точечных вычислений.
6.1.Учет ограничений в процессе формирования решений
Предприятие или организация для достижения главной цели своего функционирования обладает ресурсами, которые всегда ограничены. Существуют следующие виды ресурсов: материальные, финансовые, трудовые, энергетические, информационные, временные и др.
Распространенные в настоящее время системы формирования решений, известные как системы поддержки принятия решений,
ориентированы на прямые расчеты. Это является причиной того, что в процессе вычислений требуется одновременный учет ограничений на все ресурсы. Отсутствие в надлежащем объеме даже одного из них делает решение задачи невозможным. Например, если в задаче исследования операций, где в качестве ограничений используется система неравенств (равенств), хотя бы один из ресурсов не удовлетворяет указанному ограничению, то задача не имеет решения.
Кроме того, большинство методов, базирующихся на прямых вычислениях, предлагают «жесткие» решения, что ведет к неустойчивому функционированию систем любого характера. Это является одной из главных причин перехода к «мягким» вычислениям, более толерантным к окружающей среде, которые приближают принятые решения к реальным ситуациям. Именно такие характеристики можно заложить в системы, базирующиеся на обратных точечных вычислениях.
В контексте «мягких» вычислений понятие «ресурс» следует рассматривать расширительно: это значит, что в качестве ресурса рассматриваются и объем финансов, за счет которого может расширяться производство, и предел снижения продажных цен на продукцию, выпускаемую предприятием, и предел роста кредитов, который может позволить себе предприятие, и т.д.
Замечательное свойство «мягких» обратных точечных вычислений заключается в том, что при истощении одних ресурсов возможно достижение главной цели за счет других.
Как правило, перерасчет показателей происходит либо в пределах заранее указанных ресурсов, либо в режиме изменяемости ресурсов, задаваемых пользователем в процессе решения задачи. Если перерасчет происходит в пределах указанных ресурсов, т.е. существует некоторый предел прироста показателей, то при достижении такого предела должно произойти динамическое перераспределение КОВ. С помощью рис. 6.1, а рассмотрим этот процесс.
Допустим, значение узла А превысило допустимый предел, т.е.
А + АА>А + ААД0П.
Тогда для узла А рассчитывается а', гарантирующее АА = АЛД0П,
а (3' приобретает новое значение, обеспечивающее достижение требуемого АР (рис. 6.1, б). Формула для перерасчета следующая:
А А '
где а' - новый КОВ, обеспечивающий достижение ААдоп;
АА\ - допустимый предел изменения А^; АА1 - прирост, требуемый коэффициентом а.
Для расчета (3' прежде всего следует определить новый вес оставшихся показателей:
где ^ - сумма всех вновь рассчитанных КОВ; п1 - число вновь рассчитанных показателей. Тогда КОВ для каждого вновь рассчитанного показателя равен:
хе,
/=1
где т - число показателей, не изменивших свой статус; Р} - вновь рассчитанный КОВ для показателя;
Ру - предыдущее значение КОВ для показателя;
^Ру -сумма всех КОВ, не изменивших свой статус.
П
Таким образом, в случае надобности перерасчет происходит для тех вершин дерева, которым указанного ресурса не хватает. Заимствование ресурса происходит у «соседа справа», т.е. используется ресурс, предназначенный для прироста вершины, находящейся справа от текущей. Если и этого не хватило, то происходит обращение к следующей вершине, находящейся справа, и так до конца дерева целей. Не исключено, что для достижения главной цели ресурсов на предприятии не достаточно, о чем должна оповещать в конце концов система формирования решений.
Принцип обращения за ресурсами к «соседу справа» восходит к основам логического программирования, и, как известно, ориентирует на обработку знаний в последовательности «сверху- вниз-слева-направо». Применение этого принципа для построения систем формирования решений на основе обратных точечных вычислений снимает множество проблем как теоретического, так и практического характера.
6.2.Формирование альтернатив, их оценка и выбор
Добиться главной цели, представленной с помощью дерева, можно путями, число которых трудно подсчитать. Пока не существует какого-либо метода, который позволяет осуществлять поиск альтернативы, последовательно отбрасывая ненужные, как это делается в математическом программировании. Сегодня можно получить результат, лишь определив разумное множество альтернатив, среди которых на основании некоторого критерия выбирается один.
Получить множество альтернатив, отражающих результаты обратных вычислений, можно путем табулирования коэффициентов относительной важности целей в указанных заранее границах. Иллюстрацией результатов этого процесса служит рис. 6.2, где представлен фрагмент дерева целей, у которого КОВ изменяется в следующих границах:
0,6<оц <0,8; 0,2<р,<0,4;
0,3<а2 <0,6; 0,1<Р2 <0,3; 0,2<у <0,1.
Как правило, лицо, формирующее решение, может также изменять и граничные значения ресурсов, пытаясь получить вариант решения, наиболее выгодный в настоящее время. Например, если есть возможность изменять ограничение на ресурс а на величину от А до А , а ресурс Ъ - от В до В, то, естественно, число альтернатив еще больше возрастет.
Некоторые варианты достижения главной цели, которые могут быть получены с помощью представленного на рис. 6.2 фрагмента дерева целей, показаны в табл. 6.1. Шаг табуляции для КОВ равен 0,1, для ресурса а - 10 ед., для ресурса Ъ - 0,01 ед.
Таблица 6.1 Варианты значений коэффициентов относительной важности целей
|
Оценка и выбор полученных альтернатив возможны на основе следующих критериев.
1. Лучшим будет тот вариант решения, который обеспечивает максимальное продвижение к цели с минимальным заимствованием ресурсов у «соседа справа».
2. Лучшим будет тот вариант, который обеспечивает максимальное продвижение к цели с минимальным заимствованием у любого партнера («дешевый кредит»).
Первый критерий предполагает жестко установленную последовательность заимствований, соответствующую расположению терминальных вершин дерева целей. Второй критерий такой последовательности не предполагает. Заем будет сделан в той терминальной вершине, где «платить» за него придется меньше всего.
Критерий «дешевого кредита» более точный, так как позволяет управлять заимствованием, исходя не из наперед жестко заданной схемы (слева направо), а на основе схемы, учитывающей предпочтения не только у «соседа справа», но у всей совокупности терминальных вершин.
Совершенствование предложенных здесь критериев выбора лучшего решения может быть продолжено в направлении установления некоторой границы, заимствование в пределах которой может не штрафоваться или штрафоваться по линейной зависимости, а за ее пределами - более жестко, например, согласно экспоненциальной зависимости. В арсенале разработчика системы здесь может использоваться весь перечень известных ему функций. Более подробно об этом можно прочесть в [5].
6.3.Разработка систем формирования решений на основе программных оболочек
Систему формирования решений, ориентированную на использование результатов обратных вычислений, целесообразно создавать на основе программных оболочек. Характерная черта такого рода инструментальных средств заключается в том, что они позволяют без программирования изменять как процесс расчета, так и форму представления знаний.
Для обратных вычислений требуются следующие формы представления знаний: дерево целей, дерево вероятностей, дерево вывода и нечеткие множества. Обработка деревьев целей и вывода возможна по принципу «сверху-вниз-слева-направо», а дерева вероятностей - «сверху-вниз». Состав системы формирования решений, ориентированной на применение результатов обратных вычислений, представлен на рис. 6.3.
Главными компонентами системы являются база данных и база знаний.
База данных используется в качестве внешнего их источника и содержит информацию о состоянии дел как на самом предприятии, так и за его пределами. Внутренняя информация касается производства, финансов, основных фондов, оборотных средств, кадров и т.д. Вся перечисленная информация достаточно точна и находится в обязательной бухгалтерской и статистической отчетности.
Рис. 6.3 |
Внешняя информация отражает состояние дел во внешней сфере и касается рынка, конкурентов, кредитной и таможенной политики государства, мировых тенденций в области финансов и энергоносителей и др. Источником этой информации являются бюллетени, сводки, биржевые отчеты, пресса.
База знаний содержит модели формирования решений, ориентированные на вполне конкретную область. Знания в системе, ориентированной на обратные вычисления, могут быть представлены в следующих формах:
• дерево целей, снабженное формулами расчета;
• дерево вывода;
• дерево вероятностей;
• нечеткие множества.
Модули приобретения знаний и ввода данных содержат в себе систему управления базами знаний (СУБЗ) и систему управления базами данных (СУБД). С помощью СУБЗ создают деревья целей, выводов и вероятностей, корректируют и ликвидируют их. СУБД предназначены для создания баз данных, ввода исходных данных и их корректировки.
Модуль обработки знаний состоит из ряда подмодулей, предназначенных для числовой обработки каждого вида знаний. Работают они автономно.
Модуль обработки данных предназначен для поиска, агрегирования и выполнения предварительных расчетов на основе баз данных.
Пользовательский интерфейс является диалоговой компонентой системы и представляет собой программные и аппаратные средства, которые обеспечивают взаимодействие пользователя с системой. Данный термин охватывает все аспекты взаимодействия пользователя и системы формирования решений. Он также включает те факторы, которые делают взаимодействие простым, интерактивным и удобным. Недружественность пользовательского интерфейса зачастую является главной причиной того, что менеджеры не используют компьютерную поддержку своей деятельности в полной мере.
Наличие программной оболочки исключает этап программирования, что существенно сокращает трудоемкость и сроки разработки системы. Она позволяет лицу, формирующему решение, оперативно адаптировать систему под новую конъюнктуру рынка, изменения в социальной среде и т.д.
В зависимости от характера принимаемых решений используется та или иная форма базы знаний. Если проблема и цель достаточно определены и могут быть описаны детерминированными зависимостями, то применяется дерево целей. В противном случае, т.е. когда связи между событиями расплывчаты, но могут быть описаны с некоторой долей определенности, применяются деревья вывода и нечеткие множества. При наличии вероятностной информации можно применять дерево вероятностей.
Перечислим типовые процедуры машинной технологии формирования решения с помощью программных оболочек.
1. Сформулировать проблему, цель или гипотезу, требующие принятия решения, а также критерий оценки альтернатив.
2. Выполнить постановку задачи и выбрать модель базы знаний.
3. Составить словарь системы.
4. Наполнить систему знаниями и данными.
5. Проанализировать полученный вариант (варианты) решения и в случае надобности изменить условия их получения.
Формирование проблемы, цели или гипотезы
Допустим, предприятие характеризуется низкой рентабельностью и высокой себестоимостью продукции, что существенно снижает его конкурентоспособность. Признаками проблемы низкой конкурентоспособности являются сокращение объемов реализованной продукции, снижение уровня заработной платы, а также трудности с получением и возвратом кредитов.
Цель в данном случае состоит в повышении рентабельности до желаемого уровня, определяемого траекторией развития предприятия. В качестве критерия оценки вариантов решений можно выбрать минимум ресурсов, необходимых для достижения цели.
Постановка задачи и выбор модели базы знаний
Согласно сложившейся практике постановка задачи должна содержать описание:
• результирующей информации (что следует получить в результате решения задачи);
• входной информации;
• условно-постоянной информации;
• процедур и алгоритмов преобразования входной информации в результирующую.
В итоге выполнения данной процедуры получают:
• дерево целей с формулами для расчетов, или дерево вывода типа И-ИЛИ с нечеткими множествами;
• ограничения, диктуемые объемами наличных ресурсов;
• перечень первичных документов (бухгалтерских, финансовых, внешних и др.);
• перечень результирующих документов (бумажных, электронных).
Составление словаря системы
Словарь системы - это набор слов, фраз, кодов, наименований, используемых разработчиком для обозначения условий, целей, заключений и гипотез. Словарь - это тот набор слов и обозначений, которым владеет система и благодаря которому пользователь понимает результаты ее работы. Составление словаря - важная работа, ибо четко сформулированные условия и ответы резко повышают эффективность эксплуатации системы. При составлении словаря и при его вводе в систему следует иметь в виду, что требуется однозначное, без повторений обозначение (или формулирование) только гипотез (главных заключений, находящихся в корне дерева). Условия и промежуточные выводы могут использоваться в качестве исходных данных для вывода различных гипотез и поэтому их обозначения могут повторяться.
Наполнение системы данными и знаниями
Эта процедура предусматривает отчуждение субъективных знаний у лица, формирующего решение, для настройки системы. Системе следует сообщить:
• приоритеты в достижении цели на различных уровнях дерева, а также шаг и диапазон изменения коэффициентов относительной важности (КОВ);
• ограничения на используемые ресурсы, а также диапазон их изменения;
• критерий, согласно которому следует выбирать вариант решения;
• форму выдаваемой информации (таблица, диаграмма, график и т.д.).
Исходные данные из бухгалтерской, финансовой и другой отчетности, а также информация из внешних источников (ставки рефинансирования, кредитные ставки, таможенные пошлины и т.д.) поступают в базу данных.
Анализ предложенного варианта решения
Система может лишь подготовить вариант (варианты) решения, но не может его принять. Ответственность за принятие решения несет лицо, формирующее решение, поэтому оно должно взвесить все возможные последствия данного шага. Если возникают какие-либо сомнения либо появились новые соображения, которые можно ввести в систему и получить уточненное решение, то после их ввода система повторно выполняет необходимые расчеты и предоставляет новый вариант решения.
6.4.Технология функционирования системы формирования решений
Технологию функционирования системы рассмотрим с помощью интерфейса, указывающего на операции, которые следует выполнить.
Основное меню системы содержит шесть позиций, содержание которых раскрывается с помощью выпадающих подменю. Для разработчика системы предназначены позиции Правила, Ввод, Редактирование, а для пользователя - Ввод, Выполнение, Печать. В процессе приобретения опыта работы с системой пользователь сам сможет выполнять функции разработчика, так как программирование не требуется.
Позиция Правила позволяет вводить правила при создании новой системы. Чтобы инициировать работу созданного набора правил, предварительно необходимо его загрузить. Для этого предназначена позиция Загрузить, которая после ее выбора предоставляет пользователю возможность указать и загрузить требуемый набор правил.
После ввода нового набора правил возникает необходимость в его сохранении. Сохранить можно под старым именем или новым. Для этого достаточно указать позиции Сохранить или Сохранить как... При желании можно отказаться от этих функций нажатием клавиши Esc.
Таблица «Ввод знаний» предоставляет эксперту возможность ввести следующую информацию:
Гипотезы.
Правила.
Формулы.
База данных.
Терминальные вершины.
Указав первую позицию, пользователь получает на экране макет ввода гипотезы. При этом в случае проверки гипотезы на синонимию он может, нажав клавишу F7, открыть окно словаря использованных гипотез. После ввода всех требуемых гипотез (ввод их обязателен) эксперт нажатием клавиши Esc может вернуться в главное меню.
Ввод правил с помощью позиции Правила является центральной процедурой системы. Указав данную позицию, пользователь получает меню, в котором следует уточнить тип правила. Для этого предусмотрена таблица «Тип правила».
Выбрав позицию Простое, эксперт получит макет ввода простого правила (рис. 6.4).
Ввод правил, условия в которых связаны логическими операциями ИЛИ/И, выполняется по тому же макету, что и простое правило, однако число выводов не ограничивается.
Некоторые или большинство терминальных вершин могут содержать условия, выполнение которых ведет к изменению содержания самого правила. Если возникла необходимость ввода реляционного выражения, эксперт в окне «Тип правила» должен указать позицию Реляционное выражение, что обеспечит ему соответствующий макет ввода (рис. 6.5).
В том случае, если реляционное выражение поддерживается формулами, следует указать соответствующую позицию (Формулы). Указав ее, эксперт получает на экране макет ввода формул (рис. 6.6).
Ввод правила
Коэффициент определенности |
да |
Условие отрицается |
нет |
С операцией И С операцией ИЛИ Реляционное выражение
Что выводится из правила
|
Еве - Отказ |
- Словарь |
Р2 - Сохранить
Рис. 6.4
Просмотр и редактирование уже введенного набора правил осуществляется с помощью специального диалогового окна. Изменение (удаление, редактирование) осуществляется после вызова директории с именами файлов с наборами правил. Чтобы добавить новое правило, можно воспользоваться таблицей диалога «Тип правила», которая, в свою очередь, обеспечит эксперту макет ввода правила.
-------------------- Ввод реляционного выражения ------------
Тип правила
Коэффициент определенности |
Условие |
Что выводится из реляционного выражения
Условие отрицается
да
нет
- Словарь |
- Сохранить |
Еве - Отказ Рис. 6.5
--------------- Ввод формул
Имя переменной
Выражение, определяющее переменную
Еэс - Отказ |
- Словарь |
- Сохранить
....................... к м г и"" ..................... ' .*< ' ил'? т?* I • ' ' ■ ■■ I Н^.гввУ |
Коэффициент определенности |
||
|
Да |
|
|
Нет |
|
|
Почему |
|
Еэс - Отмена |
Р10-Главное меню |
Рис. 6.6
Позиция Выполнение главного меню предназначена для пользователя. Однако, прежде чем запустить систему на выполнение, он должен загрузить тот набор правил, работа с которым планируется. Загрузка осуществляется в окне Ввод правил. Указав позицию Выполнение, пользователь получает окно с предложением указать, обрабатывать ли все гипотезы данного набора правил или только одну. Введя в окно свое пожелание, пользователь получает макет ввода значений переменных для использования реляционных выражений и формул. Осуществляется это с помощью таблицы диалога «Макет ввода коэффициентов». Макет ввода представлен на рис. 6.7.
Для условия:
Укажите коэффициент определенности (от -1 до 1)
После окончания ввода всех исходных данных система автоматически производит расчет коэффициента определенности гипотезы. Если в качестве терминальных вершин используются реляционные выражения или формулы, ввод их производится так же, как и простых терминальных вершин.
Результаты расчетов предоставляются в диалоговом окне, форма которого показана на рис. 6.8.
------------------------ Результаты расчетов------------------------
Для гипотезы Г_~_ Коэффициент определенности равен [
F1 - ответ на вопрос КАК F1 - ввод иного условия Enter - продолжение
Рис. 6.8
Возникшие сомнения в отношении правильности результатов пользователь может рассеять, нажав клавишу F1. В результате на экране появляется объяснение типа КАК.
Дальнейшее развитие систем, ориентированных на применение обратных вычислений, по всей вероятности, будет направлено на синтез неоднородных баз знаний. Это представляется вполне очевидным, так как человек применяет в своей деятельности множество форм и методов представления и обработки знаний.
Второе направление, которое уже достаточно интенсивно развивается, касается методов, обслуживающих информационные технологии, направленные на обработку информации, поступающей из сети Интернет. Эта информация характеризуется сильной неструктурированностью и разнородностью, однако она необходима для правильного формирования решения. В настоящее время интенсивно развиваются информационные технологии, предназначенные для обработки именно такой информации, названные «Интеллектуальный анализ данных» (Data Mining). Ожидается, что эта и другие новейшие достижения в области искусственного интеллекта существенно повлияют на дальнейшее развитие систем формирования решений.
1. Формулы обратных вычислений для детерминированных зависимостей
|
Целевая установка, пример |
Прирост аргументов |
Коэффициенты |
у- = /(лГ(а),г-(Р)), р- = Я_(а),а>Р с-(р) |
П-А/7 = —, К С - АС = — к2 |
аС/> -ря /с _ Р-АР 1 ас-ря ' „ _к,(Р-АР) /Сл — 2 р |
Решение задач на основе единого коэффициента прироста аргументов |
||
У+ - /(х+(,а)> г+(Р)), Р+ =К+ (а)Ц+ф), а > Р. |
АК = ак0, АЦ = $к0 |
-(аЦ + р/С) = с1 с1±^(с12 +4аРАР кг\ — 0 2ар |
у+ = /(*», г~(р)), р+ _ П+{а) с-(р) |
АП = ак0, АС = р к0 |
к ~ АР'С 0 ~р(Р + АР) + а |
^+=/(лг-(а),г+(Р)), Ф+ =АФ'(а)+ПФ+ф), Р > а |
ААФ = ак0, АПФ = р к0 |
АФ ~ р - а |
у+ = Ах'(а), г"(Р)), р+ _ П~(а) С"(Р) |
АП = а к0, АС = р&0 |
А _ С-АР 0 р(Р + АР) - а |
у- = /(х+(а), г+(р)), П = В-С |
Д£ = а£0, АС = Р*0 |
~ Р - а |
у~ = /(х-(а), z+m, р- _ П'{ а) С+(Р)' а > р |
АП = ак0, АС = Р к0 |
_ П-С(Р-АА) 0 ~ Р(Р-АР) + а |
у~ = /(*~(а), г~(Р)), />-=/Г-(а)-С-(р) |
АК = ак0, АС = р&о |
/ф + Са = </ 7 с/±^2+4арАР 0 ~ о о 2аР |
Целевая установка, пример |
Прирост аргументов |
Коэффициенты |
Решение задач без коэффициентов прироста аргументов |
||
/ = /(*»,г+(Р)), Я+=Я+(а)-С+(Р), а > р |
АВ = — АС, Р АС = ^ Р |
- |
= /(*», г" (Р)), р+_Л+( а) С"(Р) а > Р |
дс = (Р+АР)С-Я5 Р АЯ=аДС Р |
- |
У+ = /(х~(а), г+(Р)), = П~ (а) + П„ (Р) |
аяп=|аяи, р |
- |
>>+=/(х-(а), 2"(Р)), ґ _ *"(«) Л" (в) |
аа=А(1 + А1)-Б^ І+ АІ — — Р А£=-АЛ Р |
- |
у~ = /(*», г+(Р)), П~ = В* (а) - С+ (Р), Р > а |
Р АС = ^ Р |
- |
У~ = /(*+(а)> г~(Р), Я" = Я„ (а) + П* (Р) |
АЯп=^, В «-1 Р |
- |
Целевая установка, пример |
Прирост аргументов |
Коэффициенты |
У~ = /(•*"(«)» г+(Р), = П~ (а) + П* (Р) |
Р |
- |
У~ = /(•*"(«)> г~(Р), = П~ (а) + Я" (Р) |
Р |
- |
Решение задач без указания приоритетности целей |
||
п+ =в+-с+ |
В + АВ = кВ, С+АС=кС |
, /7 +Л/7 л =------------ П |
г> = п* С~ |
П + АЛ = кП, Г С-ДС=- к |
|
А+ =В'-С+ |
В-АВ = ~, к С+АС=кС |
исв |
К — 2С |
||
у~ = /С*~» О А~ = В~ - С~ |
В-АВ = -, к г с-дс = - к |
А-АА |
2. Формулы обратных вычислений для вероятностных зависимостей
Целевая установка |
Вид задачи |
Р(А + В)+ = = Р(А(а))++ Р(Вф))+ |
Р(А + В) + АР(А + В) = Р(А) + АР(А) + Р(В) + АР(В) < АР(А) а АР(В) Р |
Р(А + В)+ = = Р(Л(а))+ + Р(Д(р)Г |
'Р{А + В) + АР (А + В) = />(Л) + АР(А) + - АР(Я) < АР(А) а АР(В) Р |
Р(А + В)~ = = Р(А(а))+ + Р(Вф))~ |
'Р(А + Я) - ЛР(Л + В) = Р(А) + АР{А) + Р{В) - АР(В) < АР(А) а АР(В) Р |
Р(А + В)+ = = Р(А)+ + Р(В)+ |
Р(А + В)± АР(А + В) = Р(А)± А Р(А) + Р(В) ± А Р(В) < АР(А) = кР(А) АР(В) = кР(В) |
Р(А + В)+ = = Р(А)+ + Р(В)~ |
Р(А + В) + АР(А + В) = Р(А) + АР(А) + Р(В) - АР(В) < АР(А) = кР(А) АР(В) = кР(В) |
Р(А + В)+ = = Р(А)+ + Р(В)+ - -Р(А)+ • Р(В)+ |
Р(А + В) + А Р(А + В) = Р(А) + АР(А) + Р(В) + АР(В) - < -(Р(А) + АР(А))(Р(В) + АР(В)) АР(А) а АР(В) р |
Р(А + В)+ = = Р(А)~ + Р(В)+- -Р(А)~Р(В)+ |
Р(А + В) + АДЛ + В) = Р(Л) - АР(Л) + + АР(Я) - - -(Р(А)-АР(А))(Р(В) + АР(В)) АР(А) а АР(В) р |
Целевая установка |
Вид задачи |
Р{А + В)+ = = Р(А)+ + - -Р(А)+Р(В)+ |
Р{А + В) + АР(А + В) = Р(А) + АР(А) + +Р(В) + АР(В) - (Р(А) - АР(А))(Р(В) + АР(В)) ' АР(А) = к-Р(А) ЛР(В) = к-Р(В) |
Р(А + В)+ = = Р(А)~ + Р(В)+ - -Р(А)~Р{ВГ |
Р(А + В) + АР(А + В) = Р(А) - АР(А) + +Р(В) + АР(В) - (Р(А) - АР(А))(Р(В) + АР(В)) АР(А) = к-Р(А) АР(В) = кР(В) |
P{ABf = = РИ(а))±х хР((В | ЛХр))* |
Р(ЛВ)±АР(ЛВ) = = (Р(А)±АР(А))(Р(В\А)± < ±АР(В\А)) АР(А) а АР(В) р |
Р(А Bf = = />(Да))±х х^РМХР))1 |
Р(А • В) ± АР(А • В) = (Р(А) ± ЛР(А))(Р(В | А)± ±АР(В\А)) < АР(А) = к-Р(А) АР(В\А) = к-Р(В\А) |
P(ABf = = 7»И(а))±х x^Wß))* |
ГР(А ■ В) ± АР(А • В) = (Р(А) ± АР(А))(Р(В) ± АР(В)) | АР(А) _ а |
P(ABf = = P{Af-P{Rf |
'Р(А • В) ± АР(А • = ± ДР(Л))(Р(Я) ± АР(5)) « АР(А) = к-Р(А) АР(В) = кР(В) |
P(Af = P(Hl{a)fx xP(A \H{) + +Р(Нгф?Р(А\Нг) |
Р(А)±АР(А) = {Р{Ні) і АР(Н! ))(Р(А | Я,) + ' +(Р(Я2) ± АР(Н2))(Р(А І Я2 ) АР(Л) _ а(Я,) [АР(Я) Р(Я2) |
P(Af = />(#,)* x xP(A | Hx) + +P{H2f-P{A\H2) |
± АР(Л) = (Р(НХ)± АР{НХ)ША |Я,) + +(Р(Я2)±АР(Я2))(Р(Л|Я2) < АР(Н]) = к Р(Н]) АР(Н 2)-к- Р(Н 2) |
3. Формулы обратных вычислений для приближенных рассуждений
Целевая установка |
Прирост аргументов (вид задачи) |
|
ct(b)+ = ct+(a)-ct(np) |
/ Ч Л / ч ct(b) + Act(b) ct(a) + Act{a) = , ч ct(np) |
|
ct(b)" =сГ(a) ct(np) |
ct(a) Act(a) = ct(np) |
|
ct{bf =ct+min(a)ct(np) |
/ ч A / ч ct(b) + Act(b) ctmin (a) + A c/min (a) = w |
|
ct(b)~ = сГт\п (a) • ct(np) |
/ ч 4 / ч ct(b)-Act(b) Ctmm i") ~ A^min (* ) = V ' V ' ct(np) |
|
ct(b)+ = ct+max (a ) • ct(np) |
/ ч Л / ч C/(6)+Ac/(6) ctmax(a) + Actmax(a) = w w ct(np) |
|
ct(b)~ =ct~max(a)ct(np) |
ct(np) |
|
ct(kf =ct+(a, a)x xct(npl) + ct+(b,P)x xct(np2) - ct* (a ,a) x xct(npl)ct~(b$)x xct(np2) |
< |
+ Ac^(A:) = (c/(a) + Act(a)) • + (ct(b) + -(c/(a) + Act(a)) • с/(л/?1) • (ct(b) + Ac/(Z>)) • ct(np2) Act(a) a Act(b) p |
ct(k)+ = cf+(a,a)x xct(npl) + ct~(b,$)x xct(np2)~ ct+ (a, a) x xct(npl)ct~(b,$)x xct(np2) |
< |
ct(k) + Ac/(A:) = (ct(a) + Act(a)) • + (ct(b) - -Act(b))-ct(np2)- -(ct(a) + Act(a)) • ct(np\) • (ct(b) - Act(b)) • ct(np2) A ct(a) a Act(b) p |
ct(k)+ =ct~(a, a)x xct(npl) + ct+(b$)x xct(np2) -ct~ (a, a) x xct(npl) ct+(b,$)x xct(np2) |
« |
ct{k) + Act(h) = (ct(a) - Ac/(a)) • ct{np\) + (ct{b) + +Act(b))-ct(np2)~ -(<ct(a) - Acf(a)) • c/(«/?l) • (ct(b) + Ac/(Z>)) • ct(np2) A ct(a) a A ct(b) p |