Abductive validation of a power-grid Expert System diagnoser

José Ferreira de Castro, Luís Moniz Pereira

Research output: Contribution to journalConference articlepeer-review

5 Citations (Scopus)


Transportation of electrical energy is normally made through a network of high-tension lines. In case of an incident, the electrical protections at both ends of a line are activated. Most of the incidents are short-lived, and can be solved by fast automatic reclosure of the breakers. When automatic reclosure fails, or does not happen, a timed reclosure is attempted after a few minutes, either manually or by automatic systems. When an incident occurs, several hundred messages sent by the substations can reach the control centers within a few seconds, making the human operator's interpretation of the incident very difficult. The purpose of the previously developed SPARSE (Expert System for Incident Analysis and Power Restoration Assistance) is to assist the human operators in handling the emergency situations, giving them readable and accurate information. SPARSE is based on a logic programming inference engine reasoning over a set of time-stamped events. The new problem we addressed was how to validate the inference rules of SPARSE, by showing that no set of real events and diagnoses could be abduced that would violate the physical and logical integrity constraints of the problem domain, in order to certify the correctness of SPARSE with respect to the desired constraints. In this paper we examine how the sophisticated abductive logic programming system ABDUAL was employed for this purpose, and the practical tools developed and implemented to that end.

Original languageEnglish
Pages (from-to)838-847
Number of pages10
JournalLecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
Publication statusPublished - 1 Jan 2004
Event17th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2004 - Ottowa, Ont., Canada
Duration: 17 May 200420 May 2004


  • Expert Systems


Dive into the research topics of 'Abductive validation of a power-grid Expert System diagnoser'. Together they form a unique fingerprint.

Cite this