Identifiant pérenne de la notice : 211349976
Notice de type
Notice de regroupement
Note publique d'information : CETTE THESE PORTE SUR LE CONTROLE PAR DIALOGUE AVEC UN INTERLOCUTEUR D'UNE CONNAISSANCE
CONSTRUITE PAR APPRENTISSAGE, CONSIDEREE COMME INCOMPLETE ET INCORRECTE. LA CONCEPTUALISATION
DE CES PROBLEMES S'APPUIE SUR LA MODELISATION PROPOSEE PAR IMRE LAKATOS SUR LA LOGIQUE
DE LA DECOUVERTE MATHEMATIQUE. LE CONTROLE PAR OBJECTIONS EST UN APPROFONDISSEMENT
DES TRAVAUX DE REITER SUR LES SYSTEMES DE MAINTENANCE DE VERITE AU CONTROLE DE CONNAISSANCES
INCOMPLETES