論文の概要: Expressivity of Planning with Horn Description Logic Ontologies
(Technical Report)
- arxiv url: http://arxiv.org/abs/2203.09361v1
- Date: Thu, 17 Mar 2022 14:50:06 GMT
- ステータス: 処理完了
- システム内更新日: 2022-03-18 20:49:05.705889
- Title: Expressivity of Planning with Horn Description Logic Ontologies
(Technical Report)
- Title(参考訳): ホーン記述論理オントロジーによる計画の表現性(技術報告)
- Authors: Stefan Borgwardt, J\"org Hoffmann, Alisa Kovtunova, Markus Kr\"otzsch,
Bernhard Nebel, Marcel Steinmetz
- Abstract要約: 我々は、記述論理(DL)オントロジーを計画することで定式化されたオープンワールドな状態制約に対処する。
派生述語を用いた標準PDDLへの新しいコンパイル方式を提案する。
提案手法は,DLで計画する既存のベンチマークよりも優れていることを示す。
- 参考スコア(独自算出の注目度): 12.448670165713652
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: State constraints in AI Planning globally restrict the legal environment
states. Standard planning languages make closed-domain and closed-world
assumptions. Here we address open-world state constraints formalized by
planning over a description logic (DL) ontology. Previously, this combination
of DL and planning has been investigated for the light-weight DL DL-Lite. Here
we propose a novel compilation scheme into standard PDDL with derived
predicates, which applies to more expressive DLs and is based on the
rewritability of DL queries into Datalog with stratified negation. We also
provide a new rewritability result for the DL Horn-ALCHOIQ, which allows us to
apply our compilation scheme to quite expressive ontologies. In contrast, we
show that in the slight extension Horn-SROIQ no such compilation is possible
unless the weak exponential hierarchy collapses. Finally, we show that our
approach can outperform previous work on existing benchmarks for planning with
DL ontologies, and is feasible on new benchmarks taking advantage of more
expressive ontologies. That is an extended version of a paper accepted at AAAI
22.
- Abstract(参考訳): ai計画における州の制約は、法的環境国家をグローバルに制限する。
標準計画言語はクローズドドメインとクローズドワールドを仮定する。
ここでは、記述論理(DL)オントロジーを計画することで定式化されたオープンワールド状態制約に対処する。
これまで,このDLと計画の組み合わせは,軽量DL-Liteに対して検討されてきた。
本稿では,より表現豊かなdlに適用可能な,階層化否定を伴うデータログへのdlクエリの書き換え可能性に基づく,標準pddlへの新しいコンパイル方式を提案する。
また、dl horn-alchoiqに対する新しい書き換え可能性結果も提供し、非常に表現力のあるオントロジーにコンパイルスキームを適用することができます。
対照的に、弱い指数的階層が崩壊しない限り、少し拡張したHhorn-SROIQではそのようなコンパイルは不可能である。
最後に,本手法は従来のDLオントロジーを用いた計画ベンチマークよりも優れており,より表現力のあるオントロジーを生かした新しいベンチマークで実現可能であることを示す。
これはAAAI 22で受理された論文の拡張版である。
関連論文リスト
- LINC: A Neurosymbolic Approach for Logical Reasoning by Combining
Language Models with First-Order Logic Provers [60.009969929857704]
論理的推論は、科学、数学、社会に潜在的影響を与える可能性のある人工知能にとって重要なタスクである。
本研究では、LINCと呼ばれるモジュール型ニューロシンボリックプログラミングのようなタスクを再構成する。
我々は,FOLIOとProofWriterのバランスの取れたサブセットに対して,ほぼすべての実験条件下で,3つの異なるモデルに対して顕著な性能向上を観察した。
論文 参考訳(メタデータ) (2023-10-23T17:58:40Z) - Towards Ontology-Mediated Planning with OWL DL Ontologies (Extended
Version) [7.995360025953931]
本稿では,計画仕様とオントロジーを分離し,インターフェースを用いて連携する新しい手法を提案する。
これにより、計画の専門家は慣れ親しんだ形式主義で作業できるが、既存のドメインは専門家によって容易に統合され拡張できる。
既存の計画ツールで処理される古典的な計画問題に、全てを仲介する計画問題を書き換えることが目的だ。
論文 参考訳(メタデータ) (2023-08-16T08:05:53Z) - HDDL 2.1: Towards Defining a Formalism and a Semantics for Temporal HTN
Planning [64.07762708909846]
現実世界のアプリケーションは、リッチで多様な自動計画問題をモデル化する必要があります。
階層的タスクネットワーク(HTN)形式は、数値的および時間的制約を伴う計画問題の表現を許さない。
本稿では,HDDLとこれらの運用ニーズのギャップを埋めるとともに,PDDL 2.1からインスピレーションを得てHDDLを拡張することを提案する。
論文 参考訳(メタデータ) (2023-06-12T18:21:23Z) - A Lightweight Constrained Generation Alternative for Query-focused
Summarization [8.264410236351111]
クエリ中心の要約(QFS)は、あるクエリの必要な情報を満たすドキュメントの要約を提供することを目的としている。
我々は,最近開発された制約付き世代モデルニューロロジカルデコーディング(NLD)を,現在のQFS方式の代替として活用することを提案する。
本稿では,2つの公開QFSコレクションに対するこのアプローチの有効性を,複雑性を著しく低減した最先端モデルとほぼ同等に示す。
論文 参考訳(メタデータ) (2023-04-23T18:43:48Z) - Logic of Differentiable Logics: Towards a Uniform Semantics of DL [1.1549572298362787]
論理的仕様を満たすためにニューラルネットワークを訓練する方法として、微分論理(DL)が提案されている。
本稿では、微分可能論理学(LDL)と呼ばれるDLを定義するメタ言語を提案する。
我々は,既存のDLの理論的特性を確立するためにLDLを使用し,ニューラルネットワークの検証において実験的な研究を行う。
論文 参考訳(メタデータ) (2023-03-19T13:03:51Z) - Forward LTLf Synthesis: DPLL At Work [1.370633147306388]
有限トレース(LTLf)上での線形時間論理の合成のための新しいAND-ORグラフ探索フレームワークを提案する。
このようなフレームワーク内では、Davis-Putnam-Logemann-Loveland (DPLL)アルゴリズムにインスパイアされたプロシージャを考案し、次に利用可能なエージェント環境の動きを生成する。
また,状態公式の構文的等価性に基づく探索ノードの等価性チェックも提案する。
論文 参考訳(メタデータ) (2023-02-27T14:33:50Z) - Entailment Tree Explanations via Iterative Retrieval-Generation Reasoner [56.08919422452905]
我々はIRGR(Iterative Retrieval-Generation Reasoner)と呼ばれるアーキテクチャを提案する。
本モデルでは,テキストの前提からステップバイステップの説明を体系的に生成することにより,与えられた仮説を説明することができる。
前提条件の検索と細分化木の生成に関する既存のベンチマークを上回り、全体の正しさはおよそ300%向上した。
論文 参考訳(メタデータ) (2022-05-18T21:52:11Z) - Linear Temporal Logic Modulo Theories over Finite Traces (Extended
Version) [72.38188258853155]
有限トレース(LTLf)上の線形時間論理について検討する。
命題の文字は任意の理論で解釈された一階述語式に置き換えられる。
Satisfiability Modulo Theories (LTLfMT) と呼ばれる結果の論理は半決定可能である。
論文 参考訳(メタデータ) (2022-04-28T17:57:33Z) - SMT-Based Safety Verification of Data-Aware Processes under Ontologies
(Extended Version) [71.12474112166767]
我々は、このスペクトルで最も調査されたモデルの1つ、すなわち単純なアーティファクトシステム(SAS)の変種を紹介する。
このDLは適切なモデル理論特性を享受し、後方到達性を適用可能なSASを定義することができ、対応する安全問題のPSPACEにおける決定可能性をもたらす。
論文 参考訳(メタデータ) (2021-08-27T15:04:11Z) - Defeasible reasoning in Description Logics: an overview on DL^N [10.151828072611426]
DLNについて概説し、基礎となる知識工学の要件と、DLNを連続したセマンティックおよび計算上の欠点から保護する特徴を解説する。
また, DLNと他の非単調な意味論を比較し, KLMとDLNの関係を明らかにする。
論文 参考訳(メタデータ) (2020-09-10T16:30:30Z) - Logical Natural Language Generation from Open-Domain Tables [107.04385677577862]
本稿では,その事実に関連付けられた自然言語文をモデルで生成するタスクを提案する。
提案した論理的 NLG 問題の研究を容易にするために,幅広い論理的・記号的推論を特徴とする既存の TabFact データセットcitechen 2019tabfact を用いる。
新しいタスクは、シーケンス順序と論理順序のミスマッチのため、既存のモノトニック生成フレームワークに課題をもたらす。
論文 参考訳(メタデータ) (2020-04-22T06:03:10Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。