論文の概要: Algebraic characterizations of least model and uniform equivalence of propositional Krom logic programs

• arxiv url: http://arxiv.org/abs/2302.04664v1
• Date: Fri, 20 Jan 2023 15:47:39 GMT
• ステータス: 処理完了
• システム内更新日: 2023-02-12 13:06:20.404362
• Title: Algebraic characterizations of least model and uniform equivalence of propositional Krom logic programs
• Title（参考訳）: 命題krom論理プログラムの最小モデルと一様等価性の代数的特徴付け
• Authors: Christian Anti\'c
• Abstract要約: この研究ノートは、最小モデル意味論に関する同値性の代数的特徴づけと命題クロム論理プログラムの同値性を提供する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: This research note provides algebraic characterizations of equivalence with respect to the least model semantics, and of uniform equivalence of propositional Krom logic programs.
• Abstract（参考訳）: 本研究は、最小モデル意味論に関する同値性の代数的特徴付けと命題krom論理プログラムの一様同値性を提供する。

関連論文リスト

• A Primer for Preferential Non-Monotonic Propositional Team Logics [0.0]
  チームベースの命題論理は、自然に累積的な非単調な含意関係をもたらすことを示す。 チームセマンティクスにおける解離の非古典的解釈に動機付けられて、命題依存論理の優先モデルに対して、正確な特徴を与える。
  論文  参考訳（メタデータ） (2024-05-11T09:53:15Z)
• Diffeomorphic Measure Matching with Kernels for Generative Modeling [1.2058600649065618]
  本稿では、常微分方程式(ODE)と再生成ケルネルヒルベルト空間(RKHS)を用いて、最小分散生成モデリングおよびサンプリングに向けた確率測度を伝達するための枠組みを提案する。 提案手法の理論的解析を行い,モデルの複雑さ,トレーニングセット内のサンプル数,モデルの誤識別という観点から,事前誤差境界を与える。
  論文  参考訳（メタデータ） (2024-02-12T21:44:20Z)
• An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
  このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。 応用例としては、メタ理論的性質の形式的解析と検証がある。
  論文  参考訳（メタデータ） (2023-12-08T09:32:26Z)
• A Hybrid System for Systematic Generalization in Simple Arithmetic Problems [70.91780996370326]
  本稿では,記号列に対する合成的および体系的推論を必要とする算術的問題を解くことができるハイブリッドシステムを提案する。 提案システムは,最も単純なケースを含むサブセットでのみ訓練された場合においても,ネストした数式を正確に解くことができることを示す。
  論文  参考訳（メタデータ） (2023-06-29T18:35:41Z)
• Comparison of Single- and Multi- Objective Optimization Quality for Evolutionary Equation Discovery [77.34726150561087]
  進化的微分方程式の発見は、より優先順位の低い方程式を得るための道具であることが証明された。 提案した比較手法は、バーガーズ方程式、波動方程式、コルテヴェーグ・ド・ブリーズ方程式といった古典的なモデル例で示される。
  論文  参考訳（メタデータ） (2023-06-29T15:37:19Z)
• Sequential decomposition of propositional logic programs [0.0]
  本稿では,プログラム間のグリーンの関係を研究することによって,プログラムの逐次分解について検討する。 より広い意味では、この論文は論理プログラミングの代数的理論へのさらなる一歩である。
  論文  参考訳（メタデータ） (2023-02-21T16:14:57Z)
• Learning Graphical Factor Models with Riemannian Optimization [70.13748170371889]
  本稿では,低ランク構造制約下でのグラフ学習のためのフレキシブルなアルゴリズムフレームワークを提案する。 この問題は楕円分布のペナルティ化された最大推定値として表される。 楕円モデルによく適合する正定行列と定ランクの正半定行列のジオメトリを利用する。
  論文  参考訳（メタデータ） (2022-10-21T13:19:45Z)
• Recursive Monte Carlo and Variational Inference with Auxiliary Variables [64.25762042361839]
  再帰的補助変数推論(RAVI)はフレキシブルな提案を利用するための新しいフレームワークである。 RAVIは、表現力のある表現力のある家族を推論するためのいくつかの既存の手法を一般化し、統一する。 RAVIの設計枠組みと定理を,SalimansらによるMarkov Chain Variational Inferenceを用いて解析し,改良することにより示す。
  論文  参考訳（メタデータ） (2022-03-05T23:52:40Z)
• A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
  本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。 対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
  論文  参考訳（メタデータ） (2021-10-18T10:45:59Z)
• Logical foundations for hybrid type-logical grammars [0.0]
  本稿では,ハイブリッド型論理文法の証明論的側面について考察する。 正規化や部分形式的性質などの計算の基本的な性質を証明している。 本稿では,ハイブリッド型論理文法のシークエントと証明ネット計算について述べる。
  論文  参考訳（メタデータ） (2020-09-22T08:26:14Z)
• Sequential composition of propositional logic programs [0.0]
  本稿では,非循環プログラムを単一ルールプログラムに分解し,任意のプログラムに対して一般的な分解結果を提供する。 プログラムの即時結果演算子は、演算子への明示的な参照を伴わずに最小モデルを計算することができる構成によって表現できることを示す。
  論文  参考訳（メタデータ） (2020-09-12T11:57:30Z)

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

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