thesis

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

Defense date:

Jan. 1, 1989

Edit

Institution:

Toulouse 3

Directors:

Abstract EN:

Pas de résumé disponible.

Abstract FR:

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