Title :
Truth maintenance in inference
Author_Institution :
Dept. of Electr. & Electron. Eng., Queen Mary Coll., London, UK
Abstract :
The truth maintenance system of Doyle (1979), McAllester (1980), and de Kleer (1986), are illustrated by examples drawn from work on diagnosis of electronic system faults and maintenance in industrial applications. For tutorial purposes the case where all rules are propositional is first considered in reasonable detail, and then the case where rules contain variables is illustrated and discussed. How truth maintenance systems may be applied to more general search problems is also outlined
Keywords :
artificial intelligence; electronic engineering computing; electronic equipment testing; expert systems; electronic system faults; expert systems; inference; truth maintenance;
Conference_Titel :
Inference, IEE Colloquium on
Conference_Location :
London
