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.
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: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.
By Pierre-Alexandre Murena, Marcelo Hartmann
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.
By Jan Speller, Malte Luttermann, Marcel Gehrke, Tanya Braun
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.
By Ruairidh M. Battleday, Thomas L. Griffiths
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.
By Zora Wurm, Kilian R\"uckschlo{\ss}, Felix Weitk\"amper