論文の概要: Representation Theorems for Cumulative Propositional Dependence Logics

• arxiv url: http://arxiv.org/abs/2602.21360v1
• Date: Tue, 24 Feb 2026 20:45:01 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-02-26 18:19:16.604457
• Title: Representation Theorems for Cumulative Propositional Dependence Logics
• Title（参考訳）: 累積命題依存論理の表現論
• Authors: Juha Kontinen, Arne Meier, Kai Sauerwald,
• Abstract要約: 累積命題依存論理と累積命題依存論理の表現定理をチームセマンティクスで証明する。 命題依存論理では、システムCエンターメントはクラウス、リーマン、マギドールの累積モデルによって正確に捕捉されることを示す。 一方,チーム意味論による累積命題論理の係り受けは,累積モデルと非対称モデルによって正確に捉えられていることを示す。
• 参考スコア（独自算出の注目度）: 5.3909333359654275
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: This paper establishes and proves representation theorems for cumulative propositional dependence logic and for cumulative propositional logic with team semantics. Cumulative logics are famously given by System C. For propositional dependence logic, we show that System C entailments are exactly captured by cumulative models from Kraus, Lehmann and Magidor. On the other hand, we show that entailment in cumulative propositional logics with team semantics is exactly captured by cumulative and asymmetric models. For the latter, we also obtain equivalence with cumulative logics based on propositional logic with classical semantics. The proofs will be useful for proving representation theorems for other cumulative logics without negation and material implication.
• Abstract（参考訳）: 本稿では、累積命題依存論理と累積命題依存論理と、チームセマンティクスを用いた累積命題依存論理の表現定理を確立し、証明する。 命題依存論理では、システムCの包含はクラウス、リーマン、マギドールの累積モデルによって正確に捉えられていることを示す。 一方,チーム意味論による累積命題論理の係り受けは,累積モデルと非対称モデルによって正確に捉えられていることを示す。 後者については、古典的意味論による命題論理に基づく累積論理と等価性を得る。 この証明は、否定や物質的含意を伴わない他の累積論理の表現定理を証明するのに有用である。

関連論文リスト

• Are Language Models Efficient Reasoners? A Perspective from Logic Programming [109.47572890883248]
  現代言語モデル(LM)は、強い推論能力を示すが、標準的な評価は、人間のような推論の重要な側面である効率性を見越しながら、正確性を強調する。 本稿では、論理プログラミングのレンズを用いて、LM推論効率を評価するためのフレームワークを提案する。
  論文  参考訳（メタデータ） (2025-10-29T15:30:31Z)
• DivLogicEval: A Framework for Benchmarking Logical Reasoning Evaluation in Large Language Models [58.439517684779936]
  本稿では,多種多様な文からなる自然文からなる古典論理ベンチマークDivLogicEvalを提案する。 また,より信頼性の高い評価を実現するために,大規模言語モデルに固有のバイアスやランダム性の影響を緩和する新たな評価指標を導入する。
  論文  参考訳（メタデータ） (2025-09-19T04:40:46Z)
• On the Complexity and Properties of Preferential Propositional Dependence Logic [3.1952340441132474]
  優先的なチームベースの推論は累積的であるが、SystemPに違反する。 これらの特徴付けは、驚くべきことに、チームベースの命題論理に受け継がれません。
  論文  参考訳（メタデータ） (2025-05-13T12:54:59Z)
• Propositional Measure Logic [0.0]
  基本確率論的意味論を用いた命題論理を提案する。 この意味論は古典論理の双対性に置き換わり、導出的構造を保存する。 提案手法は,不確実性を考慮した推論に適していることを示す。
  論文  参考訳（メタデータ） (2025-04-24T16:21:16Z)
• A Primer for Preferential Non-Monotonic Propositional Team Logics [0.0]
  チームベースの命題論理は、自然に累積的な非単調な含意関係をもたらすことを示す。 チームセマンティクスにおける解離の非古典的解釈に動機付けられて、命題依存論理の優先モデルに対して、正確な特徴を与える。
  論文  参考訳（メタデータ） (2024-05-11T09:53:15Z)
• Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
  パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文) 論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。 ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
  論文  参考訳（メタデータ） (2022-07-04T14:38:49Z)
• Logical Credal Networks [87.25387518070411]
  本稿では,論理と確率を組み合わせた先行モデルの多くを一般化した表現的確率論的論理である論理的クレダルネットワークを紹介する。 本稿では,不確実性のあるマスターミンドゲームを解くこと,クレジットカード詐欺を検出することを含む,最大後部推論タスクの性能について検討する。
  論文  参考訳（メタデータ） (2021-09-25T00:00:47Z)
• A natural deduction system for orthomodular logic [0.0]
  オルトモジュラ論理(オルトモジュラりょう、英: Orthomodular logic)は、バーコフとフォン・ノイマンの意味での量子論理の弱化である。 非線形非可換論理である。 これは述語論理の2つの系に拡張される: 1つはタケウティの量子集合論のための音、もう1つはウィーバーの量子論理の変種に対する音である。
  論文  参考訳（メタデータ） (2021-09-11T22:28:17Z)
• Uncertain Linear Logic via Fibring of Probabilistic and Fuzzy Logic [0.0]
  確率論理とファジィ論理は 2つの異なる仮定に対応します 証拠ベースが現在利用できない命題の組み合わせについて この2つの式は、線形論理における乗法および加法的作用素集合の自然な基底を与える。 資源の論理としての線形論理の概念」は、証拠の保存の原理を通じてここで証明される。
  論文  参考訳（メタデータ） (2020-09-28T00:19:42Z)
• Foundations of Reasoning with Uncertainty via Real-valued Logics [70.43924776071616]
  我々は、本質的にすべての実数値論理をカバーするためにパラメータ化できる、音と強完全公理化を与える。 文のクラスは非常に豊かであり、各クラスは実数値論理の式の集合に対して可能な実値の集合を記述する。
  論文  参考訳（メタデータ） (2020-08-06T02:13:11Z)

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

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