論文の概要: Towards Ontology-Mediated Planning with OWL DL Ontologies (Extended Version)

• arxiv url: http://arxiv.org/abs/2308.08200v1
• Date: Wed, 16 Aug 2023 08:05:53 GMT
• ステータス: 処理完了
• システム内更新日: 2023-08-17 14:22:47.780785
• Title: Towards Ontology-Mediated Planning with OWL DL Ontologies (Extended Version)
• Title（参考訳）: OWL DLオントロジーを用いたオントロジー媒介計画に向けて(拡張版)
• Authors: Tobias John and Patrick Koopmann
• Abstract要約: 本稿では,計画仕様とオントロジーを分離し,インターフェースを用いて連携する新しい手法を提案する。 これにより、計画の専門家は慣れ親しんだ形式主義で作業できるが、既存のドメインは専門家によって容易に統合され拡張できる。 既存の計画ツールで処理される古典的な計画問題に、全てを仲介する計画問題を書き換えることが目的だ。
• 参考スコア（独自算出の注目度）: 7.995360025953931
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: While classical planning languages make the closed-domain and closed-world assumption, there have been various approaches to extend those with DL reasoning, which is then interpreted under the usual open-world semantics. Current approaches for planning with DL ontologies integrate the DL directly into the planning language, and practical approaches have been developed based on first-order rewritings or rewritings into datalog. We present here a new approach in which the planning specification and ontology are kept separate, and are linked together using an interface. This allows planning experts to work in a familiar formalism, while existing ontologies can be easily integrated and extended by ontology experts. Our approach for planning with those ontology-mediated planning problems is optimized for cases with comparatively small domains, and supports the whole OWL DL fragment. The idea is to rewrite the ontology-mediated planning problem into a classical planning problem to be processed by existing planning tools. Different to other approaches, our rewriting is data-dependent. A first experimental evaluation of our approach shows the potential and limitations of this approach.
• Abstract（参考訳）: 古典計画言語はクローズドドメインとクローズドワールドを仮定するが、DL推論の拡張には様々なアプローチがあり、通常のオープンワールド意味論の下で解釈される。 DLオントロジーを用いたプランニングの現在のアプローチは、DLを直接計画言語に統合しており、一階書き直しやデータログへの書き直しに基づく実践的なアプローチが開発されている。 ここでは,計画仕様とオントロジーを分離して,インターフェースを用いて相互にリンクする新しいアプローチを提案する。 これにより、計画の専門家は慣れ親しんだ形式で作業できるが、既存のオントロジーは、オントロジーの専門家によって容易に統合され拡張することができる。 これらのオントロジーを介する計画問題に対する計画手法は、比較的小さなドメインの場合に最適化され、OWL DLフラグメント全体をサポートする。 その考え方は、オントロジーによる計画問題を、既存の計画ツールで処理される古典的な計画問題に書き換えることである。 他のアプローチとは異なり、書き換えはデータに依存します。 このアプローチの最初の実験的評価は、このアプローチの可能性と限界を示しています。

関連論文リスト

• Planning with OWL-DL Ontologies (Extended Version) [6.767885381740952]
  フルパワー表現型DLをサポートするブラックボックスを提案する。 主要なアルゴリズムは、OWLによるPDDLへの計画仕様の書き直しに依存している。 いくつかのドメインからのベンチマークセットの実装を評価した。
  論文  参考訳（メタデータ） (2024-08-14T13:27:02Z)
• Parallel Strategies for Best-First Generalized Planning [51.713634067802104]
  汎用計画(GP)は、複数の古典的な計画インスタンスを解くことができるアルゴリズムのようなソリューションの自動合成を研究するAIの研究分野である。 現在の進歩の1つはBest-First Generalized Planning (BFGP) の導入である。 本稿では,並列探索手法をBFGPに適用し,性能ギャップを埋める上で重要な要素であることを示す。
  論文  参考訳（メタデータ） (2024-07-31T09:50:22Z)
• PROC2PDDL: Open-Domain Planning Representations from Texts [56.627183903841164]
  Proc2PDDLは、専門家によるPDDL表現と組み合わせたオープンドメインの手続きテキストを含む最初のデータセットである。 以上の結果から, GPT-3.5は0%, GPT-4は35%, Proc2PDDLは極めて困難であることが示唆された。
  論文  参考訳（メタデータ） (2024-02-29T19:40:25Z)
• Planning as In-Painting: A Diffusion-Based Embodied Task Planning Framework for Environments under Uncertainty [56.30846158280031]
  具体的AIのためのタスクプランニングは、最も難しい問題の1つだ。 In-paintingとしての計画」というタスク非依存の手法を提案する。 提案するフレームワークは,様々な具体的AIタスクにおいて,有望なパフォーマンスを実現する。
  論文  参考訳（メタデータ） (2023-12-02T10:07:17Z)
• A Categorical Representation Language and Computational System for Knowledge-Based Planning [5.004278968175897]
  本研究では,計画中の世界国家の更新を表現・管理するための代替手法を提案する。 提案した表現は,$mathsfC$-sets と double-pushout rewriting (DPO) のカテゴリー論的概念に基づいて,世界状態に関する構造化知識を効果的に扱うことができる。
  論文  参考訳（メタデータ） (2023-05-26T19:01:57Z)
• Turning Flowchart into Dialog: Augmenting Flowchart-grounded Troubleshooting Dialogs via Synthetic Data Generation [50.06143883455979]
  Flowchart-grounded trouble shooting dialogue (FTD) システムは、特定のドメインにおけるユーザの問題を診断するフローチャートの指示に従う。 多様な合成ダイアログデータを大規模に生成する計画ベース合成データ生成手法を提案する。
  論文  参考訳（メタデータ） (2023-05-02T11:08:27Z)
• Hierarchical Decomposition and Analysis for Generalized Planning [26.288236123430117]
  本稿では,一般化計画の分析と評価のための新しい手法を提案する。 我々は,証明手法とアルゴリズムプロセスとともに,新しい概念的枠組みを開発する。 このアプローチは、自動的に評価できる一般化された計画のクラスを著しく拡張することを示します。
  論文  参考訳（メタデータ） (2022-12-06T08:37:21Z)
• Expressivity of Planning with Horn Description Logic Ontologies (Technical Report) [12.448670165713652]
  我々は、記述論理(DL)オントロジーを計画することで定式化されたオープンワールドな状態制約に対処する。 派生述語を用いた標準PDDLへの新しいコンパイル方式を提案する。 提案手法は,DLで計画する既存のベンチマークよりも優れていることを示す。
  論文  参考訳（メタデータ） (2022-03-17T14:50:06Z)
• Differentiable Spatial Planning using Transformers [87.90709874369192]
  本研究では、長距離空間依存を計画して行動を生成する障害マップを与えられた空間計画変換器(SPT)を提案する。 エージェントが地上の真理マップを知らない環境では、エンド・ツー・エンドのフレームワークで事前訓練されたSPTを利用する。 SPTは、操作タスクとナビゲーションタスクの両方のすべてのセットアップにおいて、最先端の差別化可能なプランナーよりも優れています。
  論文  参考訳（メタデータ） (2021-12-02T06:48:16Z)
• STRIPS Action Discovery [67.73368413278631]
  近年のアプローチでは、すべての中間状態が欠如している場合でも、アクションモデルを合成する古典的な計画が成功している。 アクションシグネチャが不明な場合に,従来のプランナーを用いてSTRIPSアクションモデルを教師なしで合成するアルゴリズムを提案する。
  論文  参考訳（メタデータ） (2020-01-30T17:08:39Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。