No CrossRef data available.
Published online by Cambridge University Press: 09 August 2021
Despite its importance in various fields, analogical reasoning has not yet received a unified formal representation. Our contribution proposes a general scheme of inference that is compatible with different types of logic (deductive, probabilistic, non-monotonic). Firstly, analogical assessment precisely defines the similarity of two objects according to their properties, in a relative rather than absolute way. Secondly, analogical inference transfers a new property from one object to a similar one, thanks to an over-hypothesis linking two sets of properties. The belief strength in the conclusion is then directly related to the belief strength in this meta-hypothesis.
En dépit de son importance dans divers domaines, le raisonnement analogique n'a pas encore reçu de représentation formelle unifiée. Notre contribution propose un schéma d'inférence général, compatible avec différentes logiques (déductive, probabiliste, non monotone). Premièrement, un énoncé analogique définit précisément la similarité entre deux objets en fonction de leurs propriétés, de façon relative et non absolue. Deuxièmement, une inférence analogique transfère une propriété nouvelle d'un objet à un objet similaire, grâce à une hypothèse d'arrière-plan qui relie deux ensembles de propriétés. Le degré de croyance dans la conclusion est alors directement relié au degré de croyance dans cette méta-hypothèse.