---

Ce livre s intéresse au problème pouvant se produire lors de l insertion dans un ensemble de connaissances d une information qui peut déjà en être déduite. Comment faire en sorte que cette nouvelle information vienne préempter les informations qui permettent son inférence ? Supposons par exemple qu un ensemble de prémisses contienne l information Si l interrupteur est enclenché alors la pièce est éclairée . Il est naturel d espérer que l ajout d une règle additionnelle, cohérente avec la première et en un sens plus précise que celle-ci, et qui exprime que Si l interrupteur est enclenché et si l ampoule n est pas cassée alors la pièce est éclairée , puisse venir la préempter. En effet, il ne doit plus être suffisant de savoir que L interrupteur soit enclenché pour en conclure que La pièce est éclairée : il faut aussi que L ampoule ne soit pas cassée . Nous adressons d abord cette question dans le cadre de la logique classique et ensuite dans un cadre plus général de représentation à base de logiques non monotones, et particulièrement de celles permettant la représentation de règles avec exceptions reposant sur des tests de cohérence.

---