Xsb: Extending prolog with tabled logic programming
Theory and Practice of Logic Programming - Prolog Systems
| Hi-index | 0.00 |
Transportation of electrical energy is normally made through a network of hightension 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.