論文の概要: 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: From Logical Definitions to Quantitative Metrics [59.12308034729482]
複雑なデータにおける説明的要素を遠ざけることは、データ効率の表現学習にとって有望なアプローチである。
論理的定義と量的指標の関連性を確立し, 理論的に根ざした絡み合いの指標を導出する。
本研究では,非交叉表現の異なる側面を分離することにより,提案手法の有効性を実証的に実証する。
論文 参考訳(メタデータ) (2023-05-19T08:22:23Z) - The Transformation Logics [58.35574640378678]
表現性と複雑性のトレードオフのバランスをとるために設計された、時間論理の新しいファミリーを導入する。
重要な特徴は、変換演算子と呼ばれる新しい種類の演算子を定義する可能性である。
表現力と複雑性を増大させる階層を創り出すことができる論理を提示する。
論文 参考訳(メタデータ) (2023-04-19T13:24:04Z) - 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) - AGM Belief Revision, Semantically [1.7403133838762446]
最小限の変化のパラダイムを実装した信念修正演算子の汎用的モデル理論的特徴付けを確立する。
我々の特徴づけはすべてのタルスキア論理、すなわち古典的なモデル理論のセマンティクスを持つ全ての論理に適用できる。
論文 参考訳(メタデータ) (2021-12-27T07:53:21Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。