論文の概要: Eliminating Negative Occurrences of Derived Predicates from PDDL Axioms
- arxiv url: http://arxiv.org/abs/2510.14412v1
- Date: Thu, 16 Oct 2025 08:18:09 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-10-17 21:15:14.7744
- Title: Eliminating Negative Occurrences of Derived Predicates from PDDL Axioms
- Title（参考訳）: PDDL公理からの誘導体の陰性発生の除去
- Authors: Claudia Grundke, Gabriele Röger,
- Abstract要約: Axiomsはプランニングドメイン定義言語PDDLの機能であり、Datalogのようなデータベースクエリ言語の一般化と見なすことができる。
どちらの変種も最小の固定点論理と全く同じクエリを表現でき、導出述語の負の発生を排除できることを示している。
- 参考スコア（独自算出の注目度）: 0.12891210250935145
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Axioms are a feature of the Planning Domain Definition Language PDDL that can be considered as a generalization of database query languages such as Datalog. The PDDL standard restricts negative occurrences of predicates in axiom bodies to predicates that are directly set by actions and not derived by axioms. In the literature, authors often deviate from this limitation and only require that the set of axioms is stratifiable. Both variants can express exactly the same queries as least fixed-point logic, indicating that negative occurrences of derived predicates can be eliminated. We present the corresponding transformation.
- Abstract（参考訳）: Axiomsはプランニングドメイン定義言語PDDLの機能であり、Datalogのようなデータベースクエリ言語の一般化と見なすことができる。
PDDL標準では、公理体における述語が直接作用によって設定され、公理によって導出されない述語に制限されている。
文献では、著者はしばしばこの制限から逸脱し、公理の集合が成層的であることを要求する。
どちらの変種も最小の固定点論理と全く同じクエリを表現でき、導出述語の負の発生を排除できることを示している。
対応する変換を示す。
関連論文リスト
- Disambiguate First, Parse Later: Generating Interpretations for Ambiguity Resolution in Semantic Parsing [56.82807063333088]
本稿では, 自然言語の解釈を論理形式にマッピングする前に, あいまいさを解消するモジュラー手法を提案する。
我々のアプローチは解釈のカバレッジを改善し、異なるアノテーションスタイル、データベース構造、あいまいさタイプを持つデータセットをまたいだ一般化を行う。
論文 参考訳（メタデータ） (2025-02-25T18:42:26Z) - Algorithmic syntactic causal identification [0.8901073744693314]
因果的ベイズネット(CBN)の因果的識別は因果的推論において重要なツールである。
d-分離やdo-calculusといった手法を用いた因果同定の定式化は、古典的確率論の数学的言語で表現されている。
古典的確率論を対称モノイド圏の代替公理的基礎に置き換えることで、この制限を解除できることを示す。
論文 参考訳（メタデータ） (2024-03-14T17:14:53Z) - Language models are not naysayers: An analysis of language models on
negation benchmarks [58.32362243122714]
我々は,次世代自動回帰言語モデルによる否定処理能力の評価を行った。
LLMには,否定の存在に対する感受性,否定の語彙的意味を捉える能力の欠如,否定下での推論の失敗など,いくつかの制限があることが示されている。
論文 参考訳（メタデータ） (2023-06-14T01:16:37Z) - Non-Deterministic Approximation Fixpoint Theory and Its Application in
Disjunctive Logic Programming [11.215352918313577]
近似不動点理論(英: Approximation Fixpoint theory)は、非単調論理の意味論を研究するための枠組みである。
AFTは、不確定な情報を扱うことができる非決定論的構造を扱うよう拡張する。
この一般化の適用性と有用性は、解法論理プログラミングの文脈で説明される。
論文 参考訳（メタデータ） (2022-11-30T18:58:32Z) - RobustLR: Evaluating Robustness to Logical Perturbation in Deductive
Reasoning [25.319674132967553]
トランスフォーマーは、英語の自然言語で書かれた規則や文を含む論理ルールベースで演能的推論を実行できることが示されている。
本稿では,ルールベースにおける最小論理編集に対して,これらのモデルのロバスト性を評価するためにロバストLRを提案する。
先行研究で訓練されたモデルは、ロバストLRの異なる摂動に対して一貫して動作しないことがわかった。
論文 参考訳（メタデータ） (2022-05-25T09:23:50Z) - Does BERT really agree ? Fine-grained Analysis of Lexical Dependence on
a Syntactic Task [70.29624135819884]
目的の構文テンプレート上で,BERTが語彙非依存の主観値数アグリーメント(NA)を実行できる範囲について検討した。
名詞文では,単純なテンプレートに対してモデルがよく一般化されるが,1つのアトラクターが存在する場合,語彙非依存の構文一般化を行うことができないことが示唆された。
論文 参考訳（メタデータ） (2022-04-14T11:33:15Z) - GroupifyVAE: from Group-based Definition to VAE-based Unsupervised
Representation Disentanglement [91.9003001845855]
他の誘導バイアスを導入しないと、VAEベースの非監視的非絡み合いは実現できない。
グループ理論に基づく定義から導かれる制約を非確率的帰納的バイアスとして活用し,vaeに基づく教師なし不連続に対処する。
提案手法の有効性を検証するために,5つのデータセット上で,vaeベースモデルが最も目立つ1800モデルをトレーニングした。
論文 参考訳（メタデータ） (2021-02-20T09:49:51Z) - Compressive Summarization with Plausibility and Salience Modeling [54.37665950633147]
本稿では,候補空間に対する厳密な構文的制約を緩和し,その代わりに圧縮決定を2つのデータ駆動基準,すなわち妥当性とサリエンスに委ねることを提案する。
提案手法は,ベンチマーク要約データセット上で強いドメイン内結果を得るとともに,人間による評価により,文法的および事実的削除に対して,可算性モデルが一般的に選択されることを示す。
論文 参考訳（メタデータ） (2020-10-15T17:07:10Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。