Designing verifiable expert systems

John Yen, Jonathan Lee, David Hamilton

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

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.

Original languageEnglish (US)
Title of host publicationProc 2 Int IEEE Conf Tools Artif Intell
PublisherPubl by IEEE
Pages878-884
Number of pages7
ISBN (Print)0818620846
StatePublished - Dec 1 1990
EventProceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence - Herndon, VA, USA
Duration: Nov 6 1990Nov 9 1990

Publication series

NameProc 2 Int IEEE Conf Tools Artif Intell

Other

OtherProceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence
CityHerndon, VA, USA
Period11/6/9011/9/90

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Fingerprint Dive into the research topics of 'Designing verifiable expert systems'. Together they form a unique fingerprint.

Cite this