Logic-based similarity

2023/03/08 by Antić, Christian
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)

paper · doi:10.48550/arxiv.2305.00065

Abstract

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 model-theoretic notion of type.

Related

• Generalization-baed similarity
• Against the elimination of similarity
• Simple Type Theory as Framework for Combining Logics
• Features of similarity.
• A Logic of Stability: Formalizing Similarity in Counterfactual Reasoning