Analogical proportions II

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autore principale: Antić, Christian
Natura: Preprint
Pubblicazione: 2024
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866914806808707072
author Antić, Christian
author_facet Antić, Christian
contents Analogical reasoning is the ability to detect parallels between two seemingly distant objects or situations, a fundamental human capacity used for example in commonsense reasoning, learning, and creativity which is believed by many researchers to be at the core of human and artificial general intelligence. Analogical proportions are expressions of the form ``$a$ is to $b$ what $c$ is to $d$'' at the core of analogical reasoning. The author has recently introduced an abstract algebraic framework of analogical proportions within the general setting of universal algebra. It is the purpose of this paper to further develop the mathematical theory of analogical proportions within that framework as motivated by the fact that it has already been successfully applied to logic program synthesis in artificial intelligence.
format Preprint
id arxiv_https___arxiv_org_abs_2405_13461
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Analogical proportions II
Antić, Christian
Logic in Computer Science
Artificial Intelligence
Discrete Mathematics
Logic
Analogical reasoning is the ability to detect parallels between two seemingly distant objects or situations, a fundamental human capacity used for example in commonsense reasoning, learning, and creativity which is believed by many researchers to be at the core of human and artificial general intelligence. Analogical proportions are expressions of the form ``$a$ is to $b$ what $c$ is to $d$'' at the core of analogical reasoning. The author has recently introduced an abstract algebraic framework of analogical proportions within the general setting of universal algebra. It is the purpose of this paper to further develop the mathematical theory of analogical proportions within that framework as motivated by the fact that it has already been successfully applied to logic program synthesis in artificial intelligence.
title Analogical proportions II
topic Logic in Computer Science
Artificial Intelligence
Discrete Mathematics
Logic
url https://arxiv.org/abs/2405.13461