論文の概要: AGM-like Paraconsistent Partial Meet Abductive Expansion Operation
- arxiv url: http://arxiv.org/abs/2607.09729v1
- Date: Tue, 30 Jun 2026 20:07:25 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-07-19 21:54:20.38893
- Title: AGM-like Paraconsistent Partial Meet Abductive Expansion Operation
- Title（参考訳）: AGM-like Paraconsistent partial Meet Abductive Expansion Operation
- Abstract要約: 本稿では, 自明な解法を伴わずに矛盾する説明仮説を同化できる新しいAGM型退行性拡張手術を提案する。
私の知る限りでは、本論文で開発された運用は、AGM文献の中では初めてである。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: In his 1996 doctoral thesis, Maurice Pagnucco created the first AGM-like abductive expansion operation. Taking his operation as a basis, as well as a taxonomy -- inspired by Atocha Aliseda -- responsible for highlighting and formalizing the main components of abductive reasoning, the main aim of this paper is to present a new paraconsistent AGM-like abductive expansion operation -- capable of assimilating contradictory explanatory hypotheses without trivialization and the consequent absurd epistemic state -- with its postulates and its transitively relational partial meet construction. To a large extent, the formal development presented in this paper was only made possible by the recent creation of the paraconsistent logic RCbr, an LFI (Logics of Formal Inconsistencies) that establishes properties especially relevant to belief revision contexts, in particular, the ability to be self-extensional -- i.e., to satisfy the replacement property. This is the first of two papers: the paraconsistent abductive expansion operation announced here -- which is part of a new system called AGMpabd -- despite bringing many interesting features, does not assign any relevant epistemic role to the paraconsistent operators of negation and consistency. Only in a second paper will an analogous paraconsistent abductive expansion operation -- which is part of another new system, AGMcircabd -- be enhanced in this direction. Nevertheless, to the best of my knowledge, the operation developed in this paper is the first of its kind in the AGM literature.
- Abstract（参考訳）: 1996年の博士論文で、Maurice PagnuccoはAGMのような誘引性拡張手術を初めて作成した。
Atocha Alizea にインスパイアされた分類法とともに, 帰納的推論の主成分の強調と定式化を主目的とし, 本研究の目的は, 自明な説明的仮説とそれに伴う不条理なてんかん状態と、その仮定と、その推移的関係的な部分的整合性構築とを同化できる, AGM 様の導出的拡張操作を新たに提示することである。
この論文で提示された形式的展開は、近年のパラ一貫性論理 RCbr (LFI) の創出によってのみ可能であり、特に信念リビジョンの文脈に特に関係する性質、すなわち、補充性を満たすために自己拡張性を持つ能力を確立している。これは、この2つの論文のうちの1つである: AGMpabdと呼ばれる新しいシステムの一部であり、多くの興味深い特徴を生んでいるにもかかわらず、矛盾と一貫性のパラ一貫性演算者に対して関連するエピステマティックな役割を割り当てていない。
それにもかかわらず、私の知る限りでは、本論文で開発された運用は、AGM文献の中では初めてのものである。
関連論文リスト
- PIE-APT: A Unified Framework for Temporal Planning and Contradiction Hunting via Incremental Direct-Derivation Abduction [0.0]
本稿では、-textbfPIE-Abducer (Incremental direct-deivation abduction) と textbfPIE-APT (Abductive Planning for Temporal KGs) の2つの統合モジュールを用いた統合フレームワークを提案する。
インクリメンタルな推論をブラックボックスとして扱い、外部演算子なしでOWLのアクションを表現することは論理的決定可能性を保持する。
その結果、古典的プランナーよりも定性的優位性を示し、直接導出アプローチが導出エンリッチメント中にMHSに富んだベースラインを定量的に上回ることを示した。
論文 参考訳（メタデータ） (2026-07-29T14:44:46Z) - Satisfying Rationality Postulates of Structured Argumentation Through Deductive Support -- Technical Report [0.0]
本稿では ASPIC$ominus$ から ASPIC$ominus$ の gen-rebuttals と Joint Support Bipolar Argumentation Frameworks を統合した新しいフレームワークである Deductive ASPIC$ominus$ を紹介する。
Deductive ASPIC$ominus$は、好ましいセマンティクスのバージョンの下で、5つの有理性仮定をすべて満足することを示す。
論文 参考訳（メタデータ） (2026-04-23T10:23:11Z) - Self-Consolidation for Self-Evolving Agents [51.94826934403236]
大規模言語モデル(LLM)エージェントは静的システムとして機能し、生涯にわたる相互作用を通じて進化する能力に欠ける。
相補的進化機構を導入したLLMエージェントのための新しい自己進化フレームワークを提案する。
論文 参考訳（メタデータ） (2026-02-02T11:16:07Z) - Identity Bridge: Enabling Implicit Reasoning via Shared Latent Memory [7.204534405819971]
本稿では,ゼロホップ・アイデンティティ・タスク上でモデルを監視することで構成ギャップを解消するメカニズムであるアイデンティティ・ブリッジを紹介する。
この機構により、モデルが分配不能な2つのホップ推論をうまく実行できることが示される。
研究は大規模モデルに拡張され、潜時記憶を通して2つのホップ推論がまだ達成されていることを観察する。
論文 参考訳（メタデータ） (2025-09-29T12:02:05Z) - Epistemic Trade-Off: An Analysis of the Operational Breakdown and Ontological Limits of "Certainty-Scope" in AI [0.0]
最近発表された「確実性顕微鏡」予想は、人工知能(AI)システムにおける固有のトレードオフについて、説得力のある洞察を与えてくれる。
本論では,工学設計と規制決定に関する洞察を与えるための予想の目的は,2つの基本的な要因によって制限されていると論じる。
論文 参考訳（メタデータ） (2025-08-26T05:47:21Z) - ConciseHint: Boosting Efficient Reasoning via Continuous Concise Hints during Generation [74.37307916314407]
提案するフレームワークはConciseHintと呼ばれ,推論モデルが簡潔に話すことを継続的に奨励する。
DeepSeek-R1 および Qwen-3 シリーズを含む最先端の LRM 実験により,本手法が簡潔な推論を効果的に生成できることが実証された。
論文 参考訳（メタデータ） (2025-06-23T16:20:44Z) - How do Transformers Learn Implicit Reasoning? [67.02072851088637]
制御されたシンボリック環境下でトランスフォーマーをスクラッチからトレーニングすることで、暗黙のマルチホップ推論がどのように現れるかを研究する。
原子三重項によるトレーニングは必要ではなく学習を加速し,第2ホップの一般化は特定の構成構造へのクエリレベル露出に依存する。
論文 参考訳（メタデータ） (2025-05-29T17:02:49Z) - A Semantic Approach to Decidability in Epistemic Planning (Extended
Version) [72.77805489645604]
我々は決定可能性を達成するために新しい意味論的アプローチを用いる。
具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。
我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
論文 参考訳（メタデータ） (2023-07-28T11:26:26Z) - Self-adjoint extension schemes and modern applications to quantum
Hamiltonians [55.2480439325792]
モノグラフは、過去数年間、両方の著者が、抽象演算子理論と量子力学への応用の両方において中心的な主題について行った、学部・大学院・セミナーの以前の講義ノートから、改訂および拡張された資料を含んでいる。
数種類のモデルが議論され、これは今日、数学物理学への新たな関心または新たな関心を受けており、特に、ある興味を持つ作用素を自己随伴的に実現するという観点から考察されている。
論文 参考訳（メタデータ） (2022-01-25T09:45:16Z) - Thinking About Causation: A Causal Language with Epistemic Operators [58.720142291102135]
我々はエージェントの状態を表すことで因果モデルの概念を拡張した。
対象言語の側面には、知識を表現する演算子や、新しい情報を観察する行為が追加されます。
我々は、論理の健全かつ完全な公理化を提供し、このフレームワークと因果的チーム意味論との関係について論じる。
論文 参考訳（メタデータ） (2020-10-30T12:16:45Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。