論文の概要: On the Complexity and Properties of Preferential Propositional Dependence Logic

• arxiv url: http://arxiv.org/abs/2505.08522v1
• Date: Tue, 13 May 2025 12:54:59 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-05-14 20:57:54.563086
• Title: On the Complexity and Properties of Preferential Propositional Dependence Logic
• Title（参考訳）: 述語述語依存論理の複雑さと性質について
• Authors: Kai Sauerwald, Arne Meier, Juha Kontinen,
• Abstract要約: 優先的なチームベースの推論は累積的であるが、SystemPに違反する。 これらの特徴付けは、驚くべきことに、チームベースの命題論理に受け継がれません。
• 参考スコア（独自算出の注目度）: 3.1952340441132474
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: This paper considers the complexity and properties of KLM-style preferential reasoning in the setting of propositional logic with team semantics and dependence atoms, also known as propositional dependence logic. Preferential team-based reasoning is shown to be cumulative, yet violates System~P. We give intuitive conditions that fully characterise those cases where preferential propositional dependence logic satisfies System~P. We show that these characterisations do, surprisingly, not carry over to preferential team-based propositional logic. Furthermore, we show how classical entailment and dependence logic entailment can be expressed in terms of non-trivial preferential models. Finally, we present the complexity of preferential team-based reasoning for two natural representations. This includes novel complexity results for classical (non-team-based) preferential reasoning.
• Abstract（参考訳）: 本稿では、チーム意味論と依存原子(命題依存論理としても知られる)による命題論理の設定において、KLMスタイルの優先推論の複雑さと性質について考察する。 優先的なチームベースの推論は累積的であるが、System~Pに反する。 優先命題依存論理がシステム~Pを満たす場合を完全に特徴付ける直感的な条件を与える。 これらの特徴付けは、驚くべきことに、チームベースの命題論理に受け継がれません。 さらに,古典的エンテーメントと依存論理エンテーメントが,非自明な優先モデルでどのように表現できるかを示す。 最後に、2つの自然な表現に対する優先的なチームベースの推論の複雑さを示す。 これには、古典的な(チームベースでない)優先的な推論のための、新しい複雑さの結果が含まれる。

関連論文リスト

• A Primer for Preferential Non-Monotonic Propositional Team Logics [0.0]
  チームベースの命題論理は、自然に累積的な非単調な含意関係をもたらすことを示す。 チームセマンティクスにおける解離の非古典的解釈に動機付けられて、命題依存論理の優先モデルに対して、正確な特徴を与える。
  論文  参考訳（メタデータ） (2024-05-11T09:53:15Z)
• 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)
• Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
  パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文) 論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。 ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
  論文  参考訳（メタデータ） (2022-07-04T14:38:49Z)
• Strong Equivalence of Logic Programs with Ordered Disjunction: a Logical Perspective [1.160208922584163]
  順序ディジャンクション付き論理プログラム (LPOD) は古典論理プログラムを拡張し、優先ディジャンクションを表現できる。 本稿では,4値論理の論理等価性としてLPODの強い等価性を純粋に論理的に評価する。 LPODに対する強同値のcoNP完全性の新たな証明を提供するが、これはプログラムの特別な構造に依存しているため、それ自体が興味を持つ。
  論文  参考訳（メタデータ） (2022-05-10T13:33:32Z)
• Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics [2.627046865670577]
  シーケント型証明システムにおいて、最小の矛盾に基づく非単調パラ一貫性論理の族に対する一様公理を導入する。 パラドックスの3値最小矛盾論理と、アリエリとアヴロンによる4値パラドックス推論関係について、シークエント型計算を提供する。
  論文  参考訳（メタデータ） (2020-09-22T00:49:52Z)
• Foundations of Reasoning with Uncertainty via Real-valued Logics [70.43924776071616]
  我々は、本質的にすべての実数値論理をカバーするためにパラメータ化できる、音と強完全公理化を与える。 文のクラスは非常に豊かであり、各クラスは実数値論理の式の集合に対して可能な実値の集合を記述する。
  論文  参考訳（メタデータ） (2020-08-06T02:13:11Z)

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

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