Title :
Verification and validation issues in expert and database systems: the expert systems perspective
Author_Institution :
Dept. of Comput. Sci., Liverpool Univ., UK
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;
Conference_Titel :
Database and Expert Systems Applications, 1998. Proceedings. Ninth International Workshop on
Conference_Location :
Vienna
Print_ISBN :
0-8186-8353-8
DOI :
10.1109/DEXA.1998.707374
