Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Vale, Z.A., Moura, A.M.: An Expert System with Temporal Reasoning for Alarm Processing in Power System Control Centers. IEEE Transactions on Power Systems 8(3), 1307–1314 (1993)
Vale, Z.A., Moura, A.M., Fernandes, M.F., Marques, A.: SPARSE- An Expert System for Alarm Processing and Operator Assistance in Substations Control Centers. Applied Computing Review 2(2), 18–26 (1994)
Vale, Z.A., Fernanda Fernandes, M., Rosado, C., Marques, A., Ramos, C., Faria, L.: Better KBS for Real-time Applications in Power System Control Centers: What can be learned by experience? In: 1st Int. Conf. on Successes and Failures of Knowledge-Based Systems in Real-World Applications, Bangkok (1996)
Vale, Z.A., Faria, L., Ramos, C., Fernandes, M.F., Marques, A.: Towards More Intelligent and Adaptive User Interfaces for Control Center Applications. In: Int. Conf. on Intelligent Systems Applications to Power Systems (ISAP 1996), Orlando, Florida, pp. 2–6 (1996)
Vale, Z.A., Ramos, C., Faria, L., Santos, J., Fernandes, M.F., Rosado, C., Marques, A.: Knowledge-Based Systems for Power System Control Centers: Is Knowledge the Problem? In: ISAP 1997, pp. 231–235 (1997)
Vale, Z.A., Moura, A.M., Fernandes, M.F., Marques, A., Rosado, C., Ramos, C.: SPARSE: An Intelligent Alarm Processor and Operator Assistant. IEEE Expert 12(3), 86–93 (1997); Special Track on AI Applications in the Electric Power Industry
Vale, Z.A., Ramos, C., Silva, A., Faria, L., Santos, J.,, L.: SPARSE – An Expert System for Power System Control Center Operator Assistance and Training. In: 4th World Congress on Expert Systems – Application of Advanced Information Technologies, ITESM, Mexico City (1998)
Vale, Z.A., Ramos, C., Silva, A., Faria, L., Santos, J., Fernandes, M.F., Rosado, C., Marques, A.: SOCRATES- AN INTEGRATED INTELLIGENT SYSTEM FOR POWER SYSTEM CONTROL CENTER OPERATOR ASSISTANCE AND TRAINING. In: IASTED Int. Conf. on AI and Soft Computing, Cancun, Mexico (1998)
Vale, Z.A., Ramos, C., Faria, L.: User Interfaces for Control Center Applications. In: The 1997 Int. Conf. on Intelligent Systems Applications To Power Systems (ISAP 1997), Seoul, July 6-10, pp. 14–18 (1997)
Santos, J., Faria, L., Ramos, C., Vale, Z., Marques, A.: VERITAS– A Verification Tool for Real-time Applications in Power System Control Centers. In: Procs of the 12th Int. Florida AI Research Society (FLAIRS 1999), Orlando, Florida, pp. 511–515 (1999)
Santos, J., Ramos, C., Vale, Z., Marques, A.: Validation and Verification of Knowledge-Based Systems for Power System Control Centres. In: Procs of the European Symp. on Verification and Validation of Knowledge Based Systems (Eurovav 1999), Oslo (1999)
Vale, Z.A., Santos, J., Ramos, C., Fernandes, M.F., Rosado, C., Marques, A.: SPARSE - A Prolog Based Application for the Portuguese Transmission Network: Verification and Validation. In: 5th Int. Conf. on the Practical Application of Prolog - PAP 1997, London, pp. 291–310 (1997)
Alferes, J.J., Pereira, L.M., Swift, T.: Abduction in Well-Founded and Generalized Stable Models Via Tabled Dual Programs. In: Procs. 16th Int. Conf. on Logic Programming (ICLP 1999), pp. 426–440. MIT Press, Las Cruces (1999), http://centria.di.fct.unl.pt/~lmp/publications/online-papers/iclp99.ps.gz
Castro, J.F.: Verificação Abdutiva de Um Sistema de Diagnóstico Baseado em Regras, Master’s thesis in AI, Universidade Nova de Lisboa (2000), http://www.cs.sunysb.edu/~tswift
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
de Castro, J.F., Pereira, L.M. (2004). Abductive Validation of a Power-Grid Expert System Diagnoser. In: Orchard, B., Yang, C., Ali, M. (eds) Innovations in Applied Artificial Intelligence. IEA/AIE 2004. Lecture Notes in Computer Science(), vol 3029. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24677-0_86
Download citation
DOI: https://doi.org/10.1007/978-3-540-24677-0_86
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22007-7
Online ISBN: 978-3-540-24677-0
eBook Packages: Springer Book Archive