Structure-preserving specification languages for knowledge-based systems

International Journal of Human Computer Studies

Volumn 44, Issue 2, 1996, Pages 187-212

  Van Harmelen, Frank ^a   Aben, Manfred ^b  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

^b UNILEVER RESEARCH VLAARDINGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0001247602     PISSN: 10715819     EISSN: None     Source Type: Journal    
DOI: 10.1006/ijhc.1996.0010     Document Type: Article

References (36)

1. ABEN, M. (1995). Formal methods in knowledge engineering. Ph.D. thesis, University of Amsterdam, Faculty of Psychology, The Netherlands.
2. ABEN, M., BALDER, J. & VAN HARMELEN, F. (1994). Support for the formalization and validation of KADS expertise models. ESPRIT Project P5248 KADS-II/M2/TR/UvA/DM2.6a/1.0, University of Amsterdam, The Netherlands.
3. BALDER, J. & AKKERMANS, J. (1992). TheME: an environment for building formal KADS-II models of expertise. AI Communications, 5, 136.
4. 2 model of a scheduling task. In J. TREUR, & T. WETTER, Eds. Formal Specification of Complex Reasoning Systems. Hemel Hempstead: Ellis Horwood.
5. BENJAMINS, V. R. (1993). Problem solving methods for diagnosis. Ph.D. thesis, University of Amsterdam, The Netherlands.
6. BENJAMINS, V. R. (1994). On a role of problem solving methods in knowledge acquisition - experiments with diagnostic strategies. In L. STEELS. A. T. SCHREIBER, & W. VAN DE VELDE, Eds. Lecture Notes in Artificial Intelligence, 867, 8th European Knowledge Acquisition Workshop, EKAW-94, pp. 137-157, Berlin: Springer-Verlag.
7. BREUKER, J. A. & VAN DE VELDE, W., Eds (1994). The CommonKADS Library for Expertise Modelling. Amsterdam: IOS Press.
8. CHANDRASEKARAN, B. (1986). Generic tasks in knowledge based reasoning: High level building blocks for expert system design. IEEE Expert, 1, 23-30.
9. CRAIGEN, D., GERHART, S. & RALSTON, T. (1993). An international survey of industrial applications of formal methods. Technical report, U.S. Department of Commerce, Technology administration, National Institute of Standards and Technology, Computer Systems Laboratory, Gaithersburg, MD 20899, USA.
10. FENSEL, D., ANGELE, J. & LANDES, D. (1991). Knowledge representation and acquisition language (KARL). Proceedings 11th International workshop on expert systems and their applications pp. 821-833. Avignon, France.
11. FENSEL, D. & VAN HARMELEN, F. (1994). A comparison of languages which operationalize and formalize KADS models of expertise. The Knowledge Engineering Review, 9, 105-146.
12. Fox, J. (1993). On the soundness and safety of expert systems. Artificial Intelligence in Medicine, 5, 159-179.
13. GIUNCHIGLIA, E., TRAVERSO, P. & GIUNCHIGLIA, F. (1993). Multi-context systems as a specification framework for complex reasoning systems. In J. TREUR & T. WETTER, Eds, Formal Specification of Complex Reasoning Systems. Hemel Hempstead: Ellis Horwood.
14. HAREL, D. (1984). Dynamic logic. In D. GABBAY & F. GUENTHNER, Eds. Handbook of Philosophical Logic, Vol. II, pp. 497-604. Dordrecht: Reidel.
15. HOARE, C. (1969). The axiomatic basis of computer programing. Communications of the ACM, 12, 567-583.
16. HOPPE, T. & MESEGUER, P. (1991). On the terminology of VVT. In M. GRISONI, Ed. EUROVAV'91: Proceedings of the European Workshop on the Verification and Validation of Knowledge Based Systems, pp. 103-108.
17. JONKER, W. & SPEE, J. W. (1992). Yet another formalisation of KADS conceptual models. In T. WETTER, K.-D. ALTHOFF, J. BOOSE & B. GAINES, Eds. Current Developments in Knowledge Acquisition: EKAW'92, Lecture Notes in AI, Vol. 509. Berlin: Springer-Verlag.
18. KARBACH, W., LINSTER, M., & VOSS, A. (1990). Models, methods, roles and tasks: many labels - one idea? Knowledge Acquisition, 2, 279-300.
19. KARBACH, W., VOSS, A., SCHUKEY, R., & DROUWEN, U. (1991). Model-K: prototyping at the knowledge level. Proceedings Expert Systems-91, pp. 501-512. Avignon, France.
20. LYDIARD, T. (1992). Overview of current practice and research initiatives of the verification and validation of KBS. Knowledge Engineering Review, 7, 101-113.
21. PREECE, A., SHINGHAL, R. & BATAREKH, A. (1992). Principles and practice in verifying rule-based systems. Knowledge Engineering Review, 7, 115-141.
22. RUIZ, F., VAN HARMELEN, F., ABEN, M. & VAN DE PLASSCHE, J. (1994). Evaluating a formal specification language. In L. STEELS, A. SCHREIBER & W. V. DE VELDE, Eds. A Future for Knowledge Acquisition, Proceedings 8th EKAW, Lecture Notes in Artificial Intelligence, Vol. 867, pp. 26-45. Berlin: Springer-Verlag.
23. RUMBAUGH, J., BLAHA, M., PREMERLANI, W., EDDY, F. & LORENSEN, W. (1991). Object-Oriented Modelling and Design. Englewood Cliffs, NJ: Prenctice Hall.
24. 2 using a CommonKADS model. M.Sc. thesis. SWI University of Amsterdam, The Netherlands.
25. STEELS, L. (1990). Components of expertise. AI Magazine.
26. VAN DOMPSELER, H. & VAN SOMEREN, M. (1994). Using models of problem solving as bias in automated knowledge acquisition. Proceedings of the 11th European Conference on AI, ECAI9'4, pp. 503-507. Amsterdam: Wiley & Sons.
27. VAN HARMELEN, F. (1992). Definable naming relations in meta-level systems. In A. PETTOROSSI, Ed. Proceedings of the Third Workshop on Meta-programming in Logic (META'92), Lecture Notes in Computer Science, Vol. 649, pp. 89-104. Uppsala: Springer-Verlag.
28. VAN HARMELEN, F., ABEN, M., RUIZ, F. & VAN DE PLASSCHE, J. (in press). Evaluating a formal KBS specification language. IEEE Expert.
29. 2: a formal language for KADS models of expertise. Knowledge Acquisition, 4. (special issue).
30. VAN LANGEVELDE, I., PHILIPSEN, A. & TREUR, J. (1993). A compositional architecture for simple design formally specified in DESIRE. In J. TREUR & T. WETTER, Eds. Formal Specification of Complex Reasoning Systems. Hemel Hempstead: Ellis Horwood.
31. VAN'T HOLT, M. (1993). Modelling of visual perception for a recognition task in noise analysis. Master's thesis, Department of Information Theory, Technical University of Delft, The Netherlands.
32. VERMESAN, A. & WERGELAND, T. (1994a). Expert system verification and validation. Working Paper 92/1994, Centre for Research in Economics and Administration SNF, Bergen, Norway.
33. VERMESAN, A. & WERGELAND, T. (1994b). A formally-based methodology for deriving verifiable expert systems from specifications. Proceedings of the AAAI'94 workshop on validation and verification of knowledge-based systems. Seattle, WA.
34. WETTER, T. (1990). First-order logic foundation of the KADS conceptual model. In B. J. WIELINGA, J. BOOSE, B. GAINES, G. SCHREIBER & M. VAN SOMEREN, Eds. Current Trends in Knowledge Acquisition, pp. 356-375. Amsterdam: IOS Press.
35. WIELINGA, B. J., SCHREIBER, A. T. & BREUKER, J. A. (1993). Modelling expertise. In A. T. SCHREIBER, B. J. WIELINGA & J. A. BREUKER, Eds, KADS: A Principled Approach to Knowledge-Based System Development, pp. 21-46. London: Academic Press.
36. WOLS, R. (1993). Knowledge acquisition, modelling and formalization for METEODES. Master's thesis, Department of Information Theory, Technical University of Delft, The Netherlands.