On décrit un système d'ordinateurs qui prend comme entrée une hiérarchie de défaillance initiale KB0 et un ensemble de transcriptions de session annotées C = {(Pi*j, rj)}, et on donne un ensemble spécifié de générateurs de révision T = {Thêtai} où chaque ThêtaiET applique une hiérarchie de défaillance KB à une hiérarchie légèrement différente Thêtai (KB). Cette hiérarchie de défaillances révisée Thêtai (KB) est appelée voisine de KB, et l'ensemble de toutes les voisines de KB, N (KB) = {Thêtai (KB)}, est le voisinage de KB. Le système d'ordinateurs utilise T pour escalader la hiérarchie de défaillances initiale KB0, par des hiérarchies successives, KB1... KBm, avec des précisions empiriques successivement plus élevées sur C. La hiérarchie finale, KBm, est un optimum local dans l'espace défini par les générateurs de révision. A chaque étage, pour aller d'une hiérarchie de défaillances KBi à sa voisine KBi+1, la présente invention doit évaluer la précision de KBi sur C, ainsi que la précision de chaque KBEN (KBi). Si une KB quelconque est trouvée comme étant plus précise que KBi, cette hiérarchie de KB* devient la nouvelle KBi+1 standard avec labels et le processus de révision de théorie fait une itération, en recherchant une voisine de cette KBi+1, qui est plus précise que KBi+i sur l'ensemble d'exemples C, et ainsi de suite. Sinon, si aucune KB n'est plus précise que KBi, le processus d'escalade retournera à cette KBi, et se terminera.