Skip to main content
SpringerLink
Log in

On the Verification of an Expert System: Practical Issues

  • Conference paper
  • First Online:
Developments in Applied Artificial Intelligence (IEA/AIE 2002)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2358))

Abstract

The Verification and Validation (V&V) process states whether the software requirements specifications have been correctly and completely fulfilled. The methodologies proposed in software engineering showed to be inadequate for Knowledge Based Systems (KBS) validation, since KBS present some particular characteristics[1]. Designing KBS for dynamic environments requires the consideration of Temporal knowledge Reasoning and Representation (TRR) issues. Albeit, the last significant developments in TRR area, there is still a considerable gap for its successful use in practical applications.

VERITAS is an automatic tool developed for KBS verification, it is currently in development and is being tested with SPARSE, a KBS used in the Portuguese Transmission Network (REN) for incident analysis and power restoration. In this paper some solutions are proposed for still open issues on Verification of KBS applied in critical domains.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. O. Garcia and Y. Chien-“Knowledge-Based Systems: Fundamentals and Tools”, IEEE Computer Society Press, 1991

    Google Scholar 

  2. T. Menzies-“Knowledge Maintenance: The State of the Art, The Knowledge”, Engineering Review, 1998

    Google Scholar 

  3. T. Hoppe and P. Meseguer-“On the terminology of WT”, Proc.European Workshop on the Verification and Validation of Knowledge-Based Systems, Logica Cambridge, 3–13, Cambridge, 1991

    Google Scholar 

  4. B. Boehm, ”Verifying and validating software requirements and design specifications”, IEEE Software, 1(1), 1984

    Google Scholar 

  5. A. Preece and R. Shinghal “Foundation and Application of Knowledge Base Verification”, Intelligence Systems, 9:683–701, 1994

    Article  Google Scholar 

  6. Z. Vale, A. Moura, M. Fernandes and A. Marques, “SPARSE-An Expert System for Alarm Processing and Operator Assistance in Substations Control Centers”, ACM (Association for Computing Machinery) Press, Applied Computing Review, 2(2): 18–26, December 1994

    Google Scholar 

  7. J. Santos, L. Faria, C. Ramos, Z. Vale and A. Marques-“VERITAS-A Verification Tool for Real-time Applications in Power System Control Centers”. Proc.12th International Florida AI Research Society (FLAIRS’99). Eds. AAAI Press, 511–515. Orlando, 1999

    Google Scholar 

  8. A. Ginsberg-“A new approach to checking knowledge bases for inconsistency and redundancy”, Proc.3rd Annual Expert Systems in Government Conference, IEEE Computer Society, Washington D.C., pp. 102–111, October, 1987

    Google Scholar 

  9. A. Preece-“Towards a methodology for evaluating expert systems”, Expert Systems (UK), 7(4), 215–223, November 1990

    Google Scholar 

  10. M. Rousset-“On the consistency of knowledge bases: the COVADIS system”, Proceedings of European Conference on Artificial Intelligence, pp. 79–84, Munchen, 1988

    Google Scholar 

  11. L. Vila-“A Survey on Temporal Reasoning in Artificial Intelligence”, AI Communications, 7:4–28, March 1994

    Google Scholar 

  12. “Spatial and Temporal Reasoning”, Eds Oliviero Stock, Kluwer Academic Publishers, 1997

    Google Scholar 

  13. M. Ramaswary and S. Sarkar-“Global Verification of Knowledge Based Systems via Local Verification of Partitions”, Proc. 4th European Symposium on the Validation and Verification of Knowledge Based Systems (Eurovav’97), 145–154. Leuven, Belgium, 1997

    Google Scholar 

  14. J. Kleer-“An assumption-based TMS”, Artificial Intelligence (Holland), 28(2), 127–162, 1986

    Google Scholar 

  15. A. Preece, R. Shinghal, and A. Batarekh “Verifying expert systems: a logical framework and a practical tool” Expert Systems with Applications, 5(2):421–436, 1992

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departamento de Engenharia Informática, Instituto Superior de Engenharia do Porto, Rua Dr. António Bernardino de Almeida, 431, 4200-072, Porto, Portugal

    Jorge Santos & Carlos Ramos

  2. Departamento de Engenharia Electrotécnica, Instituto Superior de Engenharia do Porto, Rua Dr. António Bernardino de Almeida, 431, 4200-072, Porto, Portugal

    Zita Vale

Authors
  1. Jorge Santos
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zita Vale
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Carlos Ramos
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Centre for Intelligent Systems and Complex Processes, Swinburne University of Technology, John Street, Hawthorn, Victoria, Australia, 3122

    Tim Hendtlass

  2. Department of Computer Science, Southwest Texas State University, 601 University Drive, San Marcos, TX, 78666, USA

    Moonis Ali

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Santos, J., Vale, Z., Ramos, C. (2002). On the Verification of an Expert System: Practical Issues. In: Hendtlass, T., Ali, M. (eds) Developments in Applied Artificial Intelligence. IEA/AIE 2002. Lecture Notes in Computer Science(), vol 2358. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48035-8_41

Download citation

  • DOI: https://doi.org/10.1007/3-540-48035-8_41

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43781-9

  • Online ISBN: 978-3-540-48035-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation