Decision support system with incomplete and domain incoherent information management

Abstract

Many of the most common human functions such as temporal and non-monotonic reasoning have not yet been fully mapped in developed systems, even though some theoretical breakthroughs have already been accomplished. This is mainly due to the inherent computational complexity of the theoretical approaches.

In the particular area of fault diagnosis in power systems however, some systems which tried to solve the problem, have been deployed using methodologies such as production rule based expert systems, neural networks, recognition of chronicles, fuzzy expert systems, etc.

SPARSE (from the Portuguese acronym, which means expert system for incident analysis and restoration support) was one of the developed systems and, in the sequence of its development, came the need to cope with incomplete and/or incorrect information as well as the traditional problems for power systems fault diagnosis based on SCADA (supervisory control and data acquisition) information retrieval, namely real-time operation, huge amounts of information, etc.

This paper presents an architecture for a decision support system, which can solve the presented problems, using a symbiosis of the event calculus and the default reasoning rule based system paradigms, insuring soft real-time operation with incomplete, incorrect or domain incoherent information handling ability. A prototype implementation of this system is already at work in the control centre of the Portuguese Transmission Network.

References

1. CIGRE---Working Group 38.06.03, Expert systems: Development experience and user requirements, Electra, 146, 1993, 29--67.
2. A. Insfrán, A. Alves da Silva, & G. Lambert-Torres, Fault diagnosis using fuzzy sets, Proc. Int. Conf. on Intelligent Systems and Applications (ISAP'99), Rio de Janeiro, Brazil, 1999.
3. P. Kádár, A. Kovács, & A. Mergl, A tolerant event recogniser and alarm filter based on sequential pattern matching under introduction into the national dispatching centre, Proc. Int. Conf. on Intelligent Systems and Applications (ISAP'97), Seul, Korea, 1997.
4. Z. Vale, Power systems control centers, in C. T. Mondes (Ed.), Intelligent systems---technology and applications, VI (CRC Press, 2003), VI-63-VI-112.
5. N. Malheiro, Z. Vale, C. Ramos, J. Santos, & A. Marques, Enabling client-server explanation facilities in a real-time expert system, Lecture Notes in Computer Science, Vol. 1611 (Springer-Verlag, 2004), 333--342.
6. R. A. Kowalski & M. J. Sergot, A logic-based calculus of events, New Generation Computing, 4, 1986, 67--95.
7. M. Shanahan, The event calculus explained, Artificial intelligence today, 1600 of Lecture Notes in Computer Science, in M. Wooldridge & M. Veloso (Eds.) (Springer-Verlag, 1999), 409--430.
8. R. A. Kowalski & F. Sadri, Reconciling the situation calculus and event calculus, Journal of Logic Programming, Special Issue on Reasoning about Action and Change, 31, 1997, 39--58.
9. F. Sadri & R. Kowalski, Variants of the event calculus, Proc. of the Int. Conf. on Logic Programming, Kanagawa, Japan, 1995, 67--81.
10. I. Cervesato, M. Franceschet, & A. Montanari, The complexity of model checking in modal event calculi with quantifiers, Electronic Transactions on Artificial Intelligence, 2(1--2), 1998, 1--23.
11. R. Reiter, A logic for default reasoning, Artificial Intelligence, 13, 1980, 81--132.
12. G. Antoniou, Nonmonotonic reasoning (MIT Press, 1997).
13. T. Finin, D. McKay, R. Fritzson, & R. McEntire, KQML: An information and knowledge exchange protocol, in K. Fuchi & T. Yokoi (Eds.), Knowledge building and knowledge sharing (Ohmsha and IOS Press, 1994).
14. L. Chittaro & A. Montanari, Efficient temporal reasoning in the cached event calculus, Computational Intelligence, 12(3), 1996, 359--382.
15. J. Rintanen, Lexicographic priorities in default logic, in Artificial Intelligence, 106(2), 221--265.
16. C. Szyperski, Component software: Beyond object-oriented programming, 2nd edn (Addison-Wesley, 2002).
17. A. Geist, A. Beguelin, J. Dongarra, W. Jiang, R. Manchek, & V. Sunderam, PVM: Parallel virtual machine---A users' guide and tutorial for networked parallel computing, in Scientific and engineering computation (MIT Press, 1994).

Index Terms

• Theory of computation

  • Logic