論文の概要: Non-deterministic approximation operators: ultimate operators,
semi-equilibrium semantics and aggregates (full version)
- arxiv url: http://arxiv.org/abs/2305.10846v1
- Date: Thu, 18 May 2023 09:59:12 GMT
- ステータス: 処理完了
- システム内更新日: 2023-05-19 15:55:03.780863
- Title: Non-deterministic approximation operators: ultimate operators,
semi-equilibrium semantics and aggregates (full version)
- Title(参考訳): 非決定論的近似作用素:究極作用素、半平衡意味論、集合(フルバージョン)
- Authors: Jesse Heyninck and Bart Bogaerts
- Abstract要約: 非決定論的AFTにはさらに3つの貢献をしている。
非決定論的作用素の究極の近似を定義し,研究する。
本稿では,解法論理プログラムの特性を集約した解法論理プログラムに一般化する。
- 参考スコア(独自算出の注目度): 13.249453757295083
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Approximation fixpoint theory (AFT) is an abstract and general algebraic
framework for studying the semantics of non-monotonic logics. In recent work,
AFT was generalized to non-deterministic operators, i.e.\ operators whose range
are sets of elements rather than single elements. In this paper, we make three
further contributions to non-deterministic AFT: (1) we define and study
ultimate approximations of non-deterministic operators, (2) we give an
algebraic formulation of the semi-equilibrium semantics by Amendola, et al.,
and (3) we generalize the characterisations of disjunctive logic programs to
disjunctive logic programs with aggregates.
- Abstract(参考訳): 近似不動点理論(英: Approximation Fixpoint theory、AFT)は、非単調論理のセマンティクスを研究するための抽象的で一般的な代数的フレームワークである。
最近の研究で、AFTは非決定論的作用素、すなわち、単一の要素ではなく要素の集合である範囲を持つ作用素に一般化された。
本稿では,(1)非決定論的作用素の究極近似を定義し,研究し,(2)アマンドーラ等による半平衡意味論の代数的定式化を行い,(3) 解法論理プログラムの特性を集約を伴う解法論理プログラムに一般化する。
関連論文リスト
- 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) - Enriching Disentanglement: Definitions to Metrics [97.34033555407403]
分散表現学習は、複雑なデータの変動の複数の要因を分離する難題である。
不整合表現の学習と評価のための様々な指標が提案されているが、これらの指標が真に何を定量化し、どのように比較するかは定かではない。
論文 参考訳(メタデータ) (2023-05-19T08:22:23Z) - The tilted CHSH games: an operator algebraic classification [77.34726150561087]
本稿では,バイナリ・インプット・バイナリ・アウトプットゲームを解くための一般的な体系的手順を紹介する。
次に、傾いたCHSHゲームの顕著なクラスについて説明する。
我々はこれらを、量子的優位性を示す領域全体の特性化から導いた。
論文 参考訳(メタデータ) (2023-02-16T18:33:59Z) - Non-Deterministic Approximation Fixpoint Theory and Its Application in
Disjunctive Logic Programming [11.215352918313577]
近似不動点理論(英: Approximation Fixpoint theory)は、非単調論理の意味論を研究するための枠組みである。
AFTは、不確定な情報を扱うことができる非決定論的構造を扱うよう拡張する。
この一般化の適用性と有用性は、解法論理プログラミングの文脈で説明される。
論文 参考訳(メタデータ) (2022-11-30T18:58:32Z) - Join-Chain Network: A Logical Reasoning View of the Multi-head Attention
in Transformer [59.73454783958702]
本稿では,多くの結合演算子を連結して出力論理式をモデル化するシンボリック推論アーキテクチャを提案する。
特に,このような結合鎖のアンサンブルが'ツリー構造'の1次論理式であるFOETの広い部分集合を表現できることを実証する。
変圧器における多頭部自己保持モジュールは,確率的述語空間における結合作用素の結合境界を実装する特別なニューラル演算子として理解することができる。
論文 参考訳(メタデータ) (2022-10-06T07:39:58Z) - AGM Belief Revision, Semantically [1.7403133838762446]
最小限の変化のパラダイムを実装した信念修正演算子の汎用的モデル理論的特徴付けを確立する。
我々の特徴づけはすべてのタルスキア論理、すなわち古典的なモデル理論のセマンティクスを持つ全ての論理に適用できる。
論文 参考訳(メタデータ) (2021-12-27T07:53:21Z) - Generalized Inversion of Nonlinear Operators [6.191418251390628]
演算子の反転はデータ処理の基本的な概念である。
最も注目すべきはムーア=ペンローズ逆数であり、物理学、統計学、工学の様々な分野に広く使われている。
論文 参考訳(メタデータ) (2021-11-21T07:15:37Z) - Learning Algebraic Recombination for Compositional Generalization [71.78771157219428]
合成一般化のための代数的組換え学習のためのエンドツーエンドニューラルモデルLeARを提案する。
主要な洞察は、意味解析タスクを潜在構文代数学と意味代数学の間の準同型としてモデル化することである。
2つの現実的・包括的構成一般化の実験は、我々のモデルの有効性を実証している。
論文 参考訳(メタデータ) (2021-07-14T07:23:46Z) - Temporal Answer Set Programming [3.263632801414296]
本稿では,その知識表現と宣言的問題解決への応用の観点から,時間論理プログラミングの概要を述べる。
本研究は,TEL(Temporal Equilibrium Logic)と呼ばれる非単調な形式論の最近の成果に焦点を当てる。
第2部では,ASP.NET に近い時間論理プログラムと呼ばれる構文的断片を定義し,この問題が解決器 TEINGO の構築においてどのように活用されたかを説明する。
論文 参考訳(メタデータ) (2020-09-14T16:13:36Z) - Foundations of Reasoning with Uncertainty via Real-valued Logics [70.43924776071616]
我々は、本質的にすべての実数値論理をカバーするためにパラメータ化できる、音と強完全公理化を与える。
文のクラスは非常に豊かであり、各クラスは実数値論理の式の集合に対して可能な実値の集合を記述する。
論文 参考訳(メタデータ) (2020-08-06T02:13:11Z) - On the Convergence of Tsetlin Machines for the IDENTITY- and NOT
Operators [14.186377732379045]
我々は,分類に係わる1つの節のみを用いて,Tsetlin Machineの収束を分析する。
分析の結果、TMは1つの節だけで、意図した論理演算子に正しく収束できることが判明した。
2つの基本作用素の収束の解析は、他の論理作用素を分析する基礎となる。
論文 参考訳(メタデータ) (2020-07-28T14:31:16Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。