Правила для пространственных и временных рассуждений?

Question

У меня есть приложение, которое получает ряд данных, которые характеризуют трехмерные пространственные и временные процессы. Затем он фильтрует эти данные и создает действия, которые затем отправляются процессам, которые выполняют действия. Промыть и повторить.

В настоящее время у меня есть набор пользовательских фильтров, которые выполняют множество сложных пространственных/временных вычислений.

Много раз, когда я обсуждаю свою систему с отдельными лицами в своей компании, они спрашивают, использую ли я механизм правил.

Мне еще предстоит найти механизм правил, способный хорошо рассуждать временно и пространственно. (Такие вещи, как: Когда два объекта 3D когда-либо закрываются? Является ли 3D-объект A когда-либо содержащимся в 3D-области B? Если объект C находится вблизи объекта D, но ориентирован назад относительно C, тогда выполните действие D.)

Я посмотрел Drools, Cyc, Jess в прошлом (говорят 3-4 года назад). Пришло время пересмотреть уровень техники. Какие-либо предложения? Любые стандарты, которые вы знаете, поддерживают такие рассуждения? Какие-либо стандарты defacto? Любые приложения?

Спасибо!

Answer 1

Предпосылка - помните, что SQL на основе СУБД является (вполне способен) механизм логического вывода, как можно видеть из этих сравнений между SQL и Пролог:

• prolog to SQL converter
• difference between SQL and Prolog

Для решения конкретно вам г пространственно-временных приложений, эта книга поможет:

• TEMPORAL DATA AND THE RELATIONAL MODEL - детальное исследование в применение интервала и теория отношений к проблеме височного управления базами данных.

То есть, объединение теории интервалов и соотношений позволяет эффективно рассуждать о пространственно-временных проблемах (см. 5.2 Applications of Intervals).

Конечно, если ваша СУБД SQL на основе (пока) оборудованы с интервалом (и других) операторов вам необходимо будет расширить его соответствующим образом (через магазин-процедуры и/или определяемые пользователем функции - UDF) ,

Update: скимминга бумаги указал in comments by timemirror (Towards a 3D Spatial Query Language for Building Information Models), они по существу то, что я затрагивал выше:

(последняя страница)

РЕАЛИЗАЦИИ КОНЦЕПЦИИ

Реализация абстрактной системы на язык запроса будет выполняться на база запроса язык SQL, который является широко распространенным стандартом в объектно-реляционных базах данных. Международный стандарт SQL: 1999 расширяет реляционную модель до , включая объектно-ориентированные аспекты, такие как как возможность определять сложные абстрактные типы данных со встроенными методами .

Я не согласен с терминологией «объектно-реляционная база данных» (по причине вне темы здесь), но я думаю, что остальное уместно.

Update: цитата regardind 3D и интервал теории из книги упоминавшееся выше:

ПРИМЕЧАНИЕ: Все интервалы обсуждаются до сих пор можно рассматривать как одномерным. Тем не менее, мы могли бы хотите объединить два одномерных интервалов, чтобы сформировать двумерный интервал.Например, прямоугольная участок земли может рассматриваться как двумерный интервал, потому что , по определению, объект с длины и ширины, каждая из которых является основном одномерный интервал измеряется вдоль некоторой оси. И, от курс, мы можем распространить эту идею на любые количество измерений. Например, здание (довольно простое!) Может быть , рассматриваемое как трехмерный интервал : это объект с длиной, шириной и высотой, или другими словами: cuboid. (Более реалистично, здание можно рассматривать как набор нескольких таких кубоидов, которые перекрываются в различными способами.) И так далее. В чем следует, однако, мы ограничим наше внимание к одномерным интервалов конкретно, за исключением явных заявления об обратном, и мы будем опускать «одномерный» спецификатор для простоты.

Примечание

1. Я написал SQL на основе и не реляционной, потому что есть способы использовать такой DBMSes, которые полностью отклониться от реляционной теории.

Answer 2

Это пространственное рассуждение ... несколько моделей, но 9DE-IM теперь принято OGC и реализовано в PostGIS и других инструментах программирования.

PostGIS реализует пространственное мышление двигатель на основе размерно расширена 9 пересечения модель ... 9DE-IM ..

http://postgis.refractions.net/documentation/manual-svn/ch04.html#DE-9IM проверки раздел 4.3.6.1. Теория ...

---

Так делает Java Топология Люкс (и Net Топология сюита для C# и т.д.) ...

http://docs.codehaus.org/display/GEOTDOC/Point+Set+Theory+and+the+DE-9IM+Matrix

В particualr проверить geometry.relate вещи .. такие в

булева isRelated = geometry.relate (geometry2, "T * T *** T **")

Вы можете проверить отношения, или фильтровать данные, основанные на них. Работает с PTS, линиями, полигонами и т.д. ...

---

Это может помочь в височных вещах ..

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.87.4643&rep=rep1&type=pdf

Answer 3

Проверьте SpatialRules на http://www.objectfx.com/. Это геопространственный комплексный процессор событий для 2D и 3D.