Hostname: page-component-7bb8b95d7b-fmk2r Total loading time: 0 Render date: 2024-09-20T09:48:15.447Z Has data issue: false hasContentIssue false
  • English
  • Français

Validation of knowledge-based systems: Current trends and issues

Published online by Cambridge University Press:  07 July 2009

Alun D. Preece
Alun D. Preece
Affiliation:
Department of Computing Secience, University of Aberdeen, Scotland, UK
Get access Rights & Permissions [Opens in a new window]

Extract

Assuring the reliability of knowledge-based systems has become an important issue in the development of the knowledge engineering discipline. There has been a workshop devoted to these topics at most of the major AI conferences (IJCAI, AAAI and ECAI) for the last five years, and the 1994 European Conference on Artificial Intelligence (ECAI-94) in Amsterdam was no exception. The focus of the meeting was on validation techniques for KBS, where validation is defined as the process of determining if a KBS meets its users' requirements; implicitly, validation includes verification, which is the process of determining if a KBS has been constructed to comply with certain formally-specified properties, such as consistency and irredundancy. The Amsterdam workshop was an intimate meeting, and the fifteen attendees were predominantly from European institutions. In spite of—or perhaps because of—this intimacy, the workshop succeeded in highlighting many of the significant trends and issues within its area of concern. The purpose of this short article is to review the trends and issues in question, drawing upon the contributions made during the workshop.

Type
Research Article
Information
The Knowledge Engineering Review , Volume 10 , Issue 1 , March 1995 , pp. 69 - 71
Copyright
Copyright © Cambridge University Press 1995

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Bouali, F, Loiseau, S and Rousset, MC, 1994. “KBS correction: a proposal based on diagnosis theory”. In: Proceedings of the ECAI-94 Workshop on Validation of Knowledge-based Systems, pp 21–29.Google Scholar
Fensel, C and van Harmelen, F, 1994. “A comparison of languages which operationalise and formalise KADS models of expertise”. Knowledge Engineering Review 9 105–146.CrossRefGoogle Scholar
Menzies, T and Gambetta, W, 1994. “Exhaustive abduction: a practical model validation tool”. In: Proceedings of the ECAI-94 Workshop on Validation of Knowledge-based Systems, pp. 70–76.Google Scholar
Preece, A, Shinghal, R and Batarekh, A, 1992. “Principles and practice in verifying rule-based systems”. Knowledge Engineering Review 7 115–141.CrossRefGoogle Scholar
Treur, J and Willems, M., 1994. “On verification in compositional knowledge-based systems”. In: Proceedings of the ECAI-94 Workshop on Validation of Knowledge-based Systems, pp 4–20.Google Scholar
Vermesan, A and Wergeland, T, 1994. “A formal approach to knowledge base refinement and verification”. In: Proceedings of the ECAI-94 Workshop on Validation of Knowledge-based Systems, pp 42–52.Google Scholar
Wendler, B and Vignollet, L, 1994. “Verification of the coherence of modular knowledge bases”. In: Proceedings of the ECAI-94 Workshop on Validation of Knowledge-based Systems, pp 77–85.Google Scholar
Weusten, M, 1994. “Validation and verification in legal knowledge based systems”. In: Proceedings of the ECAI-94 Workshop on Validation of Knowledge-based Systems, pp 53–69.Google Scholar
Zlatareva, N, 1994. “Checking non-monotonic knowledge bases for inconsistencies and incompleteness”. In: Proceedings of the ECAI-94 Workshop on Validation of Knowledge-based Systems, pp 30–40.Google Scholar