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