Именно здесь смыкаются временная и каузальная логики. Мы уже говорили, что рассуждения о будущем носят модальный характер. В будущем может реализоваться не одна последовательность событий, а целый веер таких последовательностей. И при выводе от причин к следствиям это необходимо учитывать. Поэтому причинно-следственные сценарии нужно снабжать дополнительной информацией (весами) о временных задержках в наступлении следствий после непосредственных причин. Этими весами можно помечать [c.138]
Завершая параграф, посвященный каузальным логикам, надо отметить, что по сравнению с временными и пространственными логиками эти логики пока еще разработаны весьма поверхностно. Требуются еще большие усилия для их завершения. Особенно мало сделано в области анализа взаимного влияния выводов в каузальных логиках на выводы во временной и пространственной логиках (на рис. 3.11 эти. связи отмечены прямыми стрелками, идущими между соответствующими логиками), а также в области влияния каузальных логик на принятие решений в логиках действий. Об этом последнем влиянии мы еще поговорим в последующих главах, где будут обсуждаться логики действий. [c.156]
Псевдофизические логики суть логики отношений. Именно отношения выполняют в них роль переменных. Поэтому псевдофизические логики классифицируются в зависимости от типов используемых отношений. Логика времени изучает взаимосвязь временных отношений, логика пространства — пространственных, логика действий — отношений типа субъект — действие или действие — место, каузальная логика — взаимосвязь отношений типа причина — следствие, частотная логика — отношений типа повторяемость — частота и т. д. Объекты же, связанные отношениями, выступают в этих логиках лишь в качестве неизменной части описаний. Поясним это следующим примером. Пусть в нашем распоряжении имеются два факта (аг.22Ь) и ( r.2lb). Из них при любой интерпретации объектов a, b и с можно вывести факт (аг-22с). Правило вывода такого рода должно входить в систему правил временной псевдофизической логики. [c.107]
Система псевдофизических логик характеризуется связями, существующими между отдельными логиками. Одни из типов связей проиллюстрирован выше. Аксиому s=vt, где s — путь, t — время, v — скорость, можно рассматривать в качестве связи временной, пространственной псевдофизических логик и псевдофизической логики действия. Примерами связей иного рода могут служить отношения, существующие между каузальной (причинно-следственной) логикой и логикой действий. [c.109]
Обычно та или иная псевдофизическая логика охватывает круг представлений человека о тех или иных явлениях окружающего мира. Так возникают временная логика, отражающая закономерности, присущие человеку при восприятии времени и рассуждений о нем, пространственная логика, каузальная (причинно-следственная) логика, логика действий, логика целей, логика оценок и т. п. Для задач управления сложными объектами наиболее интересны, именно те шесть логик, которые мы только что перечислили. Эти логики не независимы. На рис. 3.11 показана взаимосвязь между ними. К сожалению, пока в ситуационном управлении использовались лишь отдельные фрагменты псевдофизических логик, что объясняется их неразработанностью. За последние годы в этой области сделаны большие успехи. В настоящее время можно считать, что завершено создание временной логики и статической пространственной логики, созданы фрагменты для логики время — действие и для логики целей. Однако для каузальной логики, логики пространство — действие и, как следствие этого, полной логики действий ситуация пока еще остается не слишком хорошей. Что касается логики оценок, то она в настоящее время проходит в своем развитии этап философского осмысления тех понятий, которые [c.110]