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.
|Number of pages||10|
|Journal||Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)|
|Publication status||Published - 1 Jan 2004|
|Event||17th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2004 - Ottowa, Ont., Canada|
Duration: 17 May 2004 → 20 May 2004
- Expert Systems