Galois theory for analogical classifiers
- URL: http://arxiv.org/abs/2205.04593v1
- Date: Mon, 9 May 2022 23:03:56 GMT
- Title: Galois theory for analogical classifiers
- Authors: Miguel Couceiro, Erkko Lehtonen
- Abstract summary: Analogical proportions are 4-ary relations that read "A is to B as C is to D"
Recent works have highlighted the fact that such relations can support a specific form of inference, called analogical inference.
- Score: 1.7132914341329848
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Analogical proportions are 4-ary relations that read "A is to B as C is to
D". Recent works have highlighted the fact that such relations can support a
specific form of inference, called analogical inference. This inference
mechanism was empirically proved to be efficient in several reasoning and
classification tasks. In the latter case, it relies on the notion of analogy
preservation.
In this paper, we explore this relation between formal models of analogy and
the corresponding classes of analogy preserving functions, and we establish a
Galois theory of analogical classifiers. We illustrate the usefulness of this
Galois framework over Boolean domains, and we explicitly determine the closed
sets of analogical classifiers, i.e., classifiers that are compatible with the
analogical inference, for each pair of Boolean analogies.
Related papers
- ARN: Analogical Reasoning on Narratives [13.707344123755126]
We develop a framework that operationalizes dominant theories of analogy, using narrative elements to create surface and system mappings.
We show that while all LLMs can largely recognize near analogies, even the largest ones struggle with far analogies in a zero-shot setting.
arXiv Detail & Related papers (2023-10-02T08:58:29Z) - Beneath Surface Similarity: Large Language Models Make Reasonable
Scientific Analogies after Structure Abduction [46.2032673640788]
The vital role of analogical reasoning in human cognition allows us to grasp novel concepts by linking them with familiar ones through shared relational structures.
This work suggests that Large Language Models (LLMs) often overlook the structures that underpin these analogies.
This paper introduces a task of analogical structure abduction, grounded in cognitive psychology, designed to abduce structures that form an analogy between two systems.
arXiv Detail & Related papers (2023-05-22T03:04:06Z) - A Category-theoretical Meta-analysis of Definitions of Disentanglement [97.34033555407403]
Disentangling the factors of variation in data is a fundamental concept in machine learning.
This paper presents a meta-analysis of existing definitions of disentanglement.
arXiv Detail & Related papers (2023-05-11T15:24:20Z) - ANALOGYKB: Unlocking Analogical Reasoning of Language Models with A Million-scale Knowledge Base [51.777618249271725]
ANALOGYKB is a million-scale analogy knowledge base derived from existing knowledge graphs (KGs)
It identifies two types of analogies from the KGs: 1) analogies of the same relations, which can be directly extracted from the KGs, and 2) analogies of analogous relations, which are identified with a selection and filtering pipeline enabled by large language models (LLMs)
arXiv Detail & Related papers (2023-05-10T09:03:01Z) - Some recent advances in reasoning based on analogical proportions [9.861775841965386]
Analogical proportions play a key role in the formalization of analogical inference.
The paper first discusses how to improve analogical inference in terms of accuracy and in terms of computational cost.
arXiv Detail & Related papers (2022-12-22T14:10:14Z) - Measuring the Feasibility of Analogical Transfer using Complexity [12.917492210639265]
We show how to quantify the transferability of a source case (A and B) to solve a target problem C.
We illustrate these notions on morphological analogies and show its connections with machine learning.
arXiv Detail & Related papers (2022-06-23T14:52:16Z) - Quantifying and Understanding Adversarial Examples in Discrete Input
Spaces [70.18815080530801]
We formalize a notion of synonymous adversarial examples that applies in any discrete setting and describe a simple domain-agnostic algorithm to construct such examples.
Our work is a step towards a domain-agnostic treatment of discrete adversarial examples analogous to that of continuous inputs.
arXiv Detail & Related papers (2021-12-12T16:44:09Z) - A Neural Approach for Detecting Morphological Analogies [7.89271130004391]
Analogical proportions are statements of the form "A is to B as C is to D"
We propose a deep learning approach to detect morphological analogies.
arXiv Detail & Related papers (2021-08-09T11:21:55Z) - Instance Similarity Learning for Unsupervised Feature Representation [83.31011038813459]
We propose an instance similarity learning (ISL) method for unsupervised feature representation.
We employ the Generative Adversarial Networks (GAN) to mine the underlying feature manifold.
Experiments on image classification demonstrate the superiority of our method compared with the state-of-the-art methods.
arXiv Detail & Related papers (2021-08-05T16:42:06Z) - A Description Logic for Analogical Reasoning [28.259681405091666]
We present a mechanism to infer plausible missing knowledge, which relies on reasoning by analogy.
This is the first paper that studies analog reasoning within the setting of description logic.
arXiv Detail & Related papers (2021-05-10T19:06:07Z) - Pairwise Supervision Can Provably Elicit a Decision Boundary [84.58020117487898]
Similarity learning is a problem to elicit useful representations by predicting the relationship between a pair of patterns.
We show that similarity learning is capable of solving binary classification by directly eliciting a decision boundary.
arXiv Detail & Related papers (2020-06-11T05:35:16Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.