From formal concepts to analogical complexes

Laurent Miclet (1, 2) , Jacques Nicolas (2)

1 ENSSAT - École Nationale Supérieure des Sciences Appliquées et de Technologie
2 Dyliss - Dynamics, Logics and Inference for biological Systems and Sequences

Reasoning by analogy is an important component of common sense reasoning whose formalization has undergone recent improvements with the logical and algebraic study of the analogical proportion. The starting point of this study considers analogical proportions on a formal context. We introduce analogical complexes, a companion of formal concepts formed by using analogy between four subsets of objects in place of the initial binary relation. They represent subsets of objects and attributes that share a maximal analogical relation. We show that the set of all complexes can be structured in an analogical complex lattice and give explicit formulae for the computation of their infimum and supremum.

Mots clés: analogical reasoning; analogical proportion; formal concept; analogical complex; lattice of analogical complexes

Domaines: Informatique [cs]

Laurent Miclet, Jacques Nicolas. From formal concepts to analogical complexes. CLA 2015, LIMOS, CNRS et Université Blaise Pascal, Oct 2015, Clermont-Ferrand, France. pp.12. ⟨hal-01198943⟩