Seminars

Analogical reasoning is a powerful inductive mechanism, widely used in human cognition and increasingly applied in artificial intelligence. Formal frameworks for analogical inference have been developed for Boolean domains, where inference is provably sound for affine functions and approximately correct when close to affine. These results enabled the design of analogy-based classifiers. However, they do not extend to regression tasks or continuous domains.

In this series of seminars we will revisit analogical inference from a foundational perspective. After a brief motivation, we will first present a recently proposed formalism to model numerical analogies that relies on p-generalized means, and that enables a unifying framework that subsume the classical notions of arithmetic, geometric and harmonic analogies. We will derive several interesting properties such as transitivity of conformity, as well as present algorithmic approaches to detect and compute the parameter p.

In the second part of this series, we will leverage this unified formalism and lift analogical reasoning to real-valued domains and various ML&AI downstream tasks. In particular, we will see that it supports analogical inference over continuous functions, and thus both classification and regression tasks. We characterize the class of analogy-preserving functions in this setting and derive both worst-case and average-case error bounds under smoothness assumptions. If time allows, we will also discuss further applications, e.g., on image reconstruction and NLP downstream tasks.

These two seminars are based on several published and recently submitted by Miguel Couceiro and his collaborators, including Francisco Malaca and Francisco Vincente Cunha, respectively, graduate and undergraduate students at the DM@IST.

Some very recent references

1. Francisco Malaca, Yves Lepage, Miguel Couceiro. Numerical analogies through generalized means:notion, properties and algorithmic approaches. Submitted.
2. Francisco Cunha, Yves Lepage, Zied Bouraoui, Miguel Couceiro. Generalizing Analogical Inference Across Boolean and Continuous Domains. Submitted.
3. Jakub Pillion, Miguel Couceiro, Yves Lepage. Analogical pooling for image reconstruction. Submitted.
4. Fadi Badra, Esteban Marquer, Marie-Jeanne Lesot, Miguel Couceiro, David Leake. EnergyCompress: A General Case Base Learning Strategy. To appear in IJCAI2025.
5. Yves Lepage, Miguel Couceiro. Any four real numbers are on all fours with analogy. CoRR abs/2407.18770 (2024)
6. Miguel Couceiro, Erkko Lehtonen. Galois theory for analogical classifiers. Ann. Math. Artif. Intell. 92(1): 29-47 (2024)
7. Pierre Monnin, Cherif-Hassan Nousradine, Lucas Jarnac, Laurel Zuckerman, Miguel Couceiro. KGPRUNE: A Web Application to Extract Subgraphs of Interest from Wikidata with Analogical Pruning. ECAI 2024: 4495-4498
8. Yves Lepage, Miguel Couceiro. Analogie et moyenne généralisée. JIAF-JFPDA 2024: 114-124
9. Lucas Jarnac, Miguel Couceiro, Pierre Monnin. Relevant Entity Selection: Knowledge Graph Bootstrapping via Zero-Shot Analogical Pruning. CIKM 2023: 934-944
10. N. Kumar, and S. Schockaert. Solving hard analogy questions with relation embedding chains. EMNLP 2023, 6224–6236. ACL