Abstract FR:

Parmi les methodes de raisonnement non monotone, la circonscription de mc carthy est une des plus prometteuses. Elle repose sur un schema facile a exprimer et beneficie d'une semantique simple et naturelle. Les liens etroits entre la completion et la circonscription sont explicites. Les principaux resultats concernant la circonscription, sont rassembles et une presentation plus unifiee est proposee. Diverses aides au calcul effectif de la circonscription sont donnees parmi lesquelles un theor"me permettant d'ecarter provisoirement une partie des donnees et une utilisation de la circonscription point par point. Les relations entre modeles sous jacentes a l'idee de circonscription sont precisees