DeepAI AI Chat
Log In Sign Up

Towards an Algebraic Theory of Analogical Reasoning in Logic Programming

by   Christian Antic, et al.
Apple, Inc.

Analogy-making is an essential part of human intelligence and creativity. This paper proposes an algebraic model of analogical reasoning in logic programming based on the syntactic composition and decomposition of programs. The main idea is to define analogy in terms of modularity and to 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 program modularity and illustrate, by giving numerous examples, that programs have nice decompositions. 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 first step towards an algebraic (and mainly syntactic) theory of analogical reasoning in logic-based knowledge representation and reasoning systems, with potential applications to fundamental AI-problems like computational learning and creativity.


page 1

page 2

page 3

page 4


On syntactically similar logic programs and sequential decompositions

Rule-based reasoning is an essential part of human intelligence prominen...

Sequential decomposition of propositional logic programs

The sequential composition of propositional logic programs has been rece...

Sequential composition of answer set programs

Non-monotonic reasoning is an essential part of human intelligence promi...

Two results for proiritized logic programming

Prioritized default reasoning has illustrated its rich expressiveness an...

Boolean proportions

Analogy-making is at the core of human intelligence and creativity with ...

On the Configuration of More and Less Expressive Logic Programs

The decoupling between the representation of a certain problem, i.e., it...

Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation

Algebraic characterization of logic programs has received increasing att...