Le moteur de recherche
des thèses françaises
'%3e%3cpath%20style='fill:%2300a0dc;fill-opacity:1;stroke:none;stroke-width:.144606;stroke-opacity:1;stop-color:%23000'%20d='M41.8%20100.088H52.28c.46%200%20.831.421.831.945v10.25c0%20.524-.37.946-.831.946H41.8c-.46%200-.831-.422-.831-.945v-10.251c0-.524.37-.945.831-.945z'/%3e%3cpath%20d='m47.072%20102.02-4.87%202.656%204.87%202.657%203.985-2.174v3.06h.885v-3.543m-7.969%201.851v1.771l3.1%201.691%203.098-1.691v-1.77l-3.099%201.69z'%20style='fill:%23fff;fill-opacity:1;stroke-width:.442726'/%3e%3ccircle%20style='fill:%23009f1d;fill-opacity:1;stroke:%23fff;stroke-width:.379704;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:%23000'%20cx='54.151'%20cy='101.224'%20r='3.451'/%3e%3cpath%20d='m55.669%2099.387.659.664-3.075%203.104-1.634-1.649.66-.663.974.979%202.416-2.435'%20style='fill:%23fff;fill-opacity:1;stroke:none;stroke-width:.30061;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1'/%3e%3c/g%3e%3c/svg%3e)
Contribution à la réalisation d'un raisonneur à profondeur variable : le système de maintenance
FR |
EN
| Auteur / Autrice : | François Lévy |
| Direction : | Daniel Kayser |
| Type : | Thèse de doctorat |
| Discipline(s) : | Sciences appliquées |
| Date : | Soutenance en 1989 |
| Etablissement(s) : | Paris 13 |
Mots clés
FR
Mots clés contrôlés
Résumé
FR
Après une présentation du concept de profondeur variable mis en oeuvre, l'emploi simultané de la logique des défauts de r. Reiter et d'un principe circonscriptif est analysé. La notion d'univers sert de base à la formulation de conditions de validité pour ce raisonnement. La notion d'univers complet régulier est ensuite comparée à celle d'extension employée par r. Reiter pour la logique des defauts. Elles sont montrées équivalentes pour les théories restreintes, mais distinctes dans le cas génèral