DocumentCode
2657395
Title
A note on logical analysis of rule-based control systems
Author
Ligeza, Antoni
Author_Institution
Inst. of Autom., St. Staszic Tech. Univ., Krakow
fYear
1993
fDate
25-27 Aug 1993
Firstpage
439
Lastpage
444
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligent Control, 1993., Proceedings of the 1993 IEEE International Symposium on
Conference_Location
Chicago, IL
ISSN
2158-9860
Print_ISBN
0-7803-1206-6
Type
conf
DOI
10.1109/ISIC.1993.397673
Filename
397673
Link To Document