Model-based diagnosis theory allows one to diagnose a system just by using the equations which describe the system structure and the correct behavior models of system components. CATS is an algorithm which implements the model-based diagnosis theory in the framework of interval arithmetic. Simple or multiple faults in an analog electronic circuit can be isolated. This research aims at showing the possibilistic theory advantage in the framework of CATS. In order to do this, we have written a program similar to CATS, except that it uses a possibilistic Assumption-based Truth Maintenance System. © 1997 John Wiley & Sons, Inc.

References

1 J. De Kleer and B. C. Williams, “Diagnosing multiple faults,” Artif. Intell., 32, 97–130 (1987).
10.1016/0004-3702(87)90063-4
Web of Science® Google Scholar
2 P. Dague, P. Devès, P. Luciani, and P. Taillibert, “ Analog system diagnosis,” ECAI, Stockholm, 1990.
Web of Science® Google Scholar
3 P. Dague, P. Devès, O. Jehl, P. Luciani, and P. Taillibert, “ When oscillators stop oscillating,” IJCAI, Sydney, 1991.
Web of Science® Google Scholar
4 J. De Kleer, “An assumption–based TMS,” Artif. Intell., 28–II, 127–162 (1986.)
10.1016/0004-3702(86)90080-9
Web of Science® Google Scholar
5 P. Dague, O. Jehl, and P. Taillibert, “ An interval propagation and conflict recognition engine for diagnosing continuous dynamic systems,” Lecture Notes in Artificial Intelligence, Vol. 462, Springer-Verlag, Vienna, 1990.
Web of Science® Google Scholar
6 D. Dubois, J. Lang, and H. Prade, “ A possibilistic assumption–based truth maintenance system with uncertain justifications and its application to belief revision,” Truth Maintenance System, J. P. Martin and M. Reinfrank, Eds., Springer-Verlag, 1991 (ECAI Stockholm 1990).
Google Scholar
7 F. F. Monai and T. Chehire, “ Possibilistic assumption-based Truth Maintenance System, Validation in a Data Fusion Application,” 8th Conference Uncertainty in Artificial Intelligence, D. Dubois, M. P. Wellman, B. D'Ambrosio, and P. Smets, Eds., 1989.
Google Scholar
8 D. Dubois and H. Prade, “ Théorie des possibilityés Applications à la représentation des connaissances en informatique,” eds Masson, 1988.
Google Scholar
9 E. Loïez and P. Taillibert, “ Analog system diagnosis: Modeling with temporal bands,” Invited Session on MB, CESA′96, IMACS–IEEE SMC Multiconference, Lille, France, 1996.
Google Scholar
10 E. Loïez and P. Taillibert, “ Polynomial temporal band sequences for analog diagnosis,” 7th International Workshop on Principles of Diagnosis, Val Morin, Quebec, Canada, 1996.
Google Scholar
11 H. Prade, Personal communication.
Google Scholar
12 S. Benferhat, D. Dubois, J. Lang, and H. Prade, “ Hypothetical reasoning in possibilistic logic: Basic notions, applications and implementations issues,” Advances in Fuzzy Systems: Applications and Theory, Vol. 1, Eds. P. Z. Wang and K. F. Loe, 1993.
Google Scholar
13 P. Dague and P. Taillibert, “ The monostable: A reference problem for analog diagnosis,” 7th International Workshop on Principles of Diagnosis, Val Morin, Quebec, Canada, 1996.
Google Scholar
14 A. ten Teije and F. van Harmelen, “ Examples of approximations in diagnosis based on approximate entailment,” 7th International Workshop on Principles of Diagnosis, Val Morin, Quebec, Canada, 1996.
Google Scholar

Citing Literature

All articles

A possibilistic ATMS contribution to diagnose analog electronic circuits

Abstract

References

Citing Literature

References

Information

About Wiley Online Library

Help & Support

Opportunities

Connect with Wiley

A possibilistic ATMS contribution to diagnose analog electronic circuits

Abstract

References

Citing Literature

References

Related

Information