On Completeness of Rule-Based Systems

  • Antoni Ligeza
Conference paper


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).


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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.CrossRefGoogle Scholar
  2. Chang C. L., Lee R. C. T. (1973) Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York and London.Google Scholar
  3. 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.Google Scholar
  4. 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.Google Scholar
  5. 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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Antoni Ligeza
    • 1
  1. 1.Institute of Automatics AGHKrakówPoland

Personalised recommendations