Abstract FR:

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