論文の概要: Comparing Dialectical Systems: Contradiction and Counterexample in Belief Change (Extended Version)

• arxiv url: http://arxiv.org/abs/2507.06798v1
• Date: Wed, 09 Jul 2025 12:35:20 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-07-10 17:37:43.581484
• Title: Comparing Dialectical Systems: Contradiction and Counterexample in Belief Change (Extended Version)
• Title（参考訳）: 辞書システムの比較: 信念の変化の対比と反例(拡張版)
• Authors: Uri Andrews, Luca San Mauro,
• Abstract要約: 我々は、q-述語系がp-述語系よりも厳密に強力であることを示す。 この結果は、自動信念修正における反例と矛盾の相補的な役割を強調している。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Dialectical systems are a mathematical formalism for modeling an agent updating a knowledge base seeking consistency. Introduced in the 1970s by Roberto Magari, they were originally conceived to capture how a working mathematician or a research community refines beliefs in the pursuit of truth. Dialectical systems also serve as natural models for the belief change of an automated agent, offering a unifying, computable framework for dynamic belief management. The literature distinguishes three main models of dialectical systems: (d-)dialectical systems based on revising beliefs when they are seen to be inconsistent, p-dialectical systems based on revising beliefs based on finding a counterexample, and q-dialectical systems which can do both. We answer an open problem in the literature by proving that q-dialectical systems are strictly more powerful than p-dialectical systems, which are themselves known to be strictly stronger than (d-)dialectical systems. This result highlights the complementary roles of counterexample and contradiction in automated belief revision, and thus also in the reasoning processes of mathematicians and research communities.
• Abstract（参考訳）: 辞書システムは、一貫性を求める知識ベースを更新するエージェントをモデル化するための数学的フォーマリズムである。 1970年代にロベルト・マガリ(Roberto Magari)によって導入され、元々は数学者や研究コミュニティが真理の追求においてどのように信念を洗練させるかを捉えるために考案された。 弁証的システムは、自動エージェントの信念変化の自然なモデルとしても機能し、動的信念管理のための統一的で計算可能なフレームワークを提供する。 この文献は、 (d-) 方言体系の3つの主要なモデルを区別している: (d-) 方言体系は、それらが矛盾していると見なされるときの信念の修正に基づく、p-方言体系は、反例を見つけることに基づく信念の改訂に基づく、そして両方を実行できるq-方言体系である。 我々は、q-述語系が(d-)述語系よりも厳密に強いことが知られているp-述語系よりも厳密に強力なことを証明して、文献のオープンな問題に答える。 この結果は, 自動信念修正における反例と矛盾の相補的役割を強調し, 数学者や研究コミュニティの推論過程においても同様である。

関連論文リスト

• UniConv: Unifying Retrieval and Response Generation for Large Language Models in Conversations [71.79210031338464]
  会話における大規模言語モデルに対する高密度検索と応答生成の統一方法を示す。 目的の異なる共同微調整を行い、不整合リスクを低減するための2つのメカニズムを設計する。 5つの対話型検索データセットの評価は、我々の統合モデルがタスクを相互に改善し、既存のベースラインより優れていることを示す。
  論文  参考訳（メタデータ） (2025-07-09T17:02:40Z)
• Bayesian Epistemology with Weighted Authority: A Formal Architecture for Truth-Promoting Autonomous Scientific Reasoning [0.0]
  本稿では,ベイジアン・エピステロジーとウェイト・オーソリティ(BEWA)を紹介する。 BEWAは、構造化された科学的主張に対する動的で確率論的に一貫性のある関数としての信念を運用している。 グラフベースのクレーム伝搬、権威的信頼性モデリング、暗号化アンカー、ゼロ知識監査検証をサポートする。
  論文  参考訳（メタデータ） (2025-06-19T04:22:35Z)
• The Theory of the Unique Latent Pattern: A Formal Epistemic Framework for Structural Singularity in Complex Systems [2.44755919161855]
  本稿では,動的システムにおける複雑性の起源を再定義する形式的枠組みとして,一様潜在パターンの理論(ULP)を紹介する。 ULPは、本質的なランダム性や創発的な非線形性に予測不可能をもたらすのではなく、全ての分析可能な系は構造的にユニークで決定論的な生成機構によって支配されていると主張する。
  論文  参考訳（メタデータ） (2025-05-24T19:52:28Z)
• A Semantic Approach to Decidability in Epistemic Planning (Extended Version) [72.77805489645604]
  我々は決定可能性を達成するために新しい意味論的アプローチを用いる。 具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。 我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
  論文  参考訳（メタデータ） (2023-07-28T11:26:26Z)
• A Hybrid System for Systematic Generalization in Simple Arithmetic Problems [70.91780996370326]
  本稿では,記号列に対する合成的および体系的推論を必要とする算術的問題を解くことができるハイブリッドシステムを提案する。 提案システムは,最も単純なケースを含むサブセットでのみ訓練された場合においても,ネストした数式を正確に解くことができることを示す。
  論文  参考訳（メタデータ） (2023-06-29T18:35:41Z)
• Uncertain Machine Ethical Decisions Using Hypothetical Retrospection [8.064201367978066]
  本稿では,Sven Ove Hansson が開発した仮説的ふりかえり議論手法を提案する。 アクションは潜在的な結果の分岐セットで表現され、それぞれが状態、ユーティリティを持ち、数値または詩的な確率の推定値を持つ。 機械倫理システムの様々な要件を満たすような予備的な枠組みを導入する。
  論文  参考訳（メタデータ） (2023-05-02T13:54:04Z)
• Quantum Mechanics as a Theory of Incompatible Symmetries [77.34726150561087]
  古典確率論が非互換変数を持つ任意の系を含むように拡張可能であることを示す。 非互換な変数を持つ確率的システム(古典的あるいは量子的)が不確実性だけでなく、その確率パターンにも干渉することを示す。
  論文  参考訳（メタデータ） (2022-05-31T16:04:59Z)
• Improving Coherence and Consistency in Neural Sequence Models with Dual-System, Neuro-Symbolic Reasoning [49.6928533575956]
  我々は、神経系1と論理系2の間を仲介するために神経推論を用いる。 強靭なストーリー生成とグラウンドド・インストラクション・フォローリングの結果、このアプローチは神経系世代におけるコヒーレンスと精度を高めることができることを示した。
  論文  参考訳（メタデータ） (2021-07-06T17:59:49Z)
• Models we Can Trust: Toward a Systematic Discipline of (Agent-Based) Model Interpretation and Validation [0.0]
  我々は、モデルから情報を取り出すための相互作用の分野の開発を提唱する。 このような分野の発展に向けたいくつかの方向性を概説する。
  論文  参考訳（メタデータ） (2021-02-23T10:52:22Z)
• Modeling Voting for System Combination in Machine Translation [92.09572642019145]
  本稿では,機械翻訳におけるシステムの組み合わせに対する投票のモデル化手法を提案する。 提案手法は,仮説間の関係を解析できるだけでなく,エンドツーエンドのトレーニングを可能にするため,統計的手法とニューラル手法の利点を組み合わせたものである。
  論文  参考訳（メタデータ） (2020-07-14T09:59:38Z)

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

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