論文の概要: 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で受理された論文の拡張版である。

関連論文リスト

• Tractable Offline Learning of Regular Decision Processes [50.11277112628193]
  この研究は、正則決定過程(RDP)と呼ばれる非マルコフ環境のクラスにおけるオフライン強化学習(RL)を研究する。 インスは、未来の観測と過去の相互作用からの報酬の未知の依存を実験的に捉えることができる。 多くのアルゴリズムは、まずこの未知の依存関係を自動学習技術を用いて再構築する。
  論文  参考訳（メタデータ） (2024-09-04T14:26:58Z)
• Directed Exploration in Reinforcement Learning from Linear Temporal Logic [59.707408697394534]
  リニア時間論理(LTL)は強化学習におけるタスク仕様のための強力な言語である。 合成された報酬信号は基本的に疎結合であり,探索が困難であることを示す。 我々は、仕様をさらに活用し、それに対応するリミット決定性B"uchi Automaton(LDBA)をマルコフ報酬プロセスとしてキャストすることで、よりよい探索を実現することができることを示す。
  論文  参考訳（メタデータ） (2024-08-18T14:25:44Z)
• Planning with OWL-DL Ontologies (Extended Version) [6.767885381740952]
  フルパワー表現型DLをサポートするブラックボックスを提案する。 主要なアルゴリズムは、OWLによるPDDLへの計画仕様の書き直しに依存している。 いくつかのドメインからのベンチマークセットの実装を評価した。
  論文  参考訳（メタデータ） (2024-08-14T13:27:02Z)
• 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)
• Lattice-preserving $\mathcal{ALC}$ ontology embeddings with saturation [50.05281461410368]
  OWL表現の埋め込みを生成するため,順序保存型埋め込み法を提案する。 本手法は,いくつかの知識ベース完了タスクにおいて,最先端の組込み手法よりも優れていることを示す。
  論文  参考訳（メタデータ） (2023-05-11T22:27:51Z)
• 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)
• 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)

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

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