2011-02-24 58 views
0

是否有任何軟件充當當代OWL/RDF reasoners和舊款STRIPS型自動計劃器和調度程序的交集?這兩個系統都使用基於RETE的模式匹配,但只有自動化策劃者似乎正式確定了「行動」的概念。不幸的是,我發現實施自動化計劃的所有項目(例如GraphplanSOAR)似乎已經死亡或即將死亡,而且從未像現在這樣開始擴展。當前的數據存儲在RDMS上實現,可以擴展到數百萬個三元組,並且我還沒有發現任何具體的操作和理由。我可以想象傳統RDF中的行爲概念如何表現出來,但是我相信在沒有官方支持的情況下,它仍然會非常複雜和棘手。不幸的是,我找不到許多現有技術。這是否做過?OWL/RDF自動計劃器

回答

0

Drools Planner(開源的Java,ASL)坐落在基於RETE規則引擎的頂部Drools Expert並正式提出了Move的概念,這可能會或可能不會是行動你要尋找的。它在擴大規模方面表現出色,無論是數據還是規劃限制。它已準備就緒,並有完整的參考手冊。

有一些研究正在與Drools Expert做OWL,但我不知道現在有多遠。

+0

是的,我目前正在尋找規劃師。這當然是可用的,主動維護和開源的,但我不確定它的可擴展性如何。它在已編譯的Java對象中定義了它的所有域邏輯,並在域特定的XML文件中對問題規範進行編碼。換句話說,您不能通過將OWL/RDF文件「上傳」到數據庫來更新域或問題。您必須將數據轉換爲特定於域的XML並/或手動編寫Java代碼並重新編譯,這似乎不切實際。我希望我對此有錯。 – Cerin 2011-02-25 16:01:27

+0

「我不確定它有多大的可擴展性。」它在數據(=搜索空間)和約束條件下均可以擴展。我見過的唯一可以擴展到相似的尺寸的是cpsolver,但這是一個研究原型(並且不再積極維護IIRC)。 – 2011-02-26 09:32:07

+0

「它在域特定的XML文件中編碼問題規範。」不,不是的。這僅僅是因爲我不想用數據庫連接來加載示例,但我需要測試數據。整個事情的構建是爲了能夠處理普通的舊Java對象,它取決於你從哪裏獲得它們(數據庫,xml,infinispan,webservice,...) – 2011-02-26 09:36:07