論文の概要: Non-determinsitic algebraic rewriting as adjunction
- arxiv url: http://arxiv.org/abs/2204.12133v1
- Date: Tue, 26 Apr 2022 07:55:09 GMT
- ステータス: 処理完了
- システム内更新日: 2022-04-27 19:47:09.092986
- Title: Non-determinsitic algebraic rewriting as adjunction
- Title(参考訳): 随伴としての非決定的代数的書き換え
- Authors: R\u{a}zvan Diaconescu
- Abstract要約: 我々は、通常の収束と終了の仮定を超越した書き直しのための一般的なモデル理論的意味論を開発する。
これは、多くのソート代数を拡張するモデル理論である事前順序代数に基づいている。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We develop a general model theoretic semantics to rewriting beyond the usual
confluence and termination assumptions. This is based on preordered algebra
which is a model theory that extends many sorted algebra. In this framework we
characterise rewriting in arbitrary algebras rather than term algebras (called
algebraic rewriting) as a persistent adjunction and use this result, on the one
hand for proving the soundness and the completeness of an abstract
computational model of rewriting that underlies the non-deterministic
programming with Maude and CafeOBJ, and on the other hand for developing a
compositionality result for algebraic rewriting in the context of the
pushout-based modularisation technique.
- Abstract(参考訳): 我々は、通常の収束と終了の仮定を超えて書き換えるための一般的なモデル理論的意味論を開発する。
これは多くのソート代数を拡張するモデル理論である事前順序代数に基づいている。
In this framework we characterise rewriting in arbitrary algebras rather than term algebras (called algebraic rewriting) as a persistent adjunction and use this result, on the one hand for proving the soundness and the completeness of an abstract computational model of rewriting that underlies the non-deterministic programming with Maude and CafeOBJ, and on the other hand for developing a compositionality result for algebraic rewriting in the context of the pushout-based modularisation technique.
関連論文リスト
- Enriching Diagrams with Algebraic Operations [49.1574468325115]
モノイド圏における図式推論を代数演算や方程式で拡張する。
この構造が量子系におけるノイズの図解的推論にどのように利用できるかを示す。
論文 参考訳(メタデータ) (2023-10-17T14:12:39Z) - A Hybrid System for Systematic Generalization in Simple Arithmetic
Problems [70.91780996370326]
本稿では,記号列に対する合成的および体系的推論を必要とする算術的問題を解くことができるハイブリッドシステムを提案する。
提案システムは,最も単純なケースを含むサブセットでのみ訓練された場合においても,ネストした数式を正確に解くことができることを示す。
論文 参考訳(メタデータ) (2023-06-29T18:35:41Z) - Invariant Causal Set Covering Machines [64.86459157191346]
決定木のようなルールベースのモデルは、解釈可能な性質のために実践者にアピールする。
しかし、そのようなモデルを生成する学習アルゴリズムは、しばしば刺激的な関連に弱いため、因果関係の洞察を抽出することが保証されていない。
Invariant Causal Set Covering Machines は、古典的集合被覆マシンアルゴリズムの拡張であり、二値ルールの結合/分離を可能とし、スプリアス関係を確実に回避する。
論文 参考訳(メタデータ) (2023-06-07T20:52:01Z) - The tilted CHSH games: an operator algebraic classification [77.34726150561087]
本稿では,バイナリ・インプット・バイナリ・アウトプットゲームを解くための一般的な体系的手順を紹介する。
次に、傾いたCHSHゲームの顕著なクラスについて説明する。
我々はこれらを、量子的優位性を示す領域全体の特性化から導いた。
論文 参考訳(メタデータ) (2023-02-16T18:33:59Z) - Multiparameter Persistent Homology-Generic Structures and Quantum
Computing [0.0]
本稿では、トポロジカルデータ解析における持続的ホモロジーの研究への可換代数の応用について述べる。
このような分解能の一般的な構造と分類空間は、数十年にわたる研究結果を用いて研究されている。
論文 参考訳(メタデータ) (2022-10-20T17:30:20Z) - Learning Algebraic Representation for Systematic Generalization in
Abstract Reasoning [109.21780441933164]
推論における体系的一般化を改善するためのハイブリッドアプローチを提案する。
我々はRaven's Progressive Matrices (RPM) の抽象的空間時間課題に対する代数的表現を用いたプロトタイプを紹介する。
得られた代数的表現は同型によって復号化して解を生成することができることを示す。
論文 参考訳(メタデータ) (2021-11-25T09:56:30Z) - Learning Algebraic Recombination for Compositional Generalization [71.78771157219428]
合成一般化のための代数的組換え学習のためのエンドツーエンドニューラルモデルLeARを提案する。
主要な洞察は、意味解析タスクを潜在構文代数学と意味代数学の間の準同型としてモデル化することである。
2つの現実的・包括的構成一般化の実験は、我々のモデルの有効性を実証している。
論文 参考訳(メタデータ) (2021-07-14T07:23:46Z) - Sequential composition of answer set programs [0.0]
本稿では,解集合プログラムの逐次構成を導入,研究することにより,論理プログラミングの数学的基礎に寄与する。
より広い意味では、本論文は、解集合プログラムの代数への第一歩であり、将来的には、この論文の手法をプログラムのより広範なクラスに引き上げる計画である。
論文 参考訳(メタデータ) (2021-04-25T13:27:22Z) - An Algebraic Framework for Multi-Qudit Computations with Generalized
Clifford Algebras [0.0]
一般化クリフォード代数の多重量子表現の様々な高次性質を抽象化する公理の枠組みを開発する。
このフレームワークは、一般化されたクリフォード代数のマルチキューディット表現のためのグラフィカル計算を開発する方法を開く。
論文 参考訳(メタデータ) (2021-03-29T04:32:59Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。