論文の概要: Planning with OWL-DL Ontologies (Extended Version)
- arxiv url: http://arxiv.org/abs/2408.07544v1
- Date: Wed, 14 Aug 2024 13:27:02 GMT
- ステータス: 処理完了
- システム内更新日: 2024-08-15 13:03:36.519669
- Title: Planning with OWL-DL Ontologies (Extended Version)
- Title(参考訳): OWL-DLオントロジーによる計画(拡張版)
- Authors: Tobias John, Patrick Koopmann,
- Abstract要約: フルパワー表現型DLをサポートするブラックボックスを提案する。
主要なアルゴリズムは、OWLによるPDDLへの計画仕様の書き直しに依存している。
いくつかのドメインからのベンチマークセットの実装を評価した。
- 参考スコア(独自算出の注目度): 6.767885381740952
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We introduce ontology-mediated planning, in which planning problems are combined with an ontology. Our formalism differs from existing ones in that we focus on a strong separation of the formalisms for describing planning problems and ontologies, which are only losely coupled by an interface. Moreover, we present a black-box algorithm that supports the full expressive power of OWL DL. This goes beyond what existing approaches combining automated planning with ontologies can do, which only support limited description logics such as DL-Lite and description logics that are Horn. Our main algorithm relies on rewritings of the ontology-mediated planning specifications into PDDL, so that existing planning systems can be used to solve them. The algorithm relies on justifications, which allows for a generic approach that is independent of the expressivity of the ontology language. However, dedicated optimizations for computing justifications need to be implemented to enable an efficient rewriting procedure. We evaluated our implementation on benchmark sets from several domains. The evaluation shows that our procedure works in practice and that tailoring the reasoning procedure has significant impact on the performance.
- Abstract(参考訳): 我々は,計画問題とオントロジーを組み合わせ,オントロジーを介する計画を導入する。
私たちの形式主義は、計画問題とオントロジーを記述するための形式主義を強く分離することに重点を置いているという点で、既存のものとは異なっている。
さらに,OWL DLの完全な表現力をサポートするブラックボックスアルゴリズムを提案する。
DL-Lite や Horn のような限定的な記述ロジックのみをサポートする。
本アルゴリズムは,オントロジーを介する計画仕様をPDDLに書き換えることにより,既存の計画システムを利用できるようにする。
このアルゴリズムは正当性に依存しており、オントロジー言語の表現性に依存しない一般的なアプローチを可能にする。
しかし、効率的な書き換え手順を実現するためには、計算正当性のための専用最適化を実装する必要がある。
いくつかのドメインのベンチマークセットで実装を評価した。
評価の結果,提案手法は実際に動作しており,推論手順の調整が性能に重大な影響を及ぼすことが明らかとなった。
関連論文リスト
- Temporal Planning via Interval Logic Satisfiability for Autonomous Systems [0.0]
我々は、時間的計画の定式化について考察する: 間隔は作用と流動性原子の両方に関連付けられ、それらの関係はアレンのインターバル論理(英語版)の文として与えられる。
本稿では,制約プログラミング(CP)モデルとして,行動と流動性の間の複雑な関係を考慮に入れた計画グラフの概念を提案する。
提案手法は既存のPDDL 2.1プランナよりも優れていることを示す。
論文 参考訳(メタデータ) (2024-06-14T02:21:53Z) - Learning Logic Specifications for Policy Guidance in POMDPs: an
Inductive Logic Programming Approach [57.788675205519986]
我々は任意の解法によって生成されるPOMDP実行から高品質なトレースを学習する。
我々は、データと時間効率のIndu Logic Programming(ILP)を利用して、解釈可能な信念に基づくポリシー仕様を生成する。
ASP(Answer Set Programming)で表現された学習は、ニューラルネットワークよりも優れた性能を示し、より少ない計算時間で最適な手作りタスクに類似していることを示す。
論文 参考訳(メタデータ) (2024-02-29T15:36:01Z) - Learning Planning-based Reasoning by Trajectories Collection and Process Reward Synthesizing [61.98556945939045]
収集された軌道上でのDPO(Direct Preference Optimization)を通して計画に基づく推論を学習するフレームワークを提案する。
論理的推論ベンチマークの挑戦的な結果から,学習フレームワークの有効性が示された。
論文 参考訳(メタデータ) (2024-02-01T15:18:33Z) - Unified Task and Motion Planning using Object-centric Abstractions of
Motion Constraints [56.283944756315066]
本稿では,タスクとモーションプランニングを一つの検索に統一するTAMP手法を提案する。
我々のアプローチは、オフザシェルフAIサーチの計算効率を活用して、物理的に実現可能な計画が得られるような、オブジェクト中心の動作制約の抽象化に基づいている。
論文 参考訳(メタデータ) (2023-12-29T14:00:20Z) - 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) - Tree-of-Mixed-Thought: Combining Fast and Slow Thinking for Multi-hop
Visual Reasoning [16.495754104540605]
大規模言語モデル(LLM)は、視覚的推論のような複雑な推論タスクのためのコードライクな計画を生成することができる。
ワンストップ推論 (fast) とツリー・オブ・シント (slow) を統合した階層型計画探索アルゴリズムを提案する。
論文 参考訳(メタデータ) (2023-08-18T16:21:40Z) - Towards Ontology-Mediated Planning with OWL DL Ontologies (Extended
Version) [7.995360025953931]
本稿では,計画仕様とオントロジーを分離し,インターフェースを用いて連携する新しい手法を提案する。
これにより、計画の専門家は慣れ親しんだ形式主義で作業できるが、既存のドメインは専門家によって容易に統合され拡張できる。
既存の計画ツールで処理される古典的な計画問題に、全てを仲介する計画問題を書き換えることが目的だ。
論文 参考訳(メタデータ) (2023-08-16T08:05:53Z) - SatLM: Satisfiability-Aided Language Models Using Declarative Prompting [68.40726892904286]
本研究では,大規模言語モデル (LLM) の推論能力を向上させるために,新しい満足度支援言語モデリング (SatLM) 手法を提案する。
我々はLLMを用いて命令型プログラムではなく宣言型タスク仕様を生成し、既製の自動定理証明器を利用して最終解を導出する。
我々はSATLMを8つの異なるデータセット上で評価し、命令パラダイムにおいてプログラム支援されたLMよりも一貫して優れていることを示す。
論文 参考訳(メタデータ) (2023-05-16T17:55:51Z) - An Efficient HTN to STRIPS Encoding for Concurrent Plans [0.0]
STRIPSエンコーディングに新たなHTNを提案する。
提案手法は,階層型IPCベンチマークにおける従来の手法よりも優れていることを示す。
論文 参考訳(メタデータ) (2022-06-14T18:18:22Z) - Expressivity of Planning with Horn Description Logic Ontologies
(Technical Report) [12.448670165713652]
我々は、記述論理(DL)オントロジーを計画することで定式化されたオープンワールドな状態制約に対処する。
派生述語を用いた標準PDDLへの新しいコンパイル方式を提案する。
提案手法は,DLで計画する既存のベンチマークよりも優れていることを示す。
論文 参考訳(メタデータ) (2022-03-17T14:50:06Z) - STRIPS Action Discovery [67.73368413278631]
近年のアプローチでは、すべての中間状態が欠如している場合でも、アクションモデルを合成する古典的な計画が成功している。
アクションシグネチャが不明な場合に,従来のプランナーを用いてSTRIPSアクションモデルを教師なしで合成するアルゴリズムを提案する。
論文 参考訳(メタデータ) (2020-01-30T17:08:39Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。