THE VERIFICATION OF TEMPORAL KNOWLEDGE BASED SYSTEMS - A Case-study on Power-systems

Jorge Santos, Zita Vale, Carlos Ramos, Carlos Serôdio

2007

Abstract

Designing KBS for dynamic environments requires the consideration of temporal knowledge reasoning and representation (TRR) issues. Although humans present a natural ability to deal with knowledge about time and events, the codification and use of such knowledge in information systems still pose many problems. Hence, the development of applications strongly based on temporal reasoning remains an hard and complex task. Furthermore, albeit the last significant developments in TRR area, there is still a considerable gap for its successful use in practical applications. This paper presents a tool, named VERITAS, developed for temporal KBS verification. It relies in the combination of formal methods and heuristics, in order to detect a large number of knowledge anomalies. The underlying verification process addresses many relevant aspects considered in real applications, like the usage of rule triggering selection mechanisms and temporal reasoning.

References

  1. Boehm, B. (1984). Verifying and validating software requirements and design specifications. IEEE Software, 1(1):75-88.
  2. Cragun, B. and Steudel, H. (1987). A decision table based processor for checking completeness and consistency in rule based expert systems. International Journal of Man Machine Studies (UK), 26(5):633-648.
  3. Fisher, M., Gabbay, D., and Vila, L., editors (2005). Handbook of Temporal Reasoning in Artificial Intelligence, volume 1 of Foundations of Artificial Intelligence Series. Elsevier Science & Technology Books.
  4. Gerevini, A. (1997). Reasoning about time and actions in artificial intelligence: Major issues. In O.Stock, editor, Spatial and Temporal Reasoning, pages 43-70. Kluwer Academic Pblishers.
  5. Ginsberg, A. (1987). A new aproach to checking knowledge bases for inconsistency and redundancy. In procedings 3rd Annual Expert Systems in Government Conference, pages 10-111.
  6. Gonzalez, A. and Dankel, D. (1993). The Engineering of Knowledge Based Systems - Theory and Practice. Prentice Hall International Editions.
  7. Kirschen, D. S. and Wollenberg, B. F. (1992). Intelligent alarm processing in power systems. Proceedings of the IEEE, 80(5):663-672.
  8. Kleer, J. (1986). An assumption-based TMS. Artificial Intelligence Holland, 2(28):127-162.
  9. Nazareth, D. (1993). Investigating the applicability of petri nets for rule based systems verification. IEEE Transactions on Knowledge and Data Engineering, 4(3):402-415.
  10. Nguyen, T., Perkins, W., Laffey, T., and Pecora, D. (1987). Knowledge Based Verification. AI Magazine, 2(8):69-75.
  11. Pipard, E. (1989). Detecting inconsistencies and incompleteness in rule bases: the INDE system. In Proceedigns of the 8th International Workshop on Expert Systems and their Applications, 1989, Avignon,France;, volume 3, pages 15-33, Nanterre, France. EC2.
  12. Preece, A. (1998). Building the right system right. In Proc.KAW'98 Eleventh Workshop on Knowledge Acquisition, Modeling and Management.
  13. Preece, A., Bell, R., and Suen, C. (1992). Verifying knowledge-based systems using the cover tool. Proccedings of 12th IFIP Congress, pages 231-237.
  14. Preece, A. and Shinghal, R. (1994). Foundation and application of knowledge base verification. International Journal of Intelligent Systems, 9(8):683-702.
  15. Rousset, M. (1988). On the consistency of knowledge bases:the COVADIS system. In Procedings of the European Conference on Artificial Intelligence (ECAI'88), pages 79-84, Munchen.
  16. Suwa, M., Scott, A., and Shortliffe, E. (1982). An aproach to verifying completeness and consistency in a rule based expert system. AI Magazine (EUA), 3(4):16- 21.
  17. Vale, Z., Ramos, C., Faria, L., Malheiro, N., Marques, A., and Rosado, C. (2002). Real-time inference for knowledge-based applications in power system control centers. Journal on Systems Analysis Modelling Simulation (SAMS), Taylor&Francis, 42:961-973.
  18. Vanthienen, J., Mues, C., and Wets, G. (1997). Inter Tabular Verification in an Interactive Environment. Proceedings of the European Symposium on the Verification and Validation of Knowledge Based Systems, pages 155-165.
  19. Wu, C.-H. and Lee, S.-J. (1997). Enhanced High-Level Petri Nets with Multiple Colors for Knowledge Verification/Validation of Rule-Based Expert Systems. IEEE TRansactions on Systems. Man, and Cybernetics, 27(5):760-773.
Download


Paper Citation


in Harvard Style

Santos J., Vale Z., Ramos C. and Serôdio C. (2007). THE VERIFICATION OF TEMPORAL KNOWLEDGE BASED SYSTEMS - A Case-study on Power-systems . In Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO, ISBN 978-972-8865-82-5, pages 179-185. DOI: 10.5220/0001651801790185


in Bibtex Style

@conference{icinco07,
author={Jorge Santos and Zita Vale and Carlos Ramos and Carlos Serôdio},
title={THE VERIFICATION OF TEMPORAL KNOWLEDGE BASED SYSTEMS - A Case-study on Power-systems},
booktitle={Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,},
year={2007},
pages={179-185},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001651801790185},
isbn={978-972-8865-82-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,
TI - THE VERIFICATION OF TEMPORAL KNOWLEDGE BASED SYSTEMS - A Case-study on Power-systems
SN - 978-972-8865-82-5
AU - Santos J.
AU - Vale Z.
AU - Ramos C.
AU - Serôdio C.
PY - 2007
SP - 179
EP - 185
DO - 10.5220/0001651801790185