Fugu-MT 論文翻訳(概要): Extending Defeasibility for Propositional Standpoint Logics

論文の概要: Extending Defeasibility for Propositional Standpoint Logics

arxiv url: http://arxiv.org/abs/2507.10133v1
Date: Mon, 14 Jul 2025 10:23:49 GMT
ステータス: 翻訳完了
システム内更新日: 2025-07-15 18:48:24.668681
Title: Extending Defeasibility for Propositional Standpoint Logics
Title（参考訳）: 命題的立場論理における定義可能性の拡張
Authors: Nicholas Leisegang, Thomas Meyer, Ivan Varzinczak,
Abstract要約: 我々はKraus et al.'s defeasible conditionals, Britz and Varzinczak's concepts of defeasible need and distinct possibilityを組み込むことにより、新しい補足的立場論理のデファシブルバージョンを導入する。結果として生じる論理的フレームワークは、含意レベル、ポイント・モーダル演算子、およびポイント・シャープなステートメントのデファシビリティを表現することができる。
参考スコア（独自算出の注目度）: 3.4410212782758043
License: http://creativecommons.org/licenses/by/4.0/
Abstract: In this paper, we introduce a new defeasible version of propositional standpoint logic by integrating Kraus et al.'s defeasible conditionals, Britz and Varzinczak's notions of defeasible necessity and distinct possibility, along with Leisegang et al.'s approach to defeasibility into the standpoint logics of G\'omez \'Alvarez and Rudolph. The resulting logical framework allows for the expression of defeasibility on the level of implications, standpoint modal operators, and standpoint-sharpening statements. We provide a preferential semantics for this extended language and propose a tableaux calculus, which is shown to be sound and complete with respect to preferential entailment. We also establish the computational complexity of the tableaux procedure to be in PSpace.
Abstract（参考訳）: 本稿では,Kraus et al's defeasible conditionals, Britz and Varzinczak's concepts of defeasible need and different possibility, and with Leisegang et al's approach to defeasibility into the standpoint logics of G\'omez \'Alvarez and Rudolph。結果として生じる論理的フレームワークは、含意レベル、ポイント・モーダル演算子、およびポイント・シャープなステートメントのデファシビリティを表現することができる。本稿では,この拡張言語に対する優越的意味論を提案し,優越性に関して健全で完備であることを示す表計算法を提案する。また,PSpaceにおけるテーブルロー手順の計算複雑性も確立する。

関連論文リスト

Towards Propositional KLM-Style Defeasible Standpoint Logics [3.8097021295196414]
本稿では,Defeasible Restricted Standpoint Logic (DRSL) の論理体系を導入し,その構文と意味を定義した。具体的には、ランク付けされた解釈と視点構造を統合し、それぞれ命題的KLMと命題的視点論理のセマンティクスを提供する。提案するKLM症例からDRSL症例まで, 有理的閉鎖の非単調な包含関係を拡張した。
論文参考訳（メタデータ） (2024-10-05T18:07:03Z)
The Foundations of Tokenization: Statistical and Computational Concerns [51.370165245628975]
トークン化は、NLPパイプラインにおける重要なステップである。 NLPにおける標準表現法としての重要性は認識されているが、トークン化の理論的基盤はまだ完全には理解されていない。本稿では,トークン化モデルの表現と解析のための統一的な形式的枠組みを提案することによって,この理論的ギャップに対処することに貢献している。
論文参考訳（メタデータ） (2024-07-16T11:12:28Z)
Learning Visual-Semantic Subspace Representations [49.17165360280794]
我々は,自己教師型学習に有効な情報理論の原理を基礎として,核ノルムに基づく損失関数を導入する。この損失の理論的特徴として、クラス性の促進に加えて、部分空間格子内のデータのスペクトル幾何学を符号化していることを示す。
論文参考訳（メタデータ） (2024-05-25T12:51:38Z)
An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。応用例としては、メタ理論的性質の形式的解析と検証がある。
論文参考訳（メタデータ） (2023-12-08T09:32:26Z)
A Semantic Approach to Decidability in Epistemic Planning (Extended Version) [72.77805489645604]
我々は決定可能性を達成するために新しい意味論的アプローチを用いる。具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
論文参考訳（メタデータ） (2023-07-28T11:26:26Z)
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+ [2.9005223064604073]
Standpoint EL は一般的な記述論理 EL のマルチモーダル拡張である。本稿では,この定式化の表現性を推し進めることで,Standpoint EL+と呼ばれる拡張論理に到達できることを示す。これは、原型的満足度チェックの推論計算を設計することで達成される。
論文参考訳（メタデータ） (2023-04-27T16:49:17Z)
Admissibility in Strength-based Argumentation: Complexity and Algorithms (Extended Version with Proofs) [1.5828697880068698]
我々は、適応性に基づく意味論の強度に基づく論証フレームワーク(StrAF)への適応について研究する。特に文献で定義された強い許容性は望ましい性質、すなわちDungの基本的な補題を満たさないことを示す。計算(強弱)拡張に対する擬ブール制約の翻訳を提案する。
論文参考訳（メタデータ） (2022-07-05T18:42:04Z)
Rationale-Augmented Ensembles in Language Models [53.45015291520658]
我々は、数発のテキスト内学習のための合理化促進策を再考する。我々は、出力空間における合理的サンプリングを、性能を確実に向上させるキーコンポーネントとして特定する。有理拡張アンサンブルは既存のプロンプト手法よりも正確で解釈可能な結果が得られることを示す。
論文参考訳（メタデータ） (2022-07-02T06:20:57Z)
A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文参考訳（メタデータ） (2021-10-18T10:45:59Z)
Logical Credal Networks [87.25387518070411]
本稿では,論理と確率を組み合わせた先行モデルの多くを一般化した表現的確率論的論理である論理的クレダルネットワークを紹介する。本稿では,不確実性のあるマスターミンドゲームを解くこと,クレジットカード詐欺を検出することを含む,最大後部推論タスクの性能について検討する。
論文参考訳（メタデータ） (2021-09-25T00:00:47Z)
Syntactic Requirements for Well-defined Hybrid Probabilistic Logic Programs [0.5076419064097734]
ハイブリッド確率論理プログラムは、離散的かつ連続的な分布を表す事実で拡張された論理プログラミングの表現性のおかげで、いくつかのシナリオを表現できる。ここでは、最近のセマンティクスの提案に続いて、具体的構文を説明し、明確に定義された状態を維持するのに必要な構文的要求を分析する。
論文参考訳（メタデータ） (2021-09-17T01:45:34Z)
Paraconsistent Foundations for Probabilistic Reasoning, Programming and Concept Formation [0.0]
4値のパラ一貫性真理値(ここでは「pビット」と呼ばれる)は、確率論的論理とプログラミングと概念形成の高度AI関連形式の概念的、数学的、実践的な基礎として機能する。構成的双対(CD)論理に従って動作している4値のpビットの平均平均値と再正規化がPLN(Probabilistic Logic Networks)の強度と自信の真理値をもたらすことが示されている。
論文参考訳（メタデータ） (2020-12-28T20:14:49Z)

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