Daily Arxiv

世界中で発行される人工知能関連の論文をまとめるページです。
このページはGoogle Geminiを活用して要約し、非営利で運営しています。
論文の著作権は著者および関連機関にあり、共有する際は出典を明記してください。

Automated planning with ontologies under coherence update semantics (Extended Version)

Created by
  • Haebom

作者

Stefan Borgwardt, Duy Nhu, Gabriele R oger

概要

この論文は、既存の自動計画システムが閉鎖世界セマンティクスの下で一次論理式を使用するのとは異なり、オープンワールドセマンティクスの下で解釈されるオントロジーを使用して背景知識を自動計画問題に統合する新しいアプローチを提供します。 DL-Liteオントロジーを用いた計画のために、明示的な入力知識とアクションベース（eKABs）が提供するオントロジーベースのアクション条件と一貫性更新セマンティクス（coherence update semantics）の下のオントロジー認識アクション効果の利点を組み合わせた新しい方法を提案します。提案された形式の複雑さが従来のアプローチよりも高くないことを示し、古典的な計画への多項式コンパイルを通じて実装します。既存および新しいベンチマークの評価により、さまざまなコンパイルバリアントの計画システムのパフォーマンスを確認します。

Takeaways、Limitations

•
Takeaways：
◦
DL-Liteオントロジーによる自動計画問題に対する新しい効率的なアプローチの提示
◦
EKABsと一貫性更新セマンティクスの利点を組み合わせたオントロジーベース計画の性能向上
◦
古典計画への多項式コンパイルによる効率的な実装
◦
さまざまなベンチマークによる実験的評価の提供。
•
Limitations：
◦
DL-Liteオントロジーに限定されたアプローチでは、より表現力のあるオントロジー言語をサポートする拡張が必要になる場合があります。
◦
提案されたコンパイル方法の最適化の余地があるかもしれません。
◦
実験的評価の範囲は限られている可能性があります。より広範な実験が必要な場合があります。
👍
Made with Slashpage