Négation, contraintes et programmation logique

par Karine Liogier

Thèse de doctorat en Informatique et mathématiques

Sous la direction de Georges Blanc.

Soutenue en 1996

à Aix-Marseille 2 , en partenariat avec Université d'Aix-Marseille II. Faculté des sciences (autre partenaire) .

    mots clés mots clés


  • Résumé

    Le but de ce travail est d'etudier deux problemes lies a l'utilisation de la negation en programmation logique avec contraintes: celui ou la negation apparait dans les contraintes et celui ou elle apparait dans le corps des clauses des programmes consideres. Le premier probleme consiste a montrer comment il est possible d'etendre raisonnablement un algorithme de resolution, permettant de mettre des contraintes positives sous forme canonique, aux contraintes niees. Pour cela, nous adaptons le processus deja utilise et nous considerons par ailleurs un operateur de recouvrement adequat. Nous enoncons des conditions suffisantes qui nous permettent alors de definir la forme canonique etendue d'un systeme general de contraintes avec negation. En ce qui concerne le second probleme, nous proposons un nouveau schema de negation constructive, pour les programmes generaux avec contraintes, base sur une modelisation theorique. En outre, nous associons a ces programmes une nouvelle semantique declarative, l'axiomatique interne, qui nous permet d'obtenir un theoreme de completude en deduction classique ordinaire, c'est-a-dire bivaluee

  • Titre traduit

    Negation, constraints adn logic programming


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. ( 126 f.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr.: f. 122-126

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Aix-Marseille (Marseille. Luminy). Service commun de la documentation. Bibliothèque de sciences.
  • Disponible pour le PEB
  • Cote : L27600

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1996-LIO
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.