AI Chat AI Image Generator AI Video Text to Speech

Logic-based similarity

03/08/2023

∙

This paper develops a 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.

READ FULL TEXT

research

∙ 02/13/2023

Generalization-based similarity

Detecting and exploiting similarities between seemingly distant objects ...

0 Christian Antic, et al. ∙

research

∙ 01/30/2020

Elementary Logic in Linear Space

First-order logic is typically presented as the study of deduction in a ...

0 Daniel Huang, et al. ∙

research

∙ 07/15/2023

Elementary Sets for Logic Programs

By introducing the concepts of a loop and a loop formula, Lin and Zhao s...

0 Martin Gebser, et al. ∙

research

∙ 02/26/2023

The Lindstrom's Characterizability of Abstract Logic Systems for Analytic Structures Based on Measures

In 1969, Per Lindstrom proved his celebrated theorem characterising the ...

0 Krystian Jobczyk, et al. ∙

research

∙ 01/19/2019

Moss' logic for ordered coalgebras

We present a finitary coalgebraic logic for T-coalgebras, where T is a l...

0 Marta Bílková, et al. ∙

research

∙ 08/24/2022

Non-distributive positive logic as a fragment of first-order logic over semilattices

We characterise non-distributive positive logic as the fragment of a sin...

0 Jim de Groot, et al. ∙

research

∙ 03/06/2013

Inference Algorithms for Similarity Networks

We examine two types of similarity networks each based on a distinct not...

0 Dan Geiger, et al. ∙

Logic-based similarity

Related Research

Generalization-based similarity

Elementary Logic in Linear Space

Elementary Sets for Logic Programs

The Lindstrom's Characterizability of Abstract Logic Systems for Analytic Structures Based on Measures

Moss' logic for ordered coalgebras

Non-distributive positive logic as a fragment of first-order logic over semilattices

Inference Algorithms for Similarity Networks