arXiv AI
6d ago
Proportional Analogies on Probability Distributions via Bayesian Updating
arXiv:2608. 11724v1 Announce Type: new Abstract: Analogies are quaternary relations of the form "A is to B as C is to D".
Proportional Analogies on Probability Distributions via Bayesian Updating
Analogies are quaternary relations of the form "A is to B as C is to D". Among the various formalizations of analogical reasoning, proportional analogies provide an important axiomatic framework by characterizing valid analogies through a set of postulates.
Related stories
Hugging Face Trending Papers
Jun 22
From numerical proportions to analogical proportions between probabilities
Analogical proportions link four items a, b, c, d by a relation stating that ``a is to b as c is to d", a, b, c, d being the formal representation of real world entities, ranging from simple numerical values to more complex structures such as profiles. Accordingly, $a, b, c, d$ could be atomic values like Boolean, nominal or numerical values, more generally vectors of such values, or even families of items represented by logical formulas.
arXiv AI
2d ago
A Generalized Parallelogram Rule for Proportional Analogies on Riemannian Manifolds
arXiv:2608. 14220v1 Announce Type: new Abstract: Analogies are quaternary relations of the form "a is to b as c is to d", usually denoted a : b :: c : d.
arXiv AI
Aug 7
Analogy as Nonparametric Bayesian Inference over Relational Systems
arXiv:2006. 04156v2 Announce Type: replace Abstract: Our inferences in the real world are rarely na\"ive - we acquire experiences through our lifetime that can help us more quickly understand the structure of something new.
arXiv AI
Jul 24
Inducing Comparability of Factorised Probability Distributions
arXiv:2607. 20502v1 Announce Type: new Abstract: To allow for principled comparison between two probabilistic graphical models defined over non-identical variable sets, they have to be lifted to a common measurable space.
arXiv AI
Jul 1
Belief Contraction in Dynamic Epistemic Logic
arXiv:2606. 31861v1 Announce Type: cross Abstract: Dynamic epistemic logic represents belief change via model transformations induced by epistemic events.
arXiv AI
Aug 10
From probability to causality in probabilistic logic programming
arXiv:2608. 07230v1 Announce Type: new Abstract: Probabilistic logic programming is a formalism of statistical relational artificial intelligence that supports causal queries, including interventions from outside the system.
arXiv AI
Jul 21
A Causal Markov Condition for Value
arXiv:2607. 16717v1 Announce Type: cross Abstract: This paper proposes a causal independence principle for value -- the value Causal Markov Condition (v-CMC) -- and develops the conceptual and mathematical foundations of a "causal value theory" linking causality and utility.
arXiv AI
5d ago
Foundations of MT-PDCL: Measure-Theoretic Probabilistic Definite Clause Logic
arXiv:2608. 13018v1 Announce Type: new Abstract: Standard probabilistic logic programming frameworks typically rely on grounding logic programs into discrete propositional representations.
arXiv Machine Learning
Jun 3
Hierarchies of Calibration: Classification meets Regression
arXiv:2606. 03245v1 Announce Type: cross Abstract: Concepts of calibration formalize the compatibility between probabilistic predictions and the respective outcomes.
arXiv Machine Learning
Jun 30
A Transport-Based Geometry of Belief-Cost
arXiv:2606. 21585v4 Announce Type: replace Abstract: A finite agent, a machine's digital twin or any bounded reasoner, infers a fixed and noisy world through finite sensors, so its coherent output is a belief: a probability density over states (the Bayes posterior).
arXiv AI
Jun 30
Transformer Architectures as Complete Bayes Processes: A Formal Proof in the Measure-Theoretic Kernel Framework
arXiv:2606. 30440v1 Announce Type: cross Abstract: We present a complete formal proof that transformer architectures, when their internal update mechanisms satisfy a Bayes joint-distribution condition, implement exact Bayesian posterior inference.