Verification and Validation of Knowledge-Based Systems: Report on Two 1997 Events

Grigoris Antoniou, Frank van Harmelen, Robert Plant, Jan Vanthienen

Abstract


This article gives an overview of two recent events on the validation and verification of knowledge-based systems: (1) the 1997 European Symposium on the Verification and Validation of Knowledge-Based Systems (EUROVAV-97) and (2) the Four-teenth National Conference on Artificial Intelligence Workshop on the Verification and Validation of Knowledge- Based Systems. To give an integrated view of current research issues in this field, we organized this article along thematic lines, unifying the reports of the two separate meetings. Our report focuses on the trends that we think will be important in the near future in this field.

Full Text:

PDF


DOI: http://dx.doi.org/10.1609/aimag.v19i3.1400

Copyright © 2014, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.