DocumentCode
3064339
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
fYear
1990
fDate
6-9 Nov 1990
Firstpage
878
Lastpage
884
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/TAI.1990.130453
Filename
130453
Link To Document