Return to Article Details An algorithm to belief revision and to verify consistency of a knowledge base Download Download PDF