Обычно та или иная псевдофизическая логика охватывает круг представлений человека о тех или иных явлениях окружающего мира. Так возникают временная логика, отражающая закономерности, присущие человеку при восприятии времени и рассуждений о нем, пространственная логика, каузальная (причинно-следственная) логика, логика действий, логика целей, логика оценок и т. п. Для задач управления сложными объектами наиболее интересны, именно те шесть логик, которые мы только что перечислили. Эти логики не независимы. На рис. 3.11 показана взаимосвязь между ними. К сожалению, пока в ситуационном управлении использовались лишь отдельные фрагменты псевдофизических логик, что объясняется их неразработанностью. За последние годы в этой области сделаны большие успехи. В настоящее время можно считать, что завершено создание временной логики и статической пространственной логики, созданы фрагменты для логики время — действие и для логики целей. Однако для каузальной логики, логики пространство — действие и, как следствие этого, полной логики действий ситуация пока еще остается не слишком хорошей. Что касается логики оценок, то она в настоящее время проходит в своем развитии этап философского осмысления тех понятий, которые [c.110]
Как и для временной логики, начнем построение пространственной статической логики с модели представлений. Учитывая достаточно полное изложение методики построения псевдофизических логик на примере временной логики, мы ограничимся для пространственной логики более фрагментарным изложением. Наибольший интерес в пространственной логике представляет та ее часть, которая связана с получением выводов на топологической шкале расстояний между объектами. Именно эту часть логики мы и рассмотрим здесь. Наше изложение должно пополнить общее представление о тех проблемах, которые встают перед разработчиками псевдофизических логик. Другие же разделы, относящиеся к пространственной статической логике (работа с метрическими шкалами и отображение высказываний на них, работа с отношениями взаимного расположения предметов, отношениями ориентации их в пространстве и многое другое), фактически строятся аналогично тому,, как это делалось для временной логики. [c.125]