Abstract
Rule-based systems are the most popular means for modeling, analysis, control and diagnosis of numerous complex systems, especially those having no classical mathematical models in the form of differential or difference equations. The behaviour and properties of such systems are described with use of relations and therefore logic-based formalisms are best suited for knowledge representation and reasoning. The development of non-trivial systems is a tedious task, since knowledge acquisition and encoding must be mostly done by hand. Moreover, putting together many separately created rules must take into account the interrelationship among them. Testing and debugging a knowledge-base is always a hard, time-consuming task. Moreover, in order to assure satisfactory work of such systems some theoretical properties of them should be verified (see Andert, 1992).
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
Andert E.P. (1992) Integrated knowledge-based system design and validation for solving problems in uncertain environments. International Journal of Man-Machine Studies, 36, pp. 357–373.
Chang C. L., Lee R. C. T. (1973) Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York and London.
Ligeza A. (1992a) A logical formalism for dynamic systems. In R. Trappl (Ed.) Cybernetics and Systems Research’ 92. Proceedings of the Eleventh European Meeting on Cybernetics and Systems Research, Vienna. World Scientific, Singapore, New Yersey, London, Hong-Kong, pp. 1545–1552.
Ligeza A. (1992b) Logical foundations for knowledge-based control systems. Knowledge representation, reasoning and theoretical properties. Report of Laboratoire d’Automatique et d’Analyse des Systemes, Toulouse, France, No. 92269.
Suwa M., Scott A.C., Shortliffe, E.H. (1984) Completeness and consistency in a rule-based system. In B.G. Buchanan and E.H. Shortliffe (Eds.) Rule-Based Expert Systems, Chapter 8, pp. 159–170. Addison-Wesley, London.
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
Ligeza, A. (1993). On Completeness of Rule-Based Systems. In: Karmann, A., Mosler, K., Schader, M., Uebe, G. (eds) Operations Research ’92. Physica, Heidelberg. https://doi.org/10.1007/978-3-662-12629-5_80
Download citation
DOI: https://doi.org/10.1007/978-3-662-12629-5_80
Publisher Name: Physica, Heidelberg
Print ISBN: 978-3-7908-0679-3
Online ISBN: 978-3-662-12629-5
eBook Packages: Springer Book Archive