Raisonnement non-monotone : contribution a l'etude de la circonscription

par Yves Moinard

Thèse de doctorat en Informatique

Sous la direction de Daniel Herman.

Soutenue en 1988

à Rennes 1 .

    mots clés mots clés


  • Résumé

    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

  • Titre traduit

    Non monotonic reasoning: contribution to the study of circumscription


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (140 p.)
  • Annexes : 42 REF

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : I.2-MOI
  • Bibliothèque : Université de Rennes 1. Service commun de la documentation. BU Beaulieu.
  • Disponible pour le PEB
  • Cote : TA RENNES 1988/8

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université de Lille. Service commun de la documentation. Bibliothèque universitaire de Sciences Humaines et Sociales.
  • Non disponible pour le PEB
  • Cote : 1988REN10009
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.