Title :
A note on logical analysis of rule-based control systems
Author_Institution :
Inst. of Autom., St. Staszic Tech. Univ., Krakow
Abstract :
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
Keywords :
controllability; formal logic; inference mechanisms; intelligent control; knowledge based systems; knowledge representation; observability; backward dual resolution; completeness; conservativity; controllability; determinism; formal analysis; knowledge representation; knowledge-based control systems; logical analysis; reasoning; rule-based control systems; Artificial intelligence; Automatic control; Control system analysis; Control systems; Controllability; Decision making; Expert systems; Knowledge based systems; Knowledge engineering; Knowledge representation;
Conference_Titel :
Intelligent Control, 1993., Proceedings of the 1993 IEEE International Symposium on
Conference_Location :
Chicago, IL
Print_ISBN :
0-7803-1206-6
DOI :
10.1109/ISIC.1993.397673
