Logic-based similarity
Logic in Computer Science
2023-05-02 v1 Artificial Intelligence
Logic
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.
Cite
@article{arxiv.2305.00065,
title = {Logic-based similarity},
author = {Christian Antić},
journal= {arXiv preprint arXiv:2305.00065},
year = {2023}
}
Comments
arXiv admin note: substantial text overlap with arXiv:2302.10096