Efficient qualitative simulators are crucial to continued progress in qualitative physics . Assumption-based truth maintenance systems (ATMS) were developed in part to simplify writin g such programs. This paper identifies several abstractions for organizing ATMS-based problem solvers which are especially useful for envisioning . In particular, we describe the many-world s database, which avoid...

A great deal of recent theoretical work in inference has involved extending classical logic in some way. I argue that these extensions share two properties: firstly, the formal addition of truth values encoding intermediate levels of validity between true (i.e., valid) and false (i.e., invalid) and, secondly, the addition of truth values encoding intermediate levels of certainty between true or...

Reason maintenance systems and tem poral reasoning systems are among the most prominent application independent support systems used for complex AI ap plications and there are many applications that need both support for logical and temporal reasoning Apparently it is not enough to just provide two isolated sup port modules The logical and temporal subsystems have to be coupled in the right way...

In this pa.per we develop a proof procedure for autoepistemic (AEL) and defalrlt logics (DL), based on translating them into a. Truth Maintenance System (TMS). The translation is decidable if t,he theory consists of a finite number of defaults a.nd premises and classical derivability for the base language is decida.ble. To determine all extensions of a network, we develop variants of Doyle’s la...