From verification to modelling guidelines

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 867)


In this paper, we discuss the verification of knowledge systems by means of knowledge level reflection techniques. Our claim is that knowledge level reflection enables for a principled, customisable and reusable way of performing verification. As a consequence, the knowledge engineer obtains more meaningful results from verification while developing his application and can use them as guidelines for further development. We illustrate how this is done through the MetaKit in the KresT workbench.


knowledge level reflection integrated verification knowledge level verification modelling KBS development process 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Bensabat and Dhaliwal, 89]
    Bensabat, I. and Dhaliwal, J. S. (1989). The validation of knowledge acquisition: Methodology and techniques. In Proceedings of the 3rd EKAW, 215–233.Google Scholar
  2. [Boehm, 84]
    Boehm, B. (1984). Verifying and validating software requirements and design specifications. IEEE Software.Google Scholar
  3. [Cañamero et al., 93]
    Canamero, D., Geldof, S., and McIntyre, A. (1993). Coupling modeling and validation in COMMET. In Meseguer, P. (Ed.)., Proceedings of EUROVAV '93.Google Scholar
  4. [Goossens et al., 93]
    De Vroede, K. and Goossens, L. (1993). The basekit manual (v5.0). Technical report, Knowledge Technologies, Brussels, Belgium.Google Scholar
  5. [Geldof, 94]
    Geldof, S. (1994). Towards more flexibility in Reuse. In Proceedings of the International conference on Artificial Intelligence, KBS, Expert systems and Natural Language, 65–75, Avignon, Paris: EC2.Google Scholar
  6. [Hoppe and Messeguer, 91]
    Hoppe, T. and Messeguer, P. (1991). On the terminology of VVT. In EUROVAV 91, 3–13, Jesus College, Cambridge, England.Google Scholar
  7. [Jonckers et al., 92]
    Geldof, S., Jonckers, V., and Devroede, K. (1992). The COMMET methodology and workbench in practice. In Proceedings of the 5th International Symposium on Artificial Intelligence, 341–348, Cancun, Mexico.Google Scholar
  8. [Kay, 86]
    Kay, M. (1986). Parsing in functional unification grammar. In Grosz, B., Spark Jones, K., and Lynn Webber, B. (Eds.)., Readings in NLP, 125–138. Morgan Kaufmann Publ. Inc., Los Altos, CA.Google Scholar
  9. [McIntyre, 92a]
    McIntyre, A. (1992a). Commet workbench reference manual. Technical report, VUB AI Lab, Brussels, Belgium.Google Scholar
  10. [McIntyre, 92b]
    McIntyre, A. (1992b). Feature-based representation in knowledgelevel design. Technical Report 92-08, Knowledge Technologies, Brussels, Belgium.Google Scholar
  11. [Mengshoel, 91]
    Mengshoel, O. (1991). KVAT: a tool for incremental knowledge validation in a knowledge engineering workbench. In EUROVAV 91, 239–245.Google Scholar
  12. [Newell, 82]
    Newell, A. (1982). The knowledge level. Artificial Intelligence, 18, 87–127.Google Scholar
  13. [Shadbolt, 91]
    Shadbolt, N. (1991). Building valid knowledge bases, an ACKnowledge perspective. In EUROVAV 91, 195–210, Jesus College, Cambridge, England.Google Scholar
  14. [Sierra et al., 91]
    Sierra, C., Agustí-Cullell, J., and Plaza, E. (1991). Verification by construction in milord. In EUROVAV 91, 211–226, Jesus College, Cambridge, England.Google Scholar
  15. [Slodzian, 94]
    Slodzian, A. (1994). Knowledge level reflection. Technical Report 94-1, VUB AI Lab.Google Scholar
  16. [Steels, 90]
    Steels, L. (1990). Components of Expertise. AI Magazine, 11(2), 29–49.Google Scholar
  17. [Steels, 93]
    Steels, L. (1993). The componential framework and its role in reusability. In Jean-Marc David, J.-P. K. and Simmons, R. (Eds.), Second Generation Expert Systems. Springer Verlag, Berlin.Google Scholar
  18. [Van de Velde, 93]
    Van de Velde, W. (1993). Issues in knowledge level modelling. In David, J.-M., Krivine, J.-M., and Simmons, R. (Eds.)., Second Generation Expert Systems, 211–231. Springer, Berlin.Google Scholar
  19. [Vanwelkenhuysen, 93]
    Vanwelkenhuysen, J. (1993). Participative design of industrial knowledge based systems. PhD thesis, Vrije Universiteit Brussel, Brussels, Belgium. Also as VUB AI-Lab TR-93-1.Google Scholar
  20. [Wielinga et al., 93]
    Wielinga, B., Ackermans, H., and G.Schreiber (1993). Validation and verification of knowledge based systems. In Meseguer, P. (Ed.)., Proceedings of EUROVAV '93.Google Scholar
  21. [Wielinga and van Harmelen, 93]
    Wielinga, B. and van Harmelen, F. (1993). Knowledge-level reflection. Technical report, Universisty od Amsterdam.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  1. 1.VUB AI LabBrüsselBelgium

Personalised recommendations