Abstract
This paper illustrates how theories (contexts), fail branches, and the ability to control the construction of proofs in MetaProlog play an important role in the expression of the fault diagnosis problem. These facilities of MetaProlog make it easier to represent digital circuits and the fault diagnosis algorithm on them. MetaProlog theories are used both in the representation of digital circuits and in the implementation of the fault diagnosis algorithm. Fail branches and the ability to control their construction play a key role during the construction of hypothesises to explain the fault in a given faulty circuit.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
AÏt-Kaci, H., Warren's Abstract Machine: A Tutorial Reconstruction, The MIT Press, Cambridge, 1991.
Attardi, G., and Simi, M., Metalanguage and Reasoning Across Viewpoints, in: Proc. of the 6th ECAI, Pisa, Italy, 1984.
Bowen, K.A., and Kowalski, R.A., Amalgamating Language and Metalanguage in Logic Programming, in: Logic Programming, Clark, K., and Tarnlund, S.-A. (eds.), Academic Press, London, 1982, pp. 153–173.
Bowen, K.A., and Weinberg, W., A Meta-Level Extension of Prolog, in: Proc. of the 1985 Symp. on Logic Programming, IEEE Computer Society Press, 1985, pp. 48–53.
Bowen, K.A., A Meta-Level Programming and Knowledge Representation, New Generation Computing 3:359–383, 1985.
Bratko, I., PROLOG Programming For Artificial Intelligence, 2nd Edition, Addison-Wesley, New York, 1990.
Cicekli, I., Design and Implementation of An Abstract MetaProlog Engine for MetaProlog, in: Meta-Programming in Logic Programming, Abramson, H., and Rogers, M.H. (eds.), The MIT Press, Cambridge, 1989, pp. 417–434.
Cicekli, I., Abstract MetaProlog Engine, Journal of Logic Programming 34(3):169–200, 1998.
Eshghi, K., Application of Meta-Language Programming to Fault Finding in Logic Circuits, in: Proc. of the 1st Int. Conf. on Logic Programming, Marseille, 1982.
Lamma, E., Mello, P., and Natali, A., An Extended Warren Abstract Machine for The Execution of Structured Logic Programs, Journal of Logic Programming 14:187–222, 1992.
Montiero, L., and Porto, A., Contextual Logic Programming, in: Proc. of the 6th Int. Conf. on Logic Programming, The MIT Press, 1989, pp. 284–302.
Nadathur, G., Jayaraman, B., and Kwon, K., Scoping Constructs in Logic Programming: Implementation Problems and Their Solution, Journal of Logic Programming 25:119–161, 1995.
des Rivieres, J., Meta-Level Facilities in Logic-Based Computational Systems, in: Proc. of The Workshop on Meta-Level Architectures and Reflection, Alghero-Sardinia, Italy, 1986.
Safra, M. and Shapiro, E., Meta-Interpreters for Real, in: Concurrent Prolog, Vol 2, Shapiro, E. (ed.), The MIT Press, Cambridge, 1987, pp. 166–179.
Sterling, L.S., Meta-Interpreters: The Flavors of Logic Programming?, in: Proc. of Workshop on Deductive Databases and Logic Programming, Washington D.C., 1986, pp. 163–175.
Sterling, L.S., A Meta-Level Architecture for Expert System, in: Meta-Level Architectures and Reflection, Maes, R., and Nardi, D. (eds.), North Holland, 1988.
Warren, D.H.D., An Abstract Prolog Instruction Set, SRI Technical Report 309, 1983.
Weyhrauch, R.W., Prolegomena to A Theory of Mechanized Formal Reasoning, Artificial Intelligence 13:133–170, 1980.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cicekli, I. (1998). Theories and proofs in fault diagnosis. In: Giunchiglia, F. (eds) Artificial Intelligence: Methodology, Systems, and Applications. AIMSA 1998. Lecture Notes in Computer Science, vol 1480. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0057444
Download citation
DOI: https://doi.org/10.1007/BFb0057444
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64993-9
Online ISBN: 978-3-540-49793-6
eBook Packages: Springer Book Archive