Contribution au traitement logico-symbolique de la connaissance

Le savoir humain que l'on cherche a representer dans les systemes a base de connaissance est souvent entache d'imprecision et d'incertitude. Ces deux notions sont frequemment evaluees de facon qualitative plutot que quantitative a l'aide d'un nombre fini de termes linguistiques. Notre approche logico-symbolique de la verite partielle et de la connaissance partielle de la verite ne prend pas ses racines dans la theorie des ensembles flous et dans la logique floue de zadeh. Elle trouve ses fondements dans la theorie des multi-ensembles de de glas, enrichie d'une relation de voisinage, et dans une logique des predicats multivalents sur laquelle est greffe un concept de probabilite symbolique. Le modele obtenu permet une representation symbolique des concepts imprecis, des connaissances voisines, des objets typiques d'une classe, des enonces incertains et enfin plusieurs aspects lies a la typicalite. L'exploitation de cette connaissance repose sur des generalisations des regles classiques de deduction. Le raisonnement approximatif est envisage dans un contexte de voisinage