Méthodes Permettant la Prédominance de Connaissances Subsumées

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 qü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.