Abstract FR:

L'objet de cette these est l'etude du raisonnement non monotone et de son traitement algorithmique dans un systeme a heritage multiple y3. Le graphe d'heritage est un graphe oriente sans circuit et sans arc de transitivite. La relation entre classes (ou concepts) est un lien de generalisation/specialisation. Chaque classe est definie par la liste de ces proprietes. En representation de connaissances, il est tres naturel d'empecher l'heritage de certaines proprietes a l'aide de liens semantiques appeles exceptions. Ces derniers visent a representer l'atypicalite et donc a realiser des raisonnements non monotones. Trois types d'exceptions sur les proprietes sont definis et compares. La semantique operationnelle de celles-ci s'integre a celle de l'heritage multiple definie dans y3. Cette derniere est basee sur les notions fondamentales de l'heritage multiple: l'ensemble de visibilite, le masquage et l'ensemble de conflit. Un algorithme de complexite lineaire est donne pour chaque exception. Puis, nous proposons une theorie qui fusionne ces diverses exceptions. L'algorithme de traitement des diverses exceptions conserve une complexite de calcul lineaire. Le raisonnement non monotone induit par le masquage et les exceptions est formalise en logique des defauts. Les modeles logiques proposes sont tres proches de la semantique operationnelle du systeme a heritage multiple avec exceptions