Current browse context:
cs.AI
Change to browse by:
References & Citations
Computer Science > Artificial Intelligence
Title: Boolean proportions
(Submitted on 1 Sep 2021 (v1), revised 11 May 2022 (this version, v2), latest version 17 Apr 2024 (v9))
Abstract: Analogy-making is at the core of human and artificial intelligence and creativity with applications to such diverse tasks as proving mathematical theorems and building mathematical theories, commonsense reasoning, learning, language acquisition, and story telling. This paper studies analogical proportions between booleans of the form `$a$ is to $b$ what $c$ is to $d$' called boolean proportions. Technically, we instantiate the abstract algebraic framework of analogical proportions recently introduced by the author in the boolean domain consisting of the booleans 0 and 1 together with boolean functions. It turns out that our notion of boolean proportions has a simple logical characterization which entails appealing mathematical properties. In a broader sense, this paper is a further step towards a theory of analogical reasoning and learning systems with potential applications to fundamental AI-problems like commonsense reasoning and computational learning and creativity.
Submission history
From: Christian Antić [view email] [via LOGICAL proxy][v1] Wed, 1 Sep 2021 13:53:02 GMT (22kb)
[v2] Wed, 11 May 2022 17:12:15 GMT (23kb)
[v3] Sun, 12 Feb 2023 15:50:53 GMT (21kb)
[v4] Tue, 28 Feb 2023 13:49:55 GMT (21kb)
[v5] Fri, 17 Nov 2023 20:06:08 GMT (19kb)
[v6] Fri, 9 Feb 2024 11:41:53 GMT (21kb)
[v7] Sat, 24 Feb 2024 14:09:13 GMT (69kb,D)
[v8] Mon, 8 Apr 2024 09:20:13 GMT (70kb,D)
[v9] Wed, 17 Apr 2024 08:47:32 GMT (71kb,D)
Link back to: arXiv, form interface, contact.