空間和時間推理的規則引擎？

我有一個應用程序接收大量的基準，表徵3維空間和時間過程。然後過濾這些基準並創建動作，然後將這些動作發送給執行動作的進程。沖洗並重復。空間和時間推理的規則引擎？

目前，我有一組自定義過濾器，執行大量複雜的空間/時間計算。

很多次，當我向我的公司的個人討論我的系統時，他們詢問我是否使用規則引擎。

我還沒有找到一個能夠在時間和空間上很好地推理的規則引擎。（例如：兩個3D實體何時關閉？3D實體A是否曾經包含在3D區域B中？如果實體C接近實體D但相對於C向後定向，則執行操作D）。

我看了Drools，Cyc，Jess在過去（比如3 - 4年前）。現在是重新審視最先進的技術的時候了。有什麼建議麼？你知道的任何標準都支持這種推理嗎？任何事實上的標準？任何申請？

謝謝！

來源

2010-03-18 John

調整，這樣它清楚地表明，我感興趣的3D實體，而不是2D實體。到目前爲止，大多數建議都集中在二維問題上。 – John 2010-03-23 19:56:22

前提 - 記住基於SQL的 DBMS是一個（相當的能力）推理引擎，如可以從SQL和前導之間這些比較中可以看出：

要重點解決您[R時空應用，這本書將幫助：

TEMPORAL DATA AND THE RELATIONAL MODEL - 詳細調查 間隔和關係理論到時態數據庫管理問題中的應用。

也就是說，結合區間和關係理論可以有效地推理時空問題（參見5.2 Applications of Intervals）。當然，如果您的基於SQL的數據庫管理系統尚未安裝間隔（和其他）操作符，則需要對其進行適當的擴展（，通過存儲過程和/或用戶定義的函數 - UDF）。

更新：掠過文件指出in comments by timemirror（Towards a 3D Spatial Query Language for Building Information Models），他們基本上做什麼，我談到了上面：

（最後一頁）

實現CONCEPTS

實施抽象型系統進入查詢語言將上進行查詢語言SQL，這是在對象 - 關係數據庫領域的廣泛制定標準的基礎。國際標準SQL：1999 將關係模型擴展到包括面向對象的方面，諸如作爲使用集成的方法來定義複雜的抽象數據類型的可能性。

我不同意「對象 - 關係數據庫」術語（這裏的理由是關於主題），但我認爲其餘部分是相關的。

更新：從書中報價regardind 3D和區間理論上面提到：

注：所有的時間間隔的討論到目前爲止可以被認爲是一維的。然而，我們可能要兩個一維間隔結合起來，形成一個二維間隔。例如，地面的矩形情節可能被認爲是二維間隔，因爲它是，根據定義，與長度和寬度，其中每一個是基本上測得的一維間隔對象沿着一些軸線。而且，當然，我們可以這個想法擴展到任何尺寸的數量。例如，一個（相當簡單！）建築物可能被認爲是一個三維間隔：它是一個長度爲寬度和高度的物體，換句話說是一個長方體。（更爲現實的，一個建築可被視爲一組在各種方式重疊幾個這樣的長方體。）等。在什麼以下，但是，我們會限制我們的關注的一維間隔具體而言，除非明確陳述相反，我們會省略「一維」預選賽簡單。

注意