論文の概要: Standpoint Logics with Defeasible Beliefs

• arxiv url: http://arxiv.org/abs/2606.08503v1
• Date: Sun, 07 Jun 2026 08:05:30 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-06-09 14:42:06.164049
• Title: Standpoint Logics with Defeasible Beliefs
• Title（参考訳）: 定義可能な信念を持つスタンドポイント論理
• Authors: Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph,
• Abstract要約: Gmez lvarez と Rudolph のスタンドポイント論理フレームワークと、Kraus, Lehmann, Magidor のデファシブル論理を統合する。 これは、複数の(おそらく矛盾している)視点を考慮に入れた知識を正式に表現するという目標によって達成される。 提案するKLM から DRSL に移行する際には, エンテーメントの複雑さクラスが変化しないことが示唆された。
• 参考スコア（独自算出の注目度）: 2.3722749986774403
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: In this paper, we integrate the defeasible logic of Kraus, Lehmann and Magidor (KLM) with the standpoint logic framework of Gómez Álvarez and Rudolph. This is done with the goal of formally expressing knowledge taking into account multiple (possibly contradicting) viewpoints, which in turn may hold defeasible beliefs. In doing so, we utilise Defeasible Restricted Standpoint Logics (DRSL), introduced by Leisegang et al. Our work expands on previous work by providing a foundational representation result for DRSL semantics and systematically lifting several well-known entailment relations from the propositional case to the standpoint-enhanced setting. In particular, we characterise the semantics for DRSL through a set of KLM-style postulates adapted for the standpoints case. We furthermore provide a means to lift preferential entailment, and the class of entailment relations based on single ranking functions from the purely propositional to the standpoint-enhanced context, including rational and lexicographic closure. We show this can be done equivalently through semantic and algorithmic means. Furthermore, we show that, for each considered form of entailment, the complexity class of entailment checking does not change when moving from propositional KLM to DRSL.
• Abstract（参考訳）: 本稿では、クラウス、レーマン、マギドール(KLM)のデファシブル論理と、ゴメス・アルバレスとルドルフのスタンドポイント論理の枠組みを統合する。 これは、複数の(おそらく矛盾している)視点を考慮に入れた知識を正式に表現することで達成される。 本研究は, DRSLセマンティクスの基本的な表現結果を提供し, 提案事例からスタンドポイント強化設定まで, 良く知られた関係を体系的に持ち上げることによって, これまでの研究を拡大するものである。 特に, DRSL のセマンティクスを, KLM スタイルの仮定を用いて特徴付ける。 さらに,本論文では,論理的・語彙的クロージャを含む,純粋に命題的な文脈から視点的文脈まで,単一ランキング関数に基づく係り受け関係のクラスを提起する。 意味論的手法とアルゴリズム的手法でこれと同等に行うことができることを示す。 さらに,提案するKLM から DRSL への移行において,各エンタテインメントの複雑さクラスが変化しないことを示す。

関連論文リスト

• Towards Non-Monotonic Entailment in Propositional Defeasible Standpoint Logic [0.0]
  命題記述可能なスタンドポイント論理の大きな断片が位置条件の集合として表現可能であることを示す。 次に、このフラグメントにおける非単調なエンターメントの特徴付けに焦点をあて、命題のケースからPケースへランクに基づくエンターメント関係を転送する方法を定義する。
  論文  参考訳（メタデータ） (2026-06-02T13:44:37Z)
• CoT-Seg: Rethinking Segmentation with Chain-of-Thought Reasoning and Self-Correction [50.67483317563736]
  本稿では,段階的に考察し,必要な情報を検索し,結果を生成し,自己評価を行い,結果を洗練するシステムを提案する。 CoT-Segは、思考の連鎖推論と自己補正を組み合わせることで、推論セグメンテーションを再考する、トレーニング不要のフレームワークである。
  論文  参考訳（メタデータ） (2026-01-24T11:41:54Z)
• Extending Defeasibility for Propositional Standpoint Logics [3.4410212782758043]
  我々はKraus et al.'s defeasible conditionals, Britz and Varzinczak's concepts of defeasible need and distinct possibilityを組み込むことにより、新しい補足的立場論理のデファシブルバージョンを導入する。 結果として生じる論理的フレームワークは、含意レベル、ポイント・モーダル演算子、およびポイント・シャープなステートメントのデファシビリティを表現することができる。
  論文  参考訳（メタデータ） (2025-07-14T10:23:49Z)
• Towards Propositional KLM-Style Defeasible Standpoint Logics [3.8097021295196414]
  本稿では,Defeasible Restricted Standpoint Logic (DRSL) の論理体系を導入し,その構文と意味を定義した。 具体的には、ランク付けされた解釈と視点構造を統合し、それぞれ命題的KLMと命題的視点論理のセマンティクスを提供する。 提案するKLM症例からDRSL症例まで, 有理的閉鎖の非単調な包含関係を拡張した。
  論文  参考訳（メタデータ） (2024-10-05T18:07:03Z)
• On the Diagram of Thought [20.805936414171892]
  大規模言語モデル(LLM)は多くのタスクで優れているが、構造化された多段階の推論を必要とする複雑な問題に悩まされることが多い。 思考のダイアグラム(Diagram of Thought, DoT)は、1つのLCMがその推論のメンタルマップを構築し、ナビゲートすることを可能にする新しいフレームワークである。
  論文  参考訳（メタデータ） (2024-09-16T07:01:41Z)
• Can LLMs Reason with Rules? Logic Scaffolding for Stress-Testing and Improving LLMs [87.34281749422756]
  大規模言語モデル(LLM)は、様々な推論タスクにおいて、印象的な人間的なパフォーマンスを実現している。 しかし、その根底にある推論規則の熟達性は、人間の能力に欠ける。 本稿では,推論ルールベースであるULogicを構築するための,推論ルール生成フレームワークを提案する。
  論文  参考訳（メタデータ） (2024-02-18T03:38:51Z)
• Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs [95.07757789781213]
  LLMの複雑な推論には2行のアプローチが採用されている。 1行の作業は様々な推論構造を持つLLMを誘導し、構造出力は自然に中間推論ステップと見なすことができる。 他方の行では、LCMのない宣言的解法を用いて推論処理を行い、推論精度は向上するが、解法のブラックボックスの性質により解釈性に欠ける。 具体的には,Prologインタプリタが生成した中間検索ログにアクセスし,人間可読推論に解釈可能であることを示す。
  論文  参考訳（メタデータ） (2023-11-16T11:26:21Z)
• A Semantic Approach to Decidability in Epistemic Planning (Extended Version) [72.77805489645604]
  我々は決定可能性を達成するために新しい意味論的アプローチを用いる。 具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。 我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
  論文  参考訳（メタデータ） (2023-07-28T11:26:26Z)
• Language Models with Rationality [57.37201135072838]
  大規模言語モデル(LLM)は質問応答(QA)に熟練している 答えが潜んでいる「信条」からどのように従うか(あるいはたとえも)は必ずしも明確ではない。
  論文  参考訳（メタデータ） (2023-05-23T17:04:25Z)
• AGM Belief Revision, Semantically [1.7403133838762446]
  最小限の変化のパラダイムを実装した信念修正演算子の汎用的モデル理論的特徴付けを確立する。 我々の特徴づけはすべてのタルスキア論理、すなわち古典的なモデル理論のセマンティクスを持つ全ての論理に適用できる。
  論文  参考訳（メタデータ） (2021-12-27T07:53:21Z)

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

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