論文の概要: Towards an Inferentialist Account of Information Through Proof-theoretic Semantics
- arxiv url: http://arxiv.org/abs/2605.05368v2
- Date: Fri, 08 May 2026 08:37:01 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-05-11 16:31:22.929842
- Title: Towards an Inferentialist Account of Information Through Proof-theoretic Semantics
- Title（参考訳）: 確率論的セマンティックスによる情報に関する推論論的考察
- Authors: Matthew Collinson, Timo Eckhardt, David Pym,
- Abstract要約: 我々は、情報に対する推論的意味論の発展に向けて第一歩を踏み出した。
私たちは真実を推論可能性に置き換え、この置き換えの結果を辿ります。
P-tSを用いて,情報単位の推論的プリミティブ(inferon)の数学的理論への第一歩「インフェロン(inferon)」を開拓する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Information is one of the most widely-discussed concepts of the current era. However, a great deal of insightful work notwithstanding, it is yet to be given wholly convincing logical or mathematical foundations. Without them, we lack adequate reasoning tools for understanding the complex ecosystems of systems upon which the society depends. We seek to rectify this by taking a first step towards developing an inferentialist semantic theory of information. There are three key interacting components. First, conceptual analysis: the metaphysics of information. Dretske expressed the key concepts of information in terms of intentionality, truth, and transmissibility. We replace truth with inferability, and trace the consequences of this replacement. Second, logic: proof-theoretic semantics (P-tS) provides a mathematical-logical realization of inferentialist reasoning. Using P-tS, we develop the first steps towards a mathematical-logical theory of an inferentialist primitive unit of information, the 'inferon'. This proof-theoretic approach counterpoints the model-theoretic view of information articulated in situation theory. Furthermore, we argue that it facilitates addressing all three components of van Benthem and Martinez's categorization of the understandings of information, as range, as correlation, and as code. Our focus is on information-as-correlation. Third, systems: the P-tS tools we develop provide the basis for a mathematical account of distributed systems modelling -- a key tool from informatics for understanding the organization of information processing systems. This yields a reasoning-based theory of information flow in models of distributed systems. Overall, we seek to give a conceptually rigorous mathematical-logical account of information and its role within informatics, grounded in inference and reasoning.
- Abstract（参考訳）: 情報はこの時代の最も広く議論されている概念の1つである。
しかし、多くの洞察に富んだ研究にもかかわらず、完全に論理的あるいは数学的基礎が与えられていない。
彼らなしでは、社会が依存するシステムの複雑なエコシステムを理解するための十分な推論ツールが欠如しています。
我々は、情報に対する推論的意味論の発展に向けて第一歩を踏み出すことにより、これを是正しようとしている。
3つの重要な相互作用コンポーネントがある。
第一に、概念分析:情報のメタ物理。
ドレツィクは、意図、真実、透過性の観点から、情報の鍵となる概念を表現した。
私たちは真実を推論可能性に置き換え、この置き換えの結果を辿ります。
第二に、論理:証明論的意味論(P-tS)は推論主義推論の数学的論理的実現を提供する。
P-tSを用いて,情報単位の推論的プリミティブユニットである「インフェロン」の数学的理論への第一歩を開発する。
この証明理論的アプローチは、状況理論で記述された情報のモデル理論的視点を反論する。
さらに、これはファン・ベンテムとマルティネスの情報の理解の分類、範囲、相関、およびコードとしての3つの構成要素に対処するのに役立つと論じる。
私たちの焦点は情報と相関です。
第3に,私たちが開発しているP-tSツールは,分散システムモデリングの数学的説明の基礎を提供するツールです。
これは分散システムのモデルにおける情報フローの推論に基づく理論をもたらす。
全体としては、推論と推論を基礎とした情報学における情報とその役割について、概念的に厳密な数学的・論理的な説明を求める。
関連論文リスト
- There Will Be a Scientific Theory of Deep Learning [62.690977616250954]
我々は、深層学習の科学的理論が出現しつつあることを主張する。
我々は、そのような理論を導く5つの成長する仕事の体を同定する。
我々は、新しい理論は学習過程の力学と考えるのが一番良いと論じる。
論文 参考訳（メタデータ） (2026-04-23T13:58:12Z) - The Universal Landscape of Human Reasoning [60.72403709545137]
情報フロー追跡(IF-Track)を導入し,情報エントロピーの定量化と,各推論ステップにおけるゲインの定量化を行う。
IF-Trackは,本質的な推論特徴を捉え,系統的な誤りパターンを識別し,個人差を特徴付ける。
このアプローチは理論と測定の間の定量的な橋渡しを確立し、推論のアーキテクチャに関する機械的な洞察を提供する。
論文 参考訳（メタデータ） (2025-10-24T16:26:36Z) - On the Fundamental Impossibility of Hallucination Control in Large Language Models [0.0]
不合理性理論:非自明な知識集約を行うLLMは、真理的な知識表現、意味情報保存、関連する知識の啓示を同時に達成できない。
提案手法は,アイデアのオークションとして推論をモデル化し,分散コンポーネントが符号化された知識を用いて応答に影響を与えることを証明している。
幻覚と想像力は数学的に同一であり、どちらも4つの重要な性質のうちの少なくとも1つに反する。
論文 参考訳（メタデータ） (2025-06-04T23:28:39Z) - Informational Embodiment: Computational role of information structure in codes and robots [48.00447230721026]
我々は,センサの精度,モータの精度,配置,体形状,ロボットの情報構造や計算符号の形状について,情報理論(IT)を考察する。
本研究は,本質的な騒音や物質的制約にもかかわらず,情報の伝達・伝達を行う物理的通信路としてロボットの身体を想定する。
我々は、誤り訂正やノイズに対する堅牢性、パシモニーといった情報容量の観点から、シャノン限界に達したITで使用される効率的なコードの特別なクラスを紹介します。
論文 参考訳（メタデータ） (2024-08-23T09:59:45Z) - A Simple Generative Model of Logical Reasoning and Statistical Learning [0.6853165736531939]
統計的学習と論理的推論は、AIの2つの主要な分野であり、人間のようなマシンインテリジェンスに統一されることが期待されている。
本稿では、論理的推論と統計的学習の単純なベイズモデルを提案する。
我々は、形式論理におけるその満足度の観点から、データがどのように象徴的知識を引き起こすかをモデル化する。
論文 参考訳（メタデータ） (2023-05-18T16:34:51Z) - A Minimalist Dataset for Systematic Generalization of Perception,
Syntax, and Semantics [131.93113552146195]
我々は,機械が一般化可能な概念を学習する能力を調べるため,新しいデータセットであるHINT(Hand written arithmetic with INTegers)を提案する。
HINTでは、イメージなどの生信号から概念がどのように認識されるかを学ぶことが機械のタスクである。
我々は、RNN、Transformer、GPT-3など、様々なシーケンス・ツー・シーケンスモデルで広範囲に実験を行った。
論文 参考訳（メタデータ） (2021-03-02T01:32:54Z) - Understanding understanding: a renormalization group inspired model of
(artificial) intelligence [0.0]
本稿では,科学的および人工知能システムにおける理解の意味について述べる。
理解の数学的定義を与え、共通知恵とは対照的に、入力集合上の確率空間を定義する。
この枠組みに科学的理解がどのように適合するかを示し、科学的課題とパターン認識の違いを実証する。
論文 参考訳（メタデータ） (2020-10-26T11:11:46Z) - A general framework for scientifically inspired explanations in AI [76.48625630211943]
我々は、AIシステムの説明を実装可能な一般的なフレームワークの理論的基盤として、科学的説明の構造の概念をインスタンス化する。
このフレームワークは、AIシステムの"メンタルモデル"を構築するためのツールを提供することを目的としている。
論文 参考訳（メタデータ） (2020-03-02T10:32:21Z) - A Theory of Usable Information Under Computational Constraints [103.5901638681034]
本稿では,複雑なシステムにおける情報推論のための新しいフレームワークを提案する。
我々の基礎はシャノンの情報理論の変分拡張に基づいている。
計算制約を組み込むことで,データから$mathcalV$-informationを確実に推定できることを示す。
論文 参考訳（メタデータ） (2020-02-25T06:09:30Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。