Verification and validation issues in expert and database systems: the expert systems perspective

Author

Coenen, Frans

Author_Institution

Dept. of Comput. Sci., Liverpool Univ., UK

fYear

1998

fDate

25-28 Aug 1998

Firstpage

16

Lastpage

21

Abstract

The paper is directed at two central objectives. The first is to identify and establish areas of overlap between the expert and database system domains. The second is to present a view of existing and ongoing work within the expert systems community concerning the Verification and Validation (V&V) of rule bases. This review is directed towards the database community with the express aim of identifying possibilities where expert system V&V knowhow may also be of value to the database community, especially with respect to the identified areas of overlap

Keywords

database management systems; expert systems; knowledge verification; program verification; database community; database systems; expert system V&V knowhow; expert systems community; expert systems perspective; rule bases; verification and validation issues; Calculus; Computer languages; Computer science; Database systems; Engines; Expert systems; Inference mechanisms; Logic programming; Production systems; Relational databases;

fLanguage

English

Publisher

ieee

Conference_Titel

Database and Expert Systems Applications, 1998. Proceedings. Ninth International Workshop on

Conference_Location

Vienna

Print_ISBN

0-8186-8353-8

Type

conf

DOI

10.1109/DEXA.1998.707374

Filename

707374