是否有软件能够作为现代 OWL/RDF 推理器与传统的 STRIPS 风格的自动规划器和调度器之间的桥梁？两者都使用基于 RETE 的模式匹配，但只有自动规划器似乎正式定义了“动作”的概念。不幸的是，我发现的所有实现自动规划的项目，如 Graphplan 或 SOAR，似乎已经停止或即将停止，而且从一开始就无法很好地扩展。当前的数据存储是基于 RDMS 实现的，可以扩展并推理数百万个三元组，但我没有发现任何专门尝试推理动作的系统。我可以想象动作的概念如何在传统的 RDF 中表示，但没有官方支持，这肯定会非常复杂和临时。不幸的是，我找不到多少先前的例子。这之前有过这样的尝试吗？

回答：

Drools Planner（开源，Java，ASL）建立在基于 RETE 的规则引擎 Drools Expert 之上，并正式定义了 Move 的概念，这可能就是您寻找的“动作”。它在数据和规划约束方面的扩展性上表现出色。而且它已经准备好用于生产环境，并拥有一份完整的参考手册。

目前正在进行一些研究，尝试将 OWL 与 Drools Expert 结合使用，但我不知道这项研究目前进展到什么程度。