空间和时间推理的规则引擎？

Question

我有一个应用程序，它接收许多表征 3 维空间和时间过程的数据。然后它过滤这些数据并创建操作，然后将这些操作发送到执行操作的进程。冲洗并重复。

目前，我有一组自定义过滤器，可以执行大量复杂的空间/时间计算。

很多时候，当我与公司中的个人讨论我的系统时，他们会问我是否使用了规则引擎。

我还没有找到一个能够很好地在时间和空间上进行推理的规则引擎。 （例如：两个 3D 实体何时接近？3D 实体 A 是否曾经包含在 3D 区域 B 中？如果实体 C 靠近实体 D，但相对于 C 向后，则执行操作 D。）

我过去曾看过 Drools、Cyc、Jess（比如 3-4 年前）。是时候重新审视最先进的技术了。有什么建议么？您知道的任何标准都支持这种推理吗？任何事实上的标准？有什么应用吗？

谢谢！

Answer 1

前提 - 请记住，基于 SQL 的¹ DBMS 是一个（非常强大的）推理引擎，从 SQL 和 Prolog 之间的这些比较可以看出：

• prolog to SQL converter
• difference between SQL and Prolog

为了具体解决您的时空应用，本书将有所帮助：

• TEMPORAL DATA AND THE RELATIONAL MODEL - 详细调查 区间和关系理论在时态数据库管理问题中的应用。

也就是说，结合区间和关系理论可以有效地推理时空问题（参见5.2 Applications of Intervals）。

当然，如果您的基于 SQL 的 DBMS（尚未）配备间隔（和其他）运算符，您将需要适当地扩展它（通过存储过程和/或用户定义函数 - UDF）。

更新：浏览论文指出in comments by timemirror (Towards a 3D Spatial Query Language for Building Information Models) 他们基本上做了我上面提到的事情：

（最后一页）

实施概念

抽象的实现 将系统类型转换为查询语言将 根据查询执行 语言 SQL，这是一种广泛 在该领域建立了标准 对象关系数据库。这 国际标准 SQL:1999 将关系模型扩展到 包括面向对象的方面，例如 作为定义复杂的可能性 具有集成的抽象数据类型 方法。

我不同意“对象-关系数据库”术语（因为这里离题了），但我认为其余的都是相关的。

更新：引用上述书中关于 3D 和区间理论的引述：

注意：讨论的所有间隔 到目前为止可以认为是 一维。然而，我们可能 想结合两个一维 间隔形成一个二维 间隔。例如，一个长方形 地块可以被认为是 一个二维区间，因为它 根据定义，是一个对象 长度和宽度，每一个都是 基本上是一维区间 沿某个轴测量。并且，的 当然，我们可以将这个想法扩展到任何 维数。例如，一个 （相当简单！）建筑可能是 被认为是一个三维 间隔：它是一个有长度的对象， 宽度和高度，或者换句话说 长方体。 （更实际地，一个 建筑可以看作是一组 几个这样的长方体重叠 各种方式。）等等。在什么 接下来，但是，我们将限制我们的 注意一维区间 具体来说，除非明确 相反的陈述，我们 将省略“一维” 为简单起见的限定符。

注意

1. 我写的是基于 SQL 的而不是关系，因为有一些方法可以使用完全偏离关系理论的此类 DBMS。

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 拓扑套件（以及 C# 等的网络拓扑套件）也是如此......

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

特别是检查geometry.relate的东西..比如

boolean isRelated = geometry.relate(geometry2, "T*T***T**" )

您可以测试关系，或根据它们过滤数据。 适用于点、线、多边形等...

---

这可能对暂时的事情有所帮助..

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

Answer 3

通过 http://www.objectfx.com/ 查看 SpatialRules。它是用于 2D 和 3D 的地理空间复杂事件处理器。