Un exemple typique de révision de connaissance est : - On peut déduire de ce programme le fait « titi vole ». Si on ajoute à ce programme le fait « titi est un pingouin », on ne peut plus déduire « titi vole » : en augmentant la base d`axiomes, on peut diminuer la base de faits déduits...