In the following paper we analyze Reiter's default logic and suggest modifying the notion of an extension for default theories. This modification leads to two important properties which are not guaranteed in Reiter's formalism: the existence of extensions and semimonotonicity .Dans I'article qui suit, nous analysons la logique implicite de Reiter et proposons de modifier la notion d'une extension des thtories irnplicites. Cette modification dtbouche sur deux importantes propriCtts qui ne sont pas garanties dans le formalisme de Reiter : I'existence d'extensions et de la semi-monotonicitt.Mots c1i.s : reprtsentation des connaissances, raisonnement non monotone, raisonnernent implicite.[Traduit par la revue]

No abstract

No abstract

No abstract