A note on logical analysis of rule-based control systems

An approach to the formal analysis of rule-based systems is proposed. The approach is based on first-order logical knowledge representation and reasoning. A universal reasoning method, so-called backward dual resolution, is recapitulated in brief. Some basic formal properties of rule-based systems, such as completeness, determinism, controllability and conservativity are defined. Examples of the analysis of knowledge-based control systems are shown and discussed.<
>