O. Raiman, J. de Kleer, and V. Saraswat. Cirtical reasoning. In IJCAI Proceedings, pages 18--23, 1993. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Real time diagnosis of dynamical systems Part II: Using multiple.. - Bos (1995) (Correct)
....necessarily so, for it is possible that the minimal conflicts in R c (C 1 ) and R c (C 2 ) are outside the intersection, although this may be unlikely. So, we can not be sure that the intersection is a conflict, although it could be used as a heuristic to find minimal conflicts, such as done in [RdKS93]. More work is needed here. Restoring completeness The question is: is it possible to construct a set of TD and TI abstractions, so that all conflicts, detectable using the original theory, can be found using the abstractions only Let Sigma td 1 ; Delta Delta Delta ; Sigma tdn be ....
O. Raiman, J. de Kleer, and V. Saraswat. Cirtical reasoning. In IJCAI Proceedings, pages 18--23, 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC