Методы графического моделирования по своим возможностям универсальны. С их помощью удается представить статику и динамику объектов любой природы. Графически можно отобразить каузальную связь явлений, логику развития во времени технологических процессов, информационных и материальных потоков, состояний системы в одно- и многовариантном, симультанном (одномоментном) и мультипликационном представлении. [c.263]
Именно здесь смыкаются временная и каузальная логики. Мы уже говорили, что рассуждения о будущем носят модальный характер. В будущем может реализоваться не одна последовательность событий, а целый веер таких последовательностей. И при выводе от причин к следствиям это необходимо учитывать. Поэтому причинно-следственные сценарии нужно снабжать дополнительной информацией (весами) о временных задержках в наступлении следствий после непосредственных причин. Этими весами можно помечать [c.138]
Таким образом, в каузальной логике больше вопросов и нерешенных проблем, чем ответов на них. И один из наиболее трудных вопросов — проблема получения в каузальной логике нечетких выводов, когда наличие причин известно лишь с некоторой оценкой достоверности, а иногда и нет полной уверенности, что именно данные факты служат причинами интересующего нас факта. Именно этой проблемой, играющей во всех системах управления объектами сложной природы большую роль, мы будем заниматься в оставшейся части настоящего параграфа, причем будем считать, что уже выработана гипотеза о том, что иь у2, -, vm могут быть причинами w. О методах формирования таких гипотез будет говориться в гл. 4. Мы же обсудим, как строятся специальные правила вывода, позволяющие осуществлять переход от иь и2,. .., vm к w, и сосредоточим свое внимание на том случае, когда все причины непосредственно приводят к w. Для простоты изложения ограничимся случаем, когда между vt нет никаких связей, которые запрещали бы появление одной из причин при наличии другой. В списке литературы к данной главе указаны источники, в которых это ограничение снято. И, наконец, будем считать, что w наступает, если все Uj реализованы. Случай, когда достаточно хотя бы одной причины и,- для реализации w, не вносит ничего принципиально нового и также рассмотрен в работах, указанных в списке литературы. [c.140]
Завершая параграф, посвященный каузальным логикам, надо отметить, что по сравнению с временными и пространственными логиками эти логики пока еще разработаны весьма поверхностно. Требуются еще большие усилия для их завершения. Особенно мало сделано в области анализа взаимного влияния выводов в каузальных логиках на выводы во временной и пространственной логиках (на рис. 3.11 эти. связи отмечены прямыми стрелками, идущими между соответствующими логиками), а также в области влияния каузальных логик на принятие решений в логиках действий. Об этом последнем влиянии мы еще поговорим в последующих главах, где будут обсуждаться логики действий. [c.156]
В известной монографии [3.18] приводится еще ряд схем, позволяющих делать правдоподобные выводы при наличии посылок, которые не могут быть признаны абсолютно истинными. Знакомство с этой книгой для тех читателей, которы-заинтересованы в создании каузальных логик, является, по-видимому, необходимым. [c.263]
Возможно, читателям будет небезынтересно узнать, что многие проблемы, возникающие при работе с причинно-следственными деревьями и сетями, хорошо исследовались совершенно в другой области, связанной с диагностикой неисправностей технических систем или с причинами заболеваний у человека. В связи с этим можно рекомендовать познакомиться с работой [3.25], в которой излагается специальная теория вопросников, близкая по духу к" тем идеям, которые мы обсуждаем в разделе о каузальной логике. В монографии [3.26] вводится модель обратимого конечного автомата, которая позволяет делать определенные выводы о причинах, приводящих к тому или иному следствию. Использование причинно-следственной сети в [3.27] для выявления причин заболеваний и постановки диагноза в экспертных медицинских системах может служить еще одной иллюстрацией применения каузальных логик для пополнения знаний. [c.264]
Идея построения стратегии на основе отслеживания корреляции между стратегическими целями интересна. Однако следует иметь в виду, что причинно-следственные цепочки сбалансированной системы показателей не отражают математическую логику (как в случае с известной системой показателей ROI). В сбалансированной системе показатели связаны между собой логически-каузально, но не математически-каузально. Если изменяется целевое значение того или иного показателя, то конкретное изменение значения другого показателя в системе целей предсказать, как правило, [c.77]
Обычно та или иная псевдофизическая логика охватывает круг представлений человека о тех или иных явлениях окружающего мира. Так возникают временная логика, отражающая закономерности, присущие человеку при восприятии времени и рассуждений о нем, пространственная логика, каузальная (причинно-следственная) логика, логика действий, логика целей, логика оценок и т. п. Для задач управления сложными объектами наиболее интересны, именно те шесть логик, которые мы только что перечислили. Эти логики не независимы. На рис. 3.11 показана взаимосвязь между ними. К сожалению, пока в ситуационном управлении использовались лишь отдельные фрагменты псевдофизических логик, что объясняется их неразработанностью. За последние годы в этой области сделаны большие успехи. В настоящее время можно считать, что завершено создание временной логики и статической пространственной логики, созданы фрагменты для логики время — действие и для логики целей. Однако для каузальной логики, логики пространство — действие и, как следствие этого, полной логики действий ситуация пока еще остается не слишком хорошей. Что касается логики оценок, то она в настоящее время проходит в своем развитии этап философского осмысления тех понятий, которые [c.110]
Каузальные исследования можно осуществлять на основе мето- да логико-смыслового моделирования, адаптированного под цели конкретного исследования, путем использования различных математических методов, в частности факторного анализа. На практике данные исследования достаточно часто проводятся также в форме эксперимента. [c.101]
Псевдофизические логики суть логики отношений. Именно отношения выполняют в них роль переменных. Поэтому псевдофизические логики классифицируются в зависимости от типов используемых отношений. Логика времени изучает взаимосвязь временных отношений, логика пространства — пространственных, логика действий — отношений типа субъект — действие или действие — место, каузальная логика — взаимосвязь отношений типа причина — следствие, частотная логика — отношений типа повторяемость — частота и т. д. Объекты же, связанные отношениями, выступают в этих логиках лишь в качестве неизменной части описаний. Поясним это следующим примером. Пусть в нашем распоряжении имеются два факта (аг.22Ь) и ( r.2lb). Из них при любой интерпретации объектов a, b и с можно вывести факт (аг-22с). Правило вывода такого рода должно входить в систему правил временной псевдофизической логики. [c.107]
Система псевдофизических логик характеризуется связями, существующими между отдельными логиками. Одни из типов связей проиллюстрирован выше. Аксиому s=vt, где s — путь, t — время, v — скорость, можно рассматривать в качестве связи временной, пространственной псевдофизических логик и псевдофизической логики действия. Примерами связей иного рода могут служить отношения, существующие между каузальной (причинно-следственной) логикой и логикой действий. [c.109]
Выше уже говорилось, что в настоящее время не существует сколько-нибудь завершенного фрагмента этой логики, которая должна работать с отношениями, связывающими между собой причины и следствия. Вообще говоря, если каузальную логику трактовать достаточно широко, то ее можно расширить почти до теории вывода, в которой рассматриваются не только традиционные дедуктивные системы вывода, но и выводы индуктивного типа или выводы типа от частного к частному (традуктивные). Но мы не будем заниматься таким расширением, а рассмотрим в рамках данного параграфа несколько фрагментов каузальной логики в узком смысле, которые уже сейчас можно применять в системах управления семиотического типа. [c.136]
В заключение остановимся еще на одном классе правил вывода нечеткого типа. Такие правила, по-видимому, не имеют прямого отношения именно к каузальной логике, но по своей идеологии они тесно связаны с рассмотренными нами здесь правилами. Эта группа правил связана с рассуждениями по аналогии, играющими огромную роль для человека и находящими широкое применение при полуформальном объяснении технологии управления и способов принятия решений в условиях альтернативного выбора. [c.153]
Имеется сравнительно небольшое число исследований, в которых причинно-следственные отношения и каузальная логика рассматриваются в более широком контексте правдоподобных выводов индуктивного типа. Наиболее интересная попытка такого рода сделана в монографии [3.28]. В ней для всякого следствия, выводимого индуктивным путем, рассматриваются причины (автор называет их условиями) трех типов необходимые, достаточные и необходимые и достаточные. Другими словами, достаточные причины всегда в совокупности вызывают данное следствие. Если следствие реализовано, то обязательно реализовано множество необходимых причин. Множество необходимых и достаточных причин по сути включает в себя все множество причин, вызывающих данное следствие. Г. фон Вригт сформулировал конструктивные теоремы, позволяющие находить множества необходимых, достаточных, а также необходимых и достаточных причин на основе наблюдаемых следствий. [c.264]