A survey on artificial intelligence assurance
FA Batarseh, L Freeman, CH Huang - Journal of Big Data, 2021 - Springer
Artificial Intelligence (AI) algorithms are increasingly providing decision making and
operational support across multiple domains. AI includes a wide (and growing) library of …
operational support across multiple domains. AI includes a wide (and growing) library of …
Expert system verification and validation: a survey and tutorial
RM O'Keefe, DE O'Leary - Artificial Intelligence Review, 1993 - Springer
Assuring the quality of an expert system is critical. A poor quality system may make costly
errors resulting in considerable damage to the user or owner of the system, such as financial …
errors resulting in considerable damage to the user or owner of the system, such as financial …
Foundation and application of knowledge base verification
AD Preece, R Shinghal - International journal of intelligent …, 1994 - Wiley Online Library
Anomalies such as redundant, contradictory, and deficient knowledge in a knowledge base
are symptoms of probable errors. Detecting anomalies is a well‐established method for …
are symptoms of probable errors. Detecting anomalies is a well‐established method for …
Verification and validation and artificial intelligence
Artificial Intelligence (AI) is useful. AI can deliver more functionality for reduced cost. AI
should be used more widely but won't be unless developers can trust adaptive …
should be used more widely but won't be unless developers can trust adaptive …
Principles and practice in verifying rule-based systems
AD Preece, R Shinghal, A Batarekh - The Knowledge Engineering …, 1992 - cambridge.org
This paper surveys the verification of expert system knowledge bases by detecting
anomalies. Such anomalies are highly indicative of errors in the knowledge base. The paper …
anomalies. Such anomalies are highly indicative of errors in the knowledge base. The paper …
Verification and validation of knowledge-based systems
WT Tsai, R Vishnuvajjala… - IEEE transactions on …, 1999 - ieeexplore.ieee.org
Knowledge-based systems (KBSs) are being used in many applications areas where their
failures can be costly because of losses in services, property or even life. To ensure their …
failures can be costly because of losses in services, property or even life. To ensure their …
Validation and verification of intelligent systems-what are they and how are they different?
AJ Gonzalez, V Barr - Journal of Experimental & Theoretical …, 2000 - Taylor & Francis
Researchers and practitioners in the field of expert systems all generally agree that to be
useful, any fielded intelligent system must be adequately verified and validated. But what …
useful, any fielded intelligent system must be adequately verified and validated. But what …
S Lee, RM O'Keefe - IEEE Transactions on Systems, Man, and …, 1994 - ieeexplore.ieee.org
Research and practice has produced numerous methods for expert system verification and
validation (V&V) that augment traditional software and systems approaches to V&V. This …
validation (V&V) that augment traditional software and systems approaches to V&V. This …
Verifying ontological commitment in knowledge-based systems
A Waterson, A Preece - Knowledge-Based Systems, 1999 - Elsevier
An ontology defines the terminology of a domain of knowledge: the concepts that constitute
the domain, and the relationships between those concepts. In order for two or more …
the domain, and the relationships between those concepts. In order for two or more …
Validation and verification of decision making rules
AK Zaidi, AH Levis - Automatica, 1997 - Elsevier
A methodology for the validation and verification of decision making rules is presented. The
methodology addresses the general problem of detecting problematic cases in a set of rules …
methodology addresses the general problem of detecting problematic cases in a set of rules …