Analogical proportions and the factorization of information in distributive lattices

Nelly Barbot 1 Laurent Miclet 2 Henri Prade 3
1 CORDIAL - Human-machine spoken dialogue
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes, ENSSAT - École Nationale Supérieure des Sciences Appliquées et de Technologie
2 Dyliss - Dynamics, Logics and Inference for biological Systems and Sequences
Inria Rennes – Bretagne Atlantique , IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Abstract : Analogical proportions are statements involving four enti- ties, of the form 'A is to B as C is to D'. They play an important role in analogical reasoning. Their formalization has received much attention from different researchers in the last decade, in particular in a proposi- tional logic setting. Analogical proportions have also been algebraically defined in terms of factorization, as a generalization of geometric nu- merical proportions (that equate ratios). In this paper, we define and study analogical proportions in the general setting of lattices, and more particularly of distributive lattices. The decomposition of analogical pro- portions in canonical proportions is discussed in details, as well as the resolution of analogical proportion equations, which plays a crucial role in reasoning. The case of Boolean lattices, which reflects the logical mod- eling, and the case corresponding to entities described in terms of gradual properties, are especially considered for illustration purposes.
Type de document :
Communication dans un congrès
10th International Conference on Concept Lattices and Their Applications (CLA), Oct 2013, La Rochelle, France. 2013
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00908005
Contributeur : Nelly Barbot <>
Soumis le : vendredi 22 novembre 2013 - 10:54:27
Dernière modification le : mercredi 12 septembre 2018 - 17:46:01
Document(s) archivé(s) le : dimanche 23 février 2014 - 04:23:48

Fichier

paper_cla_final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00908005, version 1

Citation

Nelly Barbot, Laurent Miclet, Henri Prade. Analogical proportions and the factorization of information in distributive lattices. 10th International Conference on Concept Lattices and Their Applications (CLA), Oct 2013, La Rochelle, France. 2013. 〈hal-00908005〉

Partager

Métriques

Consultations de la notice

336

Téléchargements de fichiers

167