Bilingual analogical proportions

05/02/2023
by   Christian Antic, et al.
0

Analogical proportions are expressions of the form “a is to b what c is to d” at the core of analogical reasoning which itself is at the core of human and artificial intelligence. The author has recently introduced from first principles an abstract algebro-logical framework of analogical proportions within the general setting of universal algebra and first-order logic. In that framework, the source and target algebras have the same underlying language. The purpose of this paper is to generalize his unilingual framework to a bilingual one where the underlying languages may differ. This is achieved by using hedges in justifications of proportions. The outcome is a major generalization vastly extending the applicability of the underlying framework. In a broader sense, this paper is a further step towards a mathematical theory of analogical reasoning.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/13/2023

Generalization-based similarity

Detecting and exploiting similarities between seemingly distant objects ...
research
06/04/2020

Analogical Proportions

Analogy-making is at the core of human and artificial intelligence and c...
research
09/01/2021

Boolean proportions

Analogy-making is at the core of human intelligence and creativity with ...
research
09/11/2021

On syntactically similar logic programs and sequential decompositions

Rule-based reasoning is an essential part of human intelligence prominen...
research
03/06/2023

Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning

Program logics for bug-finding (such as the recently introduced Incorrec...
research
07/22/2021

Abstract Reasoning via Logic-guided Generation

Abstract reasoning, i.e., inferring complicated patterns from given obse...
research
12/26/2017

On the Semantics of Intensionality and Intensional Recursion

Intensionality is a phenomenon that occurs in logic and computation. In ...

Please sign up or login with your details

Forgot password? Click here to reset