DocumentCode :
1624716
Title :
A framework for knowledge-based systems verification
Author :
Tsai, J.J.-P. ; Jang, H.C.
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
fYear :
1992
Firstpage :
1700
Abstract :
The authors present a framework for developing and verifying knowledge-based systems (KBSs). In this framework, they propose FRORL (frame-and-rule oriented requirements specification language) as a formal requirements specification language which exploits knowledge representation techniques as an aid in the specification, analysis, and development of a knowledge-based system. FRORL uses a combination of resolution refutation, anomaly detection matrix, and algorithm methods to verify a number of properties which might exist in KBSs. Incorporating FRORL and its verification methods in the proposed framework lays a solid foundation for coping with the current issues in KBS verification
Keywords :
formal verification; knowledge based systems; specification languages; FRORL; anomaly detection matrix; frame-and-rule oriented requirements specification language; knowledge representation; knowledge-based systems verification; resolution refutation; specification language; Control systems; Knowledge based systems; Knowledge representation; Research and development; Software engineering; Software testing; Software tools; Solids; Specification languages; System testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Systems, Man and Cybernetics, 1992., IEEE International Conference on
Conference_Location :
Chicago, IL
Print_ISBN :
0-7803-0720-8
Type :
conf
DOI :
10.1109/ICSMC.1992.271551
Filename :
271551
Link To Document :
بازگشت