Spécification du contrôle d'un raisonnement en monde évolutif : application à la recherche documentaire en ligne

par Christine Barthes

Thèse de doctorat en Sciences et techniques communes

Sous la direction de René Beaufils.

Soutenue en 1989

à Toulouse 3 .

    mots clés mots clés


  • Résumé

    A partir d'une analyse de l'etat de l'art, il est montre que les systemes dont l'objectif est soit la production de resultats (resolution de probleme) soit la production de demonstration (planification) obeissent a des principes communs tant pour la structuration que pour le controle des connaissances. Ces principes ont ete developpes sous le nom de raisonnement par tentatives. Le controle des tentatives de resolution assure le recouvrement de situations d'echec dues a un monde exterieur mal maitrise. Il est independant des connaissances du domaine et est aussi applicable en monde clos. Le systeme-expert eurisko realise pour la recherche documentaire en ligne valide ces concepts


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 216 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1989TOU30010
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.