论文信息 - Verification of Knowledge Based-Systems for Power System Control Centres

Verification of Knowledge Based-Systems for Power System Control Centres

During the last years, electrical utilities began to install intelligent applications in order to assist Control Centres operators. The Verification and Validation (V&V) process intends to assure the reliability of these applications, even under incident conditions.

[1] António Jorge dos Santos Pereira. Verificação e validação de sistemas baseados em conhecimento : veritas, uma ferramenta de verificação , 1997 .

[2] Johan de Kleer,et al. An Assumption-Based TMS , 1987, Artif. Intell..

[3] Alun Preece,et al. An effective logical framework for knowledge-based systems verification , 1994 .

[4] Alun Preece,et al. Towards a methodology for evaluating expert systems , 1990 .

[5] Alun D. Preece,et al. Foundation and application of knowledge base verification , 1994, Int. J. Intell. Syst..

[6] Allen Ginsberg. Knowledge-Base Reduction: A New Approach to Checking knowledge Bases for Inconsistency and Redundancy , 1988, AAAI.

[7] Zita Vale,et al. An expert system with temporal reasoning for alarm processing in power system control centers , 1993 .

[8] Z.A. Vale,et al. Towards more intelligent and adaptive user interfaces for control center applications , 1996, Proceedings of International Conference on Intelligent System Application to Power Systems.

[9] Zita A. Vale,et al. SPARSE—an expert system for alarm processing and operator assistance in substations control centers , 1994, SIAP.

[10] J. Dekleer. An assumption-based TMS , 1986 .