Статические и динамические пространственные модели
Намеченные модели стандартных пространственных логик обычно основаны на 'математических выражения", типа топологические или метрические
выражения и их относительные или алгебраические представления или абстракции. Тем временем, чтобы обсуждать основные принципы представления
временного измерения в статические пространственные модели, мы пренебрегаем конкретной структурой этих математических мест и сфокусируемся
на родовых свойствах моделей.
Чтобы рассмотреть пространственные свойства моделей нам понадобится счетное количество пространнственных переменных (унарные предикаты) Р0, Р1.
Таким образом, обычная пространственная модель может быть представлена в виде
M = ( G , P0^m,P1,^m ... )
где G- подлежащее математические выражение (допустим метрическое или топологические выражение или структурированное множество полигонов на
Евклидовой плоскости) ;
Mi^j - представления пространственной переменной в виде подмножеств G.
В зависимости от подлежащей пространственной онтологии, возможны два варианта моделей:
- точечные модели, где пространственные объекты представлены совокупностью точек;
- модели со Сложными (расширенные) пространственными представлениями, с опреледенными отношениями между ними.
Точечные пространственные модели.
В точечны моделях подлежащее выражение G является совокупностью точек, сгруппированных оператором point-wise. Интерпретаторы Pi^j
пространственных переменных Pi представляют пространственные объекты. Таким образом, пространственный олъект определяется набором сгруппированных точек.
Модели, использующие регионы.
В таких моделях пространственные объекты представлены как элементы подлежащего выражения G. Например, в виде G можно взять набор полигонов
из Евклидового пространства. Тогда структура пространственного объекта будет отражаться в отношениях между этими полигонами, которые должны быть
определены в G.