T h e I m p l e m e n t a t i o n of a M o d e l - b a s e d B e l i e f R e v i s i o n S y s t e m T i m o t h y S-C C h o u a n d M a r i a n n e W i n s l e t t D e p a r t m e n t of C o m p u t e r Science U n i v e r s i t y of Illinois U r b a n a , IL 61801 chouOcs.uiue.edu Abstract In this paper, we briefly describe Immortal, an implementation of a model-based belief revision system. We present our motivation for building Immortal, describe its basic components and properties, and discuss our method of evaluating Immortal. 1 Introduction Despite these difficulties, we still want to support our claim by evaluating Immortal based on published work. We expect Immortal to be a useful subsystem for many AI systems including qualitative simulations, planning, knowledge base refinement, and
/lp/association-for-computing-machinery/the-implementation-of-a-model-based-belief-revision-system-cC065t11Fd