• DocumentCode
    283088
  • Title

    Truth maintenance in inference

  • Author

    Bigham, John

  • Author_Institution
    Dept. of Electr. & Electron. Eng., Queen Mary Coll., London, UK
  • fYear
    1988
  • fDate
    32216
  • Firstpage
    42461
  • Lastpage
    42462
  • 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;
  • fLanguage
    English
  • Publisher
    iet
  • Conference_Titel
    Inference, IEE Colloquium on
  • Conference_Location
    London
  • Type

    conf

  • Filename
    208935
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=283088