Computer Science > Logic in Computer Science
[Submitted on 26 Sep 2018 (v1), revised 11 Aug 2021 (this version, v3), latest version 11 Oct 2023 (v8)]
Title:Logic Program Proportions
View PDFAbstract:Analogy-making is at the core of human intelligence and creativity with applications to such diverse tasks as commonsense reasoning, learning, language acquisition, and story telling. This paper contributes to the foundations of artificial general intelligence by developing an abstract algebraic framework for logic-based analogical reasoning and learning in the setting of logic programming. The main idea is to instantiate the abstract algebraic framework of analogical proportions of the form $a:b::c:d$, recently introduced by the author, in the domain of logic programming. That is, in this paper we introduce and study logic program proportions of the form $P:Q::R:S$ as a mechanism for learning similar programs by analogy-making. Technically, we define proportions in terms of modularity where we derive abstract forms of concrete programs from a `known' source domain which can then be instantiated in an `unknown' target domain to obtain analogous programs. To this end, we introduce algebraic operations for syntactic logic program composition and concatenation. We then argue that reasoning and learning by analogy is the task of solving analogical equations between logic programs. Interestingly, our work suggests a close relationship between modularity, generalization, and analogy which we believe should be explored further in the future. In a broader sense, this paper is a further step towards an algebraic and mainly syntactic theory of logic-based analogical reasoning and learning in knowledge representation and reasoning systems, with potential applications to fundamental AI-problems like commonsense reasoning and computational learning and creativity.
Submission history
From: Christian Antić [view email][v1] Wed, 26 Sep 2018 12:33:51 UTC (37 KB)
[v2] Mon, 18 May 2020 11:35:51 UTC (30 KB)
[v3] Wed, 11 Aug 2021 15:04:27 UTC (26 KB)
[v4] Thu, 12 Aug 2021 22:06:02 UTC (29 KB)
[v5] Sat, 11 Sep 2021 12:22:45 UTC (29 KB)
[v6] Thu, 5 May 2022 13:19:24 UTC (22 KB)
[v7] Wed, 6 Sep 2023 11:05:31 UTC (27 KB)
[v8] Wed, 11 Oct 2023 14:51:31 UTC (27 KB)
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.