On the Verification of an Expert System: Practical Issues

Authors:
Jorge Santos;Zita A. Vale;Carlos Ramos
Affiliations:
-;-;-
Venue:
IEA/AIE '02 Proceedings of the 15th international conference on Industrial and engineering applications of artificial intelligence and expert systems: developments in applied artificial intelligence
Year:
2002

Citing 6
Cited 1

An assumption-based TMS

Artificial Intelligence
A survey on temporal reasoning in artificial intelligence

AI Communications
SPARSE—an expert system for alarm processing and operator assistance in substations control centers

ACM SIGAPP Applied Computing Review - Special issue on Prolog Applications
VERITAS - A Verification Tool for Real-Time Applications in Power System Control Centers

Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference
Knowledge maintenance: the state of the art

The Knowledge Engineering Review
Verifying and Validating Software Requirements and Design Specifications

IEEE Software

A hybrid diagnostic-advisory system for small and medium-sized enterprises: A successful AI application

Applied Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Verification and Validation (V&V) process states whether the software requirements specifications have been correctly and completely fulfilled. The methodologies proposed in software engineering showed to be inadequate for Knowledge Based Systems (KBS) validation, since KBS present some particular characteristics[1]. Designing KBS for dynamic environments requires the consideration of Temporal knowledge Reasoning and Representation (TRR) issues. Albeit, the last significant developments in TRR area, there is still a considerable gap for its successful use in practical applications.VERITAS is an automatic tool developed for KBS verification, it is currently in development and is being tested with SPARSE, a KBS used in the Portuguese Transmission Network (REN) for incident analysis and power restoration. In this paper some solutions are proposed for still open issues on Verification of KBS applied in critical domains.