Malgré son importance dans divers domaines, le raisonnement par analogie n'a pas encore reçu de représentation formelle unifiée. Notre contribution suggère un schéma d'inférence général compatible avec différentes logiques. Premièrement, une assertion analogique définit la similarité entre deux objets en fonction de leurs propriétés, de façon seulement relative. Deuxièmement, une inférence analogique transfère une propriété nouvelle d'un objet à un objet similaire, grâce à une méta-hypothèse d'arrière-plan qui relie deux ensembles de propriétés. Le degré de croyance dans la conclusion est directement relié au degré de croyance dans cette méta-hypothèse.
