Abstract
In this paper it is argued that a substantial part of realistic knowledge based systems (KBS) are not purely declarative. Also the existence of quite complex expert system shells seems to agree with this point of view. As a consequence of this, the traditional approach of looking at rules as logical implications seems to be inadequate in many cases. The main point of the paper is to suggest another formal approach for doing verification of KBS.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bye, Ness: Early Fault Detection and On-Line Diagnosis in Real Time Environments. Paper presented at the IFAC workshop on “Computer Software Structures Integrating AI/KBS Systems in Process Control”. Bergen, 1991.
Grini, Kårstad: Integration of Diagnosis Techniques. Paper presented at the meeting “Expert System and Computer Simulation in Energy Engineering”. Erlangen, 1992.
Forderstrommen, Haugset: ISACS-1, Prototype of a Futuristic Integrated Cockpit Control Room. Paper presented at the NEA/IAEA International Symposium on Nuclear Power Plant Instrumentation and Control. Tokyo, 1992.
Lim, Callum, Chan: P-graph-a graph model for anomaly checking of knowledgebases. Proceedings from the TAI’90 conference, pp. 871-877
Buchanan, Feigenbaum: DENDRAL and META-DENDRAL: Their applications dimension. Journal of Artificial Intelligence, 11, pp. 5-24 1978
Ngyen: Verifying consistency of production systems, Proceedings of the 3rd IEEE Conference on AI applications pp. 4-8 1987.
McGuire et. al.: Uncovering Redundancy and Rule-Inconsistency in Knowledge Bases via Deduction
Charles and Dubois: MELODIA: Logical Methods for Checking Knowledge Bases. Wiley ISBN-471-93018-0 pp. 95–104
Stachowitz et. al.: Validation of Expert Systems. Proceedings of the 20th Hawaii International Conference on System Sciences. Vol 1, 1987 pp. 689–695.
Ginsberg: Knowledge-Base Reduction: A new Approach to Checking Knowledge Bases for Inconsistency & Redundancy. Proceedings of the Seventh National Conference on Artificial Intelligence pp 585–589, 1988.
Ken Pedersen: Well structured Knowledge Bases Part I-III, AI Expert 1989.
Iain Craig: Formal Specification of Advanced AI Architectures Eliis Horwood ISBN 0-13-328832-3
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nilsen, S. (1993). Another Formal Approach to Modelling Inference Engine Behaviour. In: Kaynak, O., Honderd, G., Grant, E. (eds) Intelligent Systems: Safety, Reliability and Maintainability Issues. NATO ASI Series, vol 114. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-58021-5_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-58021-5_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-63438-3
Online ISBN: 978-3-642-58021-5
eBook Packages: Springer Book Archive