Invariant Violation Demons

  • Alan Bundy
  • Lincoln Wallen
Part of the Symbolic Computation book series (SYMBOLIC)


An invariant violation demon is a demon <51> which triggers when an invariant is violated. Such demons can either correct the violation immediately or place an entry on an invariant queue<106>.




  1. [McAllester 82]
    McAllester, D. Reasoning Utifity Package User’s Manual Version One. Memo 667, MIT Al Lab., April, 1982.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • Alan Bundy
    • 1
  • Lincoln Wallen
  1. 1.Department of Artificial IntelligenceEdinburgh UniversityEdinburghScotland

Personalised recommendations