OWL/RDF 自动规划器
是否有任何软件可以作为当代 OWL/RDF 推理机和旧版 STRIPS 之间的交集 -风格自动规划器和调度器？两个系统都使用基于 RETE 的模式匹配，但似乎只有自动规划器才形式化了“动作”的概念。不幸的是，我发现所有项目都实现了自动化规划，例如 Graphplan 或 SOAR，似乎已经死了或垂死，并且从一开始似乎就没有很好地扩展。当前的数据存储是在 RDMS 上实现的，可以扩展到数百万个三元组并进行推理，但我还没有发现任何专门尝试对操作进行推理的数据存储。我可以想象如何在传统的 RDF 中表示动作的概念，但我确信如果没有官方支持，它仍然会非常复杂和黑客化。不幸的是，我找不到太多现有技术。这以前做过吗？
Is there any software that acts as an intersection between contemporary OWL/RDF reasoners, and the older STRIPS-style automated planners and schedulers? Both systems make use of RETE-based pattern matching, but only the automated planners seem to formalise the concept of an "action". Unfortunately, all the projects I've found that implemented automated planning, like Graphplan or SOAR, seem to be dead or dying, and never seemed to scale well to begin with. Current data stores are implemented on RDMS and can scale to and reason over millions of triples, but I haven't found any that specifically try and reason over actions. I can envision how the concept of actions might be represented in traditional RDF, but I'm sure it would still be very complicated and hackish without official support. Unfortunately, I can't find much prior art. Has this been done before?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
Drools Planner（开源、java、ASL）位于基于 RETE 的规则引擎之上Drools Expert 并正式化了
Move的概念，这可能或者可能不是您正在寻找的操作。它擅长在数据和规划约束方面进行扩展。它已准备好投入生产并拥有完整的参考手册。目前正在进行一些使用 Drools Expert 进行 OWL 的研究，但我不知道目前进展到什么程度。
Drools Planner (open source, java, ASL) sits on top of the RETE based rule engine Drools Expert and formalizes the concept of a
Move, which might or might not be the action you're looking for. It excels at scaling out, both in data as in planning constraints. And it's production ready and has a complete reference manual.There is some research going on to do OWL with Drools Expert, but I don't know how far that is at this point.