Validation and verification of intelligent systems - what are they and how are they different?

DOI10.1080/095281300454793zbMath1010.68181MaRDI QIDQ4783354

Avelino J. Gonzalez, Valerie Barr

Publication date: 4 December 2002

Published in: Journal of Experimental & Theoretical Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/095281300454793

zbMATH Keywords

verification; expert systems; validation

Mathematics Subject Classification ID

68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence

68Q60: Specification and verification (program logics, model checking, etc.)

Cites Work

• Structure-based validation of rule-based systems