Title :
Designing verifiable expert systems
Author :
Yen, John ; Lee, Jonathan ; Hamilton, David
Author_Institution :
Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
Abstract :
With the long-range goal of developing a practical methodology for complete verification and validation of expert systems, the authors have investigated methods for designing knowledge bases so that they can be easily verified. These methods are based on extensions of traditional software verification technology and on emerging artificial intelligence programming technology. After discussing the background of this work, the authors describe the methods and their benefits to verification and discuss ongoing and future research activities
Keywords :
expert systems; knowledge engineering; program verification; emerging artificial intelligence programming technology; future research activities; knowledge bases; traditional software verification technology; validation; verifiable expert systems; Area measurement; Artificial intelligence; Computer science; Concrete; Design methodology; Expert systems; Knowledge representation; Particle measurements; Production; Software engineering;
Conference_Titel :
Tools for Artificial Intelligence, 1990.,Proceedings of the 2nd International IEEE Conference on
Conference_Location :
Herndon, VA
Print_ISBN :
0-8186-2084-6
DOI :
10.1109/TAI.1990.130453
