3 papers
cs.LO2024
Neural logic programs and neural nets
Christian Antić
Neural-symbolic integration aims to combine the connectionist subsymbolic with the logical symbolic approach to artificial intelligence. In this paper, we first define the answer s…
cs.LO2024
Similarity-based analogical proportions
Christian Antić
The author has recently introduced abstract algebraic frameworks of analogical proportions and similarity within the general setting of universal algebra. The purpose of this paper…
cs.LO2023
Logic-based similarity
Christian Antić
This paper develops a {\em qualitative} and logic-based notion of similarity from the ground up using only elementary concepts of first-order logic centered around the fundamental…