Fugu-MT 論文翻訳(概要): On the Complexity of Entailment for Cumulative Propositional Dependence Logics

論文の概要: On the Complexity of Entailment for Cumulative Propositional Dependence Logics

arxiv url: http://arxiv.org/abs/2605.21113v1
Date: Wed, 20 May 2026 12:46:13 GMT
ステータス: 翻訳完了
システム内更新日: 2026-05-21 19:19:56.675576
Title: On the Complexity of Entailment for Cumulative Propositional Dependence Logics
Title（参考訳）: 累積命題依存論理のエンテーメントの複雑さについて
Authors: Kai Sauerwald, Juha Kontinen, Arne Meier,
Abstract要約: 本稿では, 累積命題依存論理と累積命題依存論理と, チームの意味論による複雑性結果の確立と証明を行う。最近示されているように、累積論理はSystemCによって特徴づけられ、クラウス、リーマン、マギドールの累積モデルによって正確に捉えられている。
参考スコア（独自算出の注目度）: 5.3909333359654275
License: http://creativecommons.org/licenses/by-nc-nd/4.0/
Abstract: This paper establishes and proves complexity results for entailment for cumulative propositional dependence logic and for cumulative propositional logic with team semantics. As recently shown, cumulative logics are famously characterised by System~C and exactly captured by the cumulative models of Kraus, Lehmann and Magidor. This gives rise to the entailment problem via relational models, which is specifically considered here.
Abstract（参考訳）: 本稿では, 累積命題依存論理と累積命題依存論理と, チームの意味論による複雑性結果の確立と証明を行う。最近示されているように、累積論理は System~C によって特徴づけられ、クラウス、リーマン、マギドールの累積モデルによって正確に捉えられている。これは、特にここで考慮されている関係モデルを介して、複雑な問題を引き起こす。

関連論文リスト

Representation Theorems for Cumulative Propositional Dependence Logics [5.3909333359654275]
累積命題依存論理と累積命題依存論理の表現定理をチームセマンティクスで証明する。命題依存論理では、システムCエンターメントはクラウス、リーマン、マギドールの累積モデルによって正確に捕捉されることを示す。一方,チーム意味論による累積命題論理の係り受けは,累積モデルと非対称モデルによって正確に捉えられていることを示す。
論文参考訳（メタデータ） (2026-02-24T20:45:01Z)
On the Complexity and Properties of Preferential Propositional Dependence Logic [3.1952340441132474]
優先的なチームベースの推論は累積的であるが、SystemPに違反する。これらの特徴付けは、驚くべきことに、チームベースの命題論理に受け継がれません。
論文参考訳（メタデータ） (2025-05-13T12:54:59Z)
On the Logical Content of Logic Programs [0.0]
本稿では,プログラムが知っていることを説明するサポートの関係を定義することで,論理プログラミング(LP)の新たな視点を紹介する。結果は、証明理論のセマンティクスにおける基本拡張セマンティクスの考え方を用いて定式化される。提案手法は,LPの論理的基礎に関する新たな知見を提供し,知識表現や自動推論,形式的検証などに応用できる可能性がある。
論文参考訳（メタデータ） (2025-03-07T11:58:08Z)
On the Diagram of Thought [20.805936414171892]
大規模言語モデル(LLM)は多くのタスクで優れているが、構造化された多段階の推論を必要とする複雑な問題に悩まされることが多い。思考のダイアグラム(Diagram of Thought, DoT)は、1つのLCMがその推論のメンタルマップを構築し、ナビゲートすることを可能にする新しいフレームワークである。
論文参考訳（メタデータ） (2024-09-16T07:01:41Z)
A Primer for Preferential Non-Monotonic Propositional Team Logics [0.0]
チームベースの命題論理は、自然に累積的な非単調な含意関係をもたらすことを示す。チームセマンティクスにおける解離の非古典的解釈に動機付けられて、命題依存論理の優先モデルに対して、正確な特徴を与える。
論文参考訳（メタデータ） (2024-05-11T09:53:15Z)
Modeling Hierarchical Reasoning Chains by Linking Discourse Units and Key Phrases for Reading Comprehension [80.99865844249106]
本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
論文参考訳（メタデータ） (2023-06-21T07:34:27Z)
Query Structure Modeling for Inductive Logical Reasoning Over Knowledge Graphs [67.043747188954]
KGに対する帰納的論理的推論のための構造モデル付きテキスト符号化フレームワークを提案する。線形化されたクエリ構造とエンティティを、事前訓練された言語モデルを使ってエンコードして、回答を見つける。 2つの帰納的論理推論データセットと3つの帰納的推論データセットについて実験を行った。
論文参考訳（メタデータ） (2023-05-23T01:25:29Z)
The Transformation Logics [58.35574640378678]
表現性と複雑性のトレードオフのバランスをとるために設計された、時間論理の新しいファミリーを導入する。重要な特徴は、変換演算子と呼ばれる新しい種類の演算子を定義する可能性である。表現力と複雑性を増大させる階層を創り出すことができる論理を提示する。
論文参考訳（メタデータ） (2023-04-19T13:24:04Z)
MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure [129.8481568648651]
複雑な実生活シナリオにおけるモデルの論理的推論能力を調べるためのベンチマークを提案する。推論のマルチホップ連鎖に基づいて、説明形式は3つの主成分を含む。この新たな説明形式を用いて,現在のベストモデルの性能を評価した。
論文参考訳（メタデータ） (2022-10-22T16:01:13Z)
Partial Counterfactual Identification from Observational and Experimental Data [83.798237968683]
観測データと実験データの任意の組み合わせから最適境界を近似する有効なモンテカルロアルゴリズムを開発した。我々のアルゴリズムは、合成および実世界のデータセットに基づいて広範囲に検証されている。
論文参考訳（メタデータ） (2021-10-12T02:21:30Z)

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