Raisonner avec des règles d'inférence graduelle: une approche basée sur les ensembles flous

Des regles d'inference graduelle de la forme plus X est F plus Y est G (ou de forme anologue avec moins a la place de plus), qui expriment la modification progressive du degre auquel l'entite, Y satisfait la propriete graduelle G en fonction du degre auquel l'entite X satisfait la propriete graduelle F, sont souvent employees dans des raisonnements de sens commun. Une representation de telles regles a l'aide d'ensembles flous est proposee et discutee. Des schemas de raisonnement utilisant ces regles sont formalises. Des liens avec des mecanismes d'interpolation sont mis en evidence