Formal Support for Development of Knowledge-Based Systems

Failure and Lessons Learned in Information Technology Management

Volumn 2, Issue 4, 1998, Pages 173-182

  Fensel, Dieter ^a   Van Harmelen, Frank ^b   Reif, Wolfgang ^c   Ten Teije, Annette ^b  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

^c UNIVERSITY OF ULM   (Germany)

Author keywords

Formal methods; Knowledge based systems; Validation; Verification

Indexed keywords

EID: 1842728517     PISSN: 1088128X     EISSN: None     Source Type: Journal    
DOI: 10.3727/108812898791918253     Document Type: Article

References (42)

1. Abadi, M., Burrows, M., Lampson, B., & Plotkin, G. (1991). A calculus for access control in distributed systems. In J. Feigenbaum (Ed.), CRYPTO '97. Springer LNAI 576.
2. Aben, M. (1995). Formal methods in knowledge engineering. Ph.D. thesis, University of Amsterdam, Faculty of Psychology.
3. Akkermans, J. M., Wielinga, B. J., & Schreiber, A. Th. (1993). Steps in constructing problem-solving methods. In N. Aussenac, G. Boy, B. Gaines, M. Linster, J.-G. Ganascia, & Y. Kodratoff (Eds.), Knowledge Acquisition for Knowledge-Based Systems. Proceedings of the 7th European Workshop EKAW'93 (pp. 45-65), Toulouse and Caylus, France. (Number 723 in Lecture Notes in Computer Science). Berlin/Heidelberg: Springer-Verlag.
4. Bauer, C., & Karbach, W. (Eds.). (1992). Proceedings Second KADS User Meeting, ZFE BT SE 21, Otto-Hahn Ring 6, D-8000 Munich 83, 17-18. Siemens AG.
5. Blair, A., Debenham, J., & Edwards, J. (1995). A comparative study of formal methodologies for designing ideas. In J. Debenham (Ed.), Proceedings of the Australian AI Conference.
6. Börger, E., & Rosenzweig, D. (1994). A mathematical definition of full PROLOG. Science of Computer Programming.
7. Breuker, J. A., Wielinga, B. J., van Someren, M., deHoog, R., Schreiber, A. Th., deGreef, P., Bredeweg, B., Wielemaker, J., Billault, J. P., Davoodi, M., & Hayward, S. A. (1987). Model driven knowledge acquisition: Interpretation models. ESPRIT Project P1098 Deliverable D1 (task A1), University of Amsterdam and STL Ltd.
8. Chandrasekaran, B. (1986). Generic tasks in knowledge based reasoning: High level building blocks for expert system design. IEEE Expert, 1(3), 23-30.
9. Clancey, W. J. (1985). Heuristic classification. Artificial Intelligence, 27, 289-350.
10. Cornelissen, F., Jonker, C., & Treur, J. (1997). Compositional verification of knowledge-based systems: A case study for diagnostic reasoning. In E. Plaza & R. Benjamins (Eds.), 10th European Knowledge Acquisition Workshop, EKAW-97 (pp. 65-80) (Number 1319 in Lecture Notes in Artificial Intelligence). Berlin: Springer-Verlag.
11. Eriksson, H., Shahar, Y., Tu, S. W., Puerta, A. R., & Musen, M. A. (1995). Task modeling with reusable problem-solving methods. Artificial Intelligence, 79(2), 293-326.
12. Fensel, D. (1995). The knowledge-based acquisition and representation language KARL. New York: Kluwer Academic Publisher.
13. Fensel, D., & Benjamins, R. (1998). The role of assumptions in knowledge engineering. International Journal of Intelligent Systems.
14. Fensel, D., & Groenboom, R. (1997). Specifying knowledge-based systems with reusable components. In Proceedings of the 9th International Conference on Software Engineering & Knowledge Engineering (SEKE-97), Madrid, Spain.
15. Fensel, D., Groenboom, R., & Renardel deLavalette, G. R. (1998). Modal change logic (MCL): Specifying the reasoning of knowledge-based systems. Data and Knowledge Engineering.
16. Fensel, D., & Schönegge, A. (1998). Inverse verification of problem-solving methods. International Journal on Human-Computer Studies.
17. Fensel, D., & Straatman, R. (1998). The essense of problem-solving-methods: Making assumptions for gaining efficiency. Journal of Human Computer Studies.
18. Fox, J., Das, S., Elsdon, D., & Hammond, D. (1995). Decision making and planning by autonomous agents: A generic architecture for safety critical applications. In Proceedings Expert Systems 95. Cambridge: Cambridge University Press.
19. French, S., & Hamilton, D. (1994). A comprehensive framework for knowledge-base verification and validation. International Journal of Intelligent Systems, 9, 809-837.
20. Fuchß, T., Reif, W., Schellhorn, G., & Stenzel, K. (1995). Three selected case studies in verification. In M. Broy & S. Jähnichen (Eds.), KORSO: Methods, languages, and tools for the construction of correct software - final report. Springer LNCS 1009.
21. Garlan, D., & Perry, D. (1995). Special issue on software architecture. IEEE Transactions on Software Engineering, 21(4).
22. Harel, D. (1984). Dynamic logic. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic, vol. II: Extensions of classical logic (pp. 497-604). Dordrecht, The Netherlands: Reidel.
23. Holtzman, S. (1989). Intelligent decision systems. New York: Addison-Wesley.
24. Hutter, D., Langenstein, B., Koob, F., Reif, W., Sengler, C., Stephan, W., Ullmann, M., Wittmann, M., & Wolpers, A. (1995). The VSE development method - a way to engineer high-assurance software systems. In B. Gotzheim (Ed.), GI/ITC Tagung Formale Beschreibungstechniken für verteilte Systeme. Universität Kaiserslautern.
25. Jaurent, J. P., Ayel, J., Thome, F., & Ziebelin, D. (1986). Comparative evaluation of three expert system development tools: KEE, knowledge craft, ART. Knowledge Engineering Review, 1(4), 19-29.
26. Marcus, S. (Ed.). (1988). Automatic knowledge acquisition for expert systems. Boston: Kluwer.
27. Newell, A. (1982). The knowledge level. Artificial Intelligence, 18, 87-127.
28. Preece, A., Shinghal, R., & Batarekh, A. (1992). Principles and practice in verifying rule-based systems. Knowledge Engineering Review, 7(2), 115-141.
29. Reif, W. (1995). The KIV-approach to software verification. In M. Broy & S. Jähnichen (Eds.), KORSO: Methods, languages, and tools for the construction of correct software - final report. Springer LNCS 1009.
30. Reif, W., & Stenzel, K. (1993). Reuse of proofs in software verification. In R. Shyamasundar (Ed.), Foundation of Software Technology and Theoretical Computer Science, Proceedings, Bombay, India. Springer LNCS 761.
31. Rich, E., & Knight, K. (1991). Introduction to artificial intelligence. New York: McGraw-Hill.
32. Rogers, E. (1998). AI in health care. IEEE Intelligent Systems and Their Applications, 13(1). [Special Issue on AI in Medicine]
33. Schreiber, A. Th., Wielinga, B. J. deHoog, R., Akkermans, J. M., & Van de Velde, W. (1994). CommonKADS: A comprehensive methodology for KBS development. IEEE Expert, 9(6), 28-37.
34. Shaw, M., & Garlan, D. (1996). Software architectures. Perspectives on an emerging discipline. Englewood Cliffs, NJ: Prentice-Hall.
35. ten Teije, A., & van Harmelen, F. (1998). Characterising problem solving methods by gradual requirements. In Proceedings of the Eleventh Workshop on Knowledge Acquisition for Knowledge-Based Systems (KAW'98), Banff, Alberta.
36. van Harmelen, F. (1998). Applying rule-base anomalies to KADS inference structures. Decision Support Systems, 21(4), 271-280.
37. 2: A formal language for KADS models of expertise. Knowledge Acquisition, 4(1). [Special issue: "The KADS approach to knowledge engineering," reprinted in A. Th. Schreiber et al. (Eds.), KADS: A principled approach to knowledge-based system development]
38. 2: A formal language for KADS models of expertise. Knowledge Acquisition, 4(1). [Special issue: "The KADS approach to knowledge engineering," reprinted in A. Th. Schreiber et al. (Eds.), KADS: A principled approach to knowledge-based system development]
39. Vermesan, A., & Wergeland, T. (1994a). Expert system verification and validation (Working paper 92/1994). Centre for Research in Economics and Administration SNF, Bergen, Norway.
40. Vermesan, A., & Wergeland, T. (1994b). A formally-based methodology for deriving verifiable expert systems from specifications. In Proceedings of the AAAI'94 Workshop on Validation and Verification of Knowledge-Based Systems, Seattle.
41. Wielinga, B. J., & Breuker, J. A. (1986). Models of expertise. In Proceedings ECAI-86 (pp. 306-318).
42. Wirsing, M. (1995). Algebraic specification languages: An overview. In Proceedings of the 10th Workshop on Specification of Abstract Data Types. Springer-Verlag LNCS 906.