是否有任何软件可以充当当代 OWL/RDF 推理器与旧的STRIPS风格的自动计划器和调度器之间的交叉点？两个系统都使用基于 RETE 的模式匹配，但似乎只有自动规划器将“动作”的概念形式化。不幸的是，我发现的所有项目都实现了自动化规划，比如Graphplan或SOAR，似乎已经死了或垂死了，而且似乎从一开始就没有很好地扩展。当前的数据存储是在 RDMS 上实现的，可以扩展到数百万个三元组并进行推理，但我还没有找到任何专门尝试和推理动作的数据存储。我可以设想如何在传统的 RDF 中表示动作的概念，但我敢肯定，如果没有官方支持，它仍然会非常复杂和骇人听闻。不幸的是，我找不到太多的现有技术。以前有这样做过吗？
问问题
571 次
1 回答
0
Drools Planner（开源、java、ASL）位于基于 RETE 的规则引擎Drools Expert之上，并形式化了 a 的概念，这可能是您正在寻找的操作Move，也可能不是。它擅长横向扩展，无论是在数据方面还是在规划约束方面。它已准备好生产并有完整的参考手册。
有一些研究正在进行与 Drools Expert 一起做OWL，但我不知道目前有多远。
于 2011-02-25T08:00:33.360 回答