The Geometry of Knowing: From Possibilistic Ignorance to Probabilistic Certainty -- A Measure-Theoretic Framework for Epistemic Convergence

arXiv cs.AI / 2026/4/14

💬 オピニオンIdeas & Deep AnalysisModels & Research

要点

  • The paper proposes a measure-theoretic framework that formalizes how possibilistic representations of incomplete knowledge can contract into probabilistic representations of intrinsic stochastic variability as evidence accumulates.
  • It defines epistemic uncertainty using a possibility distribution and a dual necessity measure, yielding a credal set of all probability measures consistent with current evidence and proving a rigorous epistemic collapse condition (Theorem 4.5).
  • The work introduces the aggregate epistemic width W with axiomatic properties, a canonical normalization, and an online proxy to avoid circularity in earlier prior formulations.
  • It characterizes the dynamics of epistemic contraction via compatibility/falsification, where posterior possibility becomes a min-intersection of prior possibility and compatibility and a credibility-directed flow drives support geometry contraction.
  • It clarifies the relationship between UKF and ESPF, arguing they solve different objectives and showing—under Gaussian-world and valid-model assumptions—that they can converge to the same estimate with different epistemic behaviors in an orbital tracking scenario (Theorem 9.1).

Abstract

This paper develops a measure-theoretic framework establishing when and how a possibilistic representation of incomplete knowledge contracts into a probabilistic representation of intrinsic stochastic variability. Epistemic uncertainty is encoded by a possibility distribution and its dual necessity measure, defining a credal set bounding all probability measures consistent with current evidence. As evidence accumulates, the credal set contracts. The epistemic collapse condition marks the transition: the Choquet integral converges to the Lebesgue integral over the unique limiting density. We prove this rigorously (Theorem 4.5), with all assumptions explicit and a full treatment of the non-consonant case. We introduce the aggregate epistemic width W, establish its axiomatic properties, provide a canonical normalization, and give a feasible online proxy resolving a circularity in prior formulations. Section 7 develops the dynamics of epistemic contraction: evidence induces compatibility, compatibility performs falsification, posterior possibility is the min-intersection of prior possibility and compatibility, and a credibility-directed flow governs support geometry contraction. This is not belief updating. It is knowledge contraction. Probability theory is the limiting geometry of that process. The UKF and ESPF solve different problems by different mechanisms. The UKF minimizes MSE, asserts truth, and requires a valid generative model. The ESPF minimizes maximum entropy and surfaces what evidence has not ruled out. When the world is Gaussian and the model valid, both reach the same estimate by entirely different routes -- convergent optimality, not hierarchical containment. We prove this (Theorem 9.1) and compare both on a 2-day, 877-step orbital tracking scenario. Both achieve 1-meter accuracy. The UKF is accurate but epistemically silent. The ESPF is accurate and epistemically honest.