論文の概要: Analyzing Semantics of Aggregate Answer Set Programming Using
Approximation Fixpoint Theory
- arxiv url: http://arxiv.org/abs/2104.14789v1
- Date: Fri, 30 Apr 2021 07:06:27 GMT
- ステータス: 処理完了
- システム内更新日: 2021-05-03 13:34:06.914272
- Title: Analyzing Semantics of Aggregate Answer Set Programming Using
Approximation Fixpoint Theory
- Title（参考訳）: 近似固定点理論を用いた集約解集合プログラミングのセマンティックス解析
- Authors: Linde Vanbesien, Maurice Bruynooghe and Marc Denecker
- Abstract要約: 三項満足関係の概念を導入し、その観点から安定した意味論を定義する。
3次満足度関係は,標準ゲルフォンド・リフシッツレダクトと,AFTの枠組みで定義された安定意味論のギャップを橋渡しすることを示す。
- 参考スコア（独自算出の注目度）: 1.295566630218982
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Aggregates provide a concise way to express complex knowledge. While they are
easily understood by humans, formalizing aggregates for answer set programming
(ASP) has proven to be challenging . The literature offers many approaches that
are not always compatible. One of these approaches, based on Approximation
Fixpoint Theory (AFT), has been developed in a logic programming context and
has not found much resonance in the ASP-community. In this paper we revisit
this work. We introduce the abstract notion of a ternary satisfaction relation
and define stable semantics in terms of it. We show that ternary satisfaction
relations bridge the gap between the standard Gelfond-Lifschitz reduct, and
stable semantics as defined in the framework of AFT. We analyse the properties
of ternary satisfaction relations for handling aggregates in ASP programs.
Finally, we show how different methods for handling aggregates taken from the
literature can be described in the framework and we study the corresponding
ternary satisfaction relations.
- Abstract（参考訳）: 集約は複雑な知識を表現するための簡潔な方法を提供する。
人間によって容易に理解されるが、解集合プログラミング(ASP)のための集合を形式化することは困難であることが証明されている。
この文献は必ずしも互換性のない多くのアプローチを提供している。
これらのアプローチの1つは、近似固定点理論(AFT)に基づいており、論理プログラミングの文脈で開発されており、ASP-Communityにはあまり共鳴がない。
本稿では,この研究を再考する。
我々は,三元満足関係の抽象概念を導入し,その観点で安定意味論を定義する。
3次満足度関係は,標準ゲルフォンド・リフシッツレダクトと,AFTの枠組みで定義された安定意味論のギャップを橋渡しすることを示す。
ASPプログラムの集約処理における3次満足度関係の特性を解析する。
最後に,文献から抽出した集約の処理方法の違いをフレームワークで記述し,それに対応する3次満足度関係について検討する。
関連論文リスト
- SHINE: Saliency-aware HIerarchical NEgative Ranking for Compositional Temporal Grounding [52.98133831401225]
時間的グラウンドディング(英: Temporal grounding、ビデオモーメント検索(英語版))は、所定のクエリ文に対応するビデオセグメントを特定することを目的としている。
本稿では, GPT-3.5-Turbo を用いた負のクエリ構築のための大規模言語モデル駆動手法を提案する。
本稿では,ビデオと階層的負のクエリ間の多粒度意味的関係を学習するモデルを提案する。
論文 参考訳（メタデータ） (2024-07-06T16:08:17Z) - H-STAR: LLM-driven Hybrid SQL-Text Adaptive Reasoning on Tables [56.73919743039263]
本稿では,2段階のプロセスにシンボル的アプローチと意味的アプローチ(テキスト的アプローチ)を統合し,制約に対処する新しいアルゴリズムを提案する。
実験の結果,H-STARは3つの質問応答(QA)と事実検証データセットにおいて,最先端の手法を大幅に上回っていることがわかった。
論文 参考訳（メタデータ） (2024-06-29T21:24:19Z) - Relational Sentence Embedding for Flexible Semantic Matching [86.21393054423355]
文埋め込みの可能性を明らかにするための新しいパラダイムとして,文埋め込み(Sentence Embedding, RSE)を提案する。
RSEは文関係のモデル化に有効で柔軟性があり、一連の最先端の埋め込み手法より優れている。
論文 参考訳（メタデータ） (2022-12-17T05:25:17Z) - SUN: Exploring Intrinsic Uncertainties in Text-to-SQL Parsers [61.48159785138462]
本稿では,ニューラルネットワークに基づくアプローチ(SUN)における本質的な不確かさを探索することにより,テキストから依存への変換性能を向上させることを目的とする。
5つのベンチマークデータセットの大規模な実験により、我々の手法は競合より大幅に優れ、新しい最先端の結果が得られた。
論文 参考訳（メタデータ） (2022-09-14T06:27:51Z) - Reasoning on Multi-Relational Contextual Hierarchies via Answer Set
Programming with Algebraic Measures [13.245718532835864]
コンテキスト化知識リポジトリ(CKR)は記述論理に根ざしているが、論理プログラムに強く関連している。
本稿では、複数の文脈関係に対するCKR階層の一般化と、デフェイザブルな公理と選好の解釈について述べる。
複数のコンテキスト関係を持つCKR階層の関連する断片に対して、クエリ応答は一般的なasprinフレームワークで実現可能であることを示す。
論文 参考訳（メタデータ） (2021-08-06T13:06:45Z) - Learning Implicitly with Noisy Data in Linear Arithmetic [94.66549436482306]
PAC-セマンティックスにおける暗黙学習を拡張し、線形算術の言語における間隔としきい値の不確実性を扱う。
最適線形プログラミング対象制約の学習に対する我々の暗黙的アプローチは、実際的な明示的アプローチよりも著しく優れていることを示す。
論文 参考訳（メタデータ） (2020-10-23T19:08:46Z) - Leveraging Semantic Parsing for Relation Linking over Knowledge Bases [80.99588366232075]
本稿では,AMRを用いた意味解析と遠隔監視を利用した関係リンクフレームワークであるSlingを提案する。
Slingは複数の関係リンクアプローチを統合し、言語的手がかり、豊かな意味表現、知識ベースからの情報などの補完的な信号をキャプチャする。
QALD-7, QALD-9, LC-QuAD 1.0という3つのKBQAデータセットを用いた関係リンク実験により, 提案手法が全てのベンチマークで最先端の性能を達成することを示す。
論文 参考訳（メタデータ） (2020-09-16T14:56:11Z) - ASP(AC): Answer Set Programming with Algebraic Constraints [20.559497209595822]
本稿では、半順序値と重み付け式評価を比較する制約を含むような、代数制約付き解集合プログラミング(ASP(AC))を紹介する。
この研究は論理プログラミングの理論と実践の受け入れを検討中である。
論文 参考訳（メタデータ） (2020-08-10T10:20:49Z) - SPARQA: Skeleton-based Semantic Parsing for Complex Questions over
Knowledge Bases [27.343078784035693]
本稿では,複雑な質問の高次構造を表現するために,新しいスケルトン文法を提案する。
BERTをベースとしたパースアルゴリズムを用いたこの厳密な形式化は、下流の微細なセマンティック解析の精度を向上させるのに役立つ。
このアプローチは、いくつかのデータセットで有望なパフォーマンスを示す。
論文 参考訳（メタデータ） (2020-03-31T05:12:31Z) - Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation [5.87010466783654]
優先知識ベース(KB)に対する不整合の問題について検討する。
本稿では, 接地拡張に着想を得た優先順位付きKBのセマンティクスを提案し, 良好な特性を享受する。
本研究は、嗜好に基づく議論フレームワークに関する独立した関心の結果ももたらした。
論文 参考訳（メタデータ） (2020-03-12T12:38:37Z) - An ASP semantics for Constraints involving Conditional Aggregates [9.289905977910378]
ハイブリッド・アンサー・セット・プログラミング(ASP)の正式な基礎について詳しく述べる。
制約値や変数を集約する関数で、その基盤となる論理的フレームワークを拡張します。
線形制約を持つ論理プログラムに重きを置いて、いわゆる条件付き線形制約の特定のケースとして、ASP集約がいかに共通であるかを示す。
論文 参考訳（メタデータ） (2020-02-17T12:25:01Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。