論文の概要: On the Foundations of Grounding in Answer Set Programming

• arxiv url: http://arxiv.org/abs/2108.04769v1
• Date: Tue, 10 Aug 2021 16:23:49 GMT
• ステータス: 処理完了
• システム内更新日: 2021-08-11 15:53:39.889846
• Title: On the Foundations of Grounding in Answer Set Programming
• Title（参考訳）: 解集合プログラミングにおける接地の基礎について
• Authors: Roland Kaminski and Torsten Schaub
• Abstract要約: We provide a comprehensive elaboration of the Theorys of variable instantiation or grounding, in Answer Set Programming (ASP)。 固定点演算子の観点から基底アルゴリズムの形式的特徴付けを導入する。 主要な役割は、関連するモデルがグラウンド化の結果を記述するための意味的なガイダンスを提供する、専門のしっかりとした演算子によって演じられる。
• 参考スコア（独自算出の注目度）: 4.389457090443418
• License: http://creativecommons.org/licenses/by-sa/4.0/
• Abstract: We provide a comprehensive elaboration of the theoretical foundations of variable instantiation, or grounding, in Answer Set Programming (ASP). Building on the semantics of ASP's modeling language, we introduce a formal characterization of grounding algorithms in terms of (fixed point) operators. A major role is played by dedicated well-founded operators whose associated models provide semantic guidance for delineating the result of grounding along with on-the-fly simplifications. We address an expressive class of logic programs that incorporates recursive aggregates and thus amounts to the scope of existing ASP modeling languages. This is accompanied with a plain algorithmic framework detailing the grounding of recursive aggregates. The given algorithms correspond essentially to the ones used in the ASP grounder gringo.
• Abstract（参考訳）: ASP(Answer Set Programming)において、変数のインスタンス化やグラウンド化の理論の基礎を包括的に解明する。 aspのモデリング言語のセマンティクスに基づいて、(固定点)演算子という観点で、接地アルゴリズムの形式的特徴付けを導入する。 主要な役割は、オン・ザ・フライの単純化と共に接地の結果を示すための意味的ガイダンスを提供する専門の確立したオペレータによって担われる。 本稿では,再帰的集約を組み込んだ論理プログラムの表現型クラスに対処し,既存のASPモデリング言語の範囲に相当する。 これは、再帰的な集合の基底を詳述する単純なアルゴリズムの枠組みを伴う。 与えられたアルゴリズムは、基本的にASP grounder gringoで使用されるアルゴリズムに対応する。

関連論文リスト

• Epistemic Logic Programs: a study of some properties [4.459996749171579]
  Epistemic Logic Programs (ELPs) は、Answer Set Programming (ASP) をエピステミック演算子に拡張する。 最近の研究は、ELPのセマンティックスで満たすべきセマンティックな特性を導入している。 ボトムアップからトップダウンのアプローチから分割へと移行し、視点を変える可能性を分析する。
  論文  参考訳（メタデータ） (2023-09-28T11:08:37Z)
• Autoregressive Structured Prediction with Language Models [73.11519625765301]
  本稿では, PLM を用いた自己回帰的手法を用いて, モデル構造を行動列として記述する。 我々のアプローチは、私たちが見てきた全ての構造化予測タスクにおいて、新しい最先端を実現する。
  論文  参考訳（メタデータ） (2022-10-26T13:27:26Z)
• Guiding the PLMs with Semantic Anchors as Intermediate Supervision: Towards Interpretable Semantic Parsing [57.11806632758607]
  本稿では,既存の事前学習言語モデルを階層型デコーダネットワークに組み込むことを提案する。 第一原理構造をセマンティックアンカーとすることで、2つの新しい中間管理タスクを提案する。 いくつかのセマンティック解析ベンチマークで集中的な実験を行い、我々のアプローチがベースラインを一貫して上回ることを示す。
  論文  参考訳（メタデータ） (2022-10-04T07:27:29Z)
• Learning to Generalize Compositionally by Transferring Across Semantic Parsing Tasks [37.66114618645146]
  本研究では,ある構成課題から別の構成課題への移動学習を容易にする学習表現について検討する。 本手法を3つの全く異なるデータセットを用いて意味解析に適用する。 本手法は,対象タスクのテストセット上でのベースラインに対する合成一般化を著しく改善する。
  論文  参考訳（メタデータ） (2021-11-09T09:10:21Z)
• Aggregate Semantics for Propositional Answer Set Programs [14.135212040150389]
  提案するASPプログラムに対して提案された主要な集合的セマンティクスを提示し、比較する。 計算複雑性や表現力などの重要な特性を強調し、異なるアプローチの能力と限界を概説する。
  論文  参考訳（メタデータ） (2021-09-17T17:38:55Z)
• Procedures as Programs: Hierarchical Control of Situated Agents through Natural Language [81.73820295186727]
  エージェント命令と制御のための階層的な手続き的知識を表現する強力な手法である,プログラムとしての手続きの形式化を提案する。 NL命令に対するIQAおよびALFREDデータセット上で、このフレームワークをインスタンス化する。
  論文  参考訳（メタデータ） (2021-09-16T20:36:21Z)
• Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation [1.5469452301122177]
  仮定に基づく議論(ABA)は、中心的な構造化された議論形式である。 近年のASPの進歩により、ABAのNPハード推論タスクを効率的に解けるようになった。
  論文  参考訳（メタデータ） (2021-08-09T17:34:05Z)
• Learning to Synthesize Data for Semantic Parsing [57.190817162674875]
  本稿では,プログラムの構成をモデル化し,プログラムを発話にマップする生成モデルを提案する。 PCFGと事前学習されたBARTの簡易性により,既存のデータから効率的に生成モデルを学習することができる。 GeoQuery と Spider の標準ベンチマークで解析する text-to-Query の in-domain と out-of-domain の両方で、この手法を評価します。
  論文  参考訳（メタデータ） (2021-04-12T21:24:02Z)
• Infusing Finetuning with Semantic Dependencies [62.37697048781823]
  シンタックスとは異なり、セマンティクスは今日の事前訓練モデルによって表面化されないことを示す。 次に、畳み込みグラフエンコーダを使用して、タスク固有の微調整にセマンティック解析を明示的に組み込む。
  論文  参考訳（メタデータ） (2020-12-10T01:27:24Z)
• Meta-Learning for Domain Generalization in Semantic Parsing [124.32975734073949]
  セマンティック解析のためにゼロショットドメインをターゲットにしたメタラーニングフレームワークを使用する。 ゼロショット解析の仮想トレインと非結合領域からのテストセットをシミュレートするモデル非依存のトレーニングアルゴリズムを適用した。
  論文  参考訳（メタデータ） (2020-10-22T19:00:36Z)

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

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