Abstract FR:

Cette thèse présente une étude des problèmes liés à l'introduction de la négation dans les programmes de règles pour bases de données ou programmes logiques. L'introduction de la négation est requise pour augmenter la puissance d'expression de ces langages. L'utilisation de la négation en base de données et en programmation logique ne peut être formalisée par la négation de la logique du premier ordre. La définition de la sémantique de la négation, sous forme déclarative, est le problème central abordé dans cette thèse. Cette thèse propose une approche fondée sur la logique des défauts qui appartient au groupe des logiques non monotones dont l'objet est de fournir un formalisme du raisonnement de sens commun. Le postulat du monde ferme est un cas particulier de raisonnement par défaut et la logique des défauts offre un formalisme adéquat pour définir la sémantique déclarative de la négation. La présence d’écursion négative dans un programme logique peut ne pas permettre d'associer une sémantique à ce programme. La classe bien connue des programmes stratifiés est considérée dans cette étude. Cette classe, trop respective parce qu'excluant certains programmes simples dont la sémantique est intuitivement claire, est étendue à la classe des programmes effectivement stratifiés. Un effort particulier est dédié à la comparaison de l'approche logique des défauts avec d'autres approches et cette thèse comprend un état de l'art du domaine ou les différentes approches examinées sont présentées de la façon la plus uniforme possible