On syntactically similar logic programs and sequential decompositions
Abstract
Rule-based reasoning is an essential part of human intelligence prominently formalized in artificial intelligence research via logic programs. Describing complex objects as the composition of elementary ones is a common strategy in computer science and science in general. The author has recently introduced the sequential composition of logic programs in the context of logic-based analogical reasoning and learning in logic programming. Motivated by these applications, in this paper we construct a qualitative and algebraic notion of syntactic logic program similarity from sequential decompositions of programs. We then show how similarity can be used to answer queries across different domains via a one-step reduction. In a broader sense, this paper is a further step towards an algebraic theory of logic programming.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2021
- DOI:
- 10.48550/arXiv.2109.05300
- arXiv:
- arXiv:2109.05300
- Bibcode:
- 2021arXiv210905300A
- Keywords:
-
- Computer Science - Artificial Intelligence;
- Computer Science - Logic in Computer Science
- E-Print:
- arXiv admin note: text overlap with arXiv:1809.09938