Developing Knowledge-Based Systems with MIKE

Automated Software Engineering

Volumn 5, Issue 4, 1998, Pages 389-418

  Angele, J ^a   Fensel, D ^a   Landes, D ^a,b   Studer, R ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b DAIMLER AG   (Germany)

Author keywords

Domain modeling; Knowledge acquisition; Knowledge engineering; Knowledge based systems; Problem solving method; Task modeling

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; HYPERMEDIA SYSTEMS; KNOWLEDGE ACQUISITION; KNOWLEDGE REPRESENTATION; MATHEMATICAL MODELS; PROBLEM SOLVING; SOFTWARE PROTOTYPING;

DOMAIN MODELING; KNOWLEDGE ACQUISITION AND REPRESENTATION LANGUAGE; MODEL BASED AND INCREMENTAL KNOWLEDGE ENGINEERING; TASK MODELING;

KNOWLEDGE BASED SYSTEMS;

EID: 0032179999     PISSN: 09288910     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008653328901     Document Type: Article

References (66)

1. Angele, J. 1993. Operationalisierung des Modells der Expertise mit KARL. Ph.D. thesis, University of Karlsruhe, Infix-Verlag, St. Augustin.
2. Angele, J. 1996. Conceptual modeling in KARL and G-KARL. Proc. of the CASE Workshop during the 15th Int. Conf. on Conceptual Modelling (ER-96), Cottbus, Germany.
3. Angele, J., Decker, S., Perkuhn, R., and Studer, R. 1996a. Modeling problem-solving methods in new KARL. Proc. of the 10th Knowledge Acquisition for Knowledge-Based Systems Workshop (KAW'96), Banff, Canada.
4. Angele, J., Fensel, D., and Studer, R. 1996b. Domain and task modelling in MIKE. In A. Sutcliffe et al. (Eds.), Domain Knowledge for Interactive System Design, Chapman & Hall, 1996.
5. Benjamins, R., Fensel, D., and Straatman, R. 1996. Assumptions of problem-solving methods and their role in knowledge engineering. Proc. of the 12th European Conf. on Artificial Intelligence (ECAI-96), Budapest.
6. Boehm, B.W. 1988. A spiral model of software development and enhancement. IEEE Computer, 61-72.
7. Breuker, J. and Van de Velde, W. (Eds.) 1994. The CommonKADS Library for Expertise Modelling. Amsterdam, The Netherlands: IOS Press.
8. Chandrasekaran, B., Johnson, T.R., and Smith, J.W. 1992. Task structure analysis for knowledge modeling. Communications of the ACM, 35(9):124-137.
9. Clancey, W.J. 1983. The epistemology of a rule-based expert system A framework for explanation. Artificial Intelligence, 20:215-251.
10. Dardenne, A., van Lamsweerde, A., and Fickas, S. 1993. Goal-directed requirements acquisition. Science of Computer Programming, 20:3-50.
11. Decker, S., Daniel, M., Erdmann, M., and Studer, R. 1997. An enterprise reference scheme for integrating model-based knowledge engineering and enterprise modeling. Proc. of the 10th European Workshop on Knowledge Acquisition, Modeling, and Management (EKAW-97), LNAI, Springer-Verlag.
12. de Kleer, J., Mackworth, A.K., and Reiter, R. 1992. Characterizing diagnoses and systems. Artificial Intelligence, 56.
13. Eriksson, H. 1992. A survey of knowledge acquisition techniques and tools and their relationship to software engineering. Journal of Systems and Software, 19:97-107.
14. Farquhar, A., Fikes, R., and Rice, J. 1997. The Ontolingua server: A tool for collaborative ontology construction. Int. J. of Human-Computer Studies (IJHCS), 46(6):707-728.
15. Feigenbaum, E.A. 1977. The art of artificial intelligence: Themes and case studies of knowledge engineering. Proc. of the Int. Joint Conf. on AI (IJCAI-77), pp. 1014-1029.
16. Fensel, D. 1995. The Knowledge Acquisition and Representation Language KARL. Boston: Kluwer Academic Publishers.
17. Fensel, D. 1997a. An ontology-based broker: Making problem-solving method reuse work. Proc. of the Workshop on Problem-Solving Methods for Knowledge-based Systems at the 15th Int. Joint Conf. on AI (IJCAI-97), Nagoya, Japan.
18. Fensel, D. 1997b. The tower-of-adapter method for developing and reusing problem-solving methods. Proc. of European Knowledge Acquisition Workshop (EKAW-97), LNAI, Springer-Verlag.
19. Fensel, D. and Groenboom, R. 1997. Specifying knowledge-based systems with reusable components. Proc. of the 9th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE-97), Madrid, Spain.
20. Fensel, D. and Schönegge, A. 1997. Specifying and verifying knowledge-based systems with KIV. Proc. of the European Symposium on the Validation and Verification of Knowledge Based Systems EUROVAV-97, Leuven Belgium.
21. Fensel, D. and Straatman, R. 1996. The essence of problem-solving methods: Making assumptions for efficiency reasons. In N. Shadbolt et al. (Eds.), Advances in Knowledge Acquisition, LNAI 1076, Springer-Verlag.
22. Fensel, D. and van Harmelen, F. 1994. A comparison of languages which operationalize and formalize KADS models of expertise, The Knowledge Engineering Review, 9(2).
23. Fensel, D., Angele, J., Landes, D., and Studer, R. 1993. Giving structured analysis techniques a formal and operational semantics with KARL. In Züllighoven et al. (Eds), Requirements Engineering '93: Prototyping, Stuttgart: Teubner-Verlag.
24. Fensel, D., Angele, J., and Studer, R. (a). The knowledge acquisition and representation language KARL, to appear in IEEE Transactions on Knowledge and Data Engineering.
25. Fensel, D., Erdmann, M., and Studer, R. 1997. Ontology groups: Semantically enriched subnets of the WWW. Proc. of the Int. Workshop Intelligent Information Integration during the 21st German Annual Conf. on Artificial Intelligence, Freiburg, Germany.
26. Fensel, D., Groenboom, R., and Renardel de Lavalette, G.R. (b). MCL: Specifying the reasoning of knowledge-based systems, to appear in Data and Knowledge Engineering (DKE).
27. Fichtner, W., Landes, D., Spengler, Th., Ruch, M., Rentz, O., and Studer, R. 1995. Der Mike Ansatz zur Modellierung von Expertenwissen im Umweltbereich-dargestellt am Beispiel des Bauschuttrecyclings. In H. Kremers et al. (Eds.), Space and Time in Environmental Information Systems, Proc. of the 9th Int. Symposium on Computer Science for Environmental Protection, Berlin, Metropolis-Verlag.
28. Gennari, J., Tu, S., Rothenfluh, Th., and Musen, M. 1994. Mapping domains to methods in support of reuse, Int. J. of Human-Computer Studies (IJHCS), 41:399-424.
29. Gissel, A. and Knauth, P. 1997. Knowledge-based support for the participatory design and implementation of shift systems. Shiftwork International Newsletter, (14):1, 9.
30. Gruber, T.R. 1993. A translation approach to portable ontology specifications, Knowledge Acquisition, 5(2): 199-221.
31. Hayes-Roth, F., Waterman, D.A., and Lenat, D.B. (Eds.). 1983. Building Expert Systems. Addison-Wesley Publisher.
32. Harel, D. 1984. Dynamic logic. In D. Gabby et al. (Eds.), Handbook of Philosophical Logic, vol. II, Extensions of Classical Logic. Dordrecht, NL: Publishing Company, pp. 497-604.
33. Jarke, M., Bubenko, J., Rolland, C., Sutcliffe, A., and Vassiliou, Y. 1993. Theories underlying requirements engineering: An overview of NATURE at genesis. Proc. IEEE Symposium on Requirements Engineering, San Diego.
34. Kifer, M., Lausen, G., and Wu, J. 1995. Logical foundations of object-oriented and frame-based languages, Journal of the ACM, 42:741-843.
35. Knight, K. and Luk, S. 1994. Building a large knowledge base for machine translation. Proc. of the American Ass. for Artificial Intelligence Conf. (AAAI'94), Seattle.
36. Landes, D. 1994. DesignKARL - A language for the design of knowledge-based systems. Proc. of the 6th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE'94), Jurmala, Latvia.
37. Landes, D. and Studer, R. 1994. Mechanisms for structuring knowledge-based systems. In D. Karagiannis (Ed.), Database and Expert System Applications, Lecture Notes in Computer Science 856, Springer, Berlin, pp. 488-497.
38. Landes, D. and Studer, R. 1995. The treatment of non-functional requirements in MIKE. In W. Schäfer and P. Botella (Eds.), Proc. of the 5th European Software Engineering Conf. (ESEC'95), Sitges, Spain, Springer, Berlin, Lecture Notes in Computer Science 989.
39. Lenat, D.B. and Guha, R.V. 1990. Building Large Knowledge-Based Systems: Representation and Inference in the CYC Project. Addison-Wesley Publ. Co., Inc., Reading, MA.
40. Lee, J. 1991. Extending the potts and bruns model for recording design rationale. Proc. 13th Int. Conf. on Software Engineering (ICSE'91), Austin, USA, pp. 114-125.
41. Moran, T.P. and Carroll, J.M. 1996. Design Rationale - Concepts, Techniques, and Use. Mahwah: Erlbaum.
42. Morik, K. 1987. Sloppy modeling. In K. Morik (Ed.), Knowledge Representation and Organisation in Machine Learning, LNAI 347, Springer.
43. Mylopoulos, J., Chung, L., and Nixon, B. 1992. Representing and using non-functional requirements: A processoriented approach, IEEE Transactions on Software Engineering, 18(6):483-497.
44. Neubert, S. 1993. Model construction in MIKE (Model-based and incremental knowledge engineering). In N. Aussenac et al. (Eds.), Knowledge Acquisition for Knowledge-Based Systems, Proc. of the 7th European Workshop (EKAW'93), Toulouse, France, LNAI 723, Springer-Verlag.
45. Nebel, B. 1996. Artificial intelligence: A computational perspective. In G. Brewka (Ed.), Principles of Knowledge Representation, CSLI Publications, Studies in Logic, Language and Information, Stanford.
46. Newell, A. 1982. The knowledge level, Artificial Intelligence, 18:87-127.
47. Pirlein, T. and Studer, R. 1994. KARO: An integrated environment for reusing ontologies. In Steels et al. (Eds), A Future of Knowledge Acquisition, Proc. 8th European Knowledge Acquisition Workshop (EKAW'94), Hoegaarden, LNCS 867, Springer.
48. Pirlein, Th. and Studer, R. 1997. Integrating the reuse of commonsense ontologies and problem-solving methods, Institute AIFB, Research Report 354, University of Karlsruhe.
49. Poeck, K., Fensel, D., Landes, D., and Angele, J. 1996. Combining KARL and CRLM for designing vertical transportation systems. Int. J. of Human-Computer Studies (IJHCS), 44(3-4):435-467.
50. Pohl, K., Starke, G., and Peters, P. 1995. Workshop Summary First International Workshop on Requirements Engineering: Foundation of Software Quality (REFSQ'94), ACM SIGSOFT, 20(1):39-45.
51. Potts, C. and Bruns, G. 1988. Recording the reasons for design decisions. Proc. 10th Int. Conf. on Software Engineering ICSE'88, Singapore, pp. 418-427.
52. Przymusinski, T.C. 1988. On the declarative semantics of deductive databases and logic programs. In J. Minker (Ed.), Foundations of Deductive Databases and Logic Programming, Los Altos, CA: Morgan Kaufmann Publisher.
53. Puppe, F. 1993. Systematic Introduction to Expert Systems: Knowledge Representation and Problem-Solving Methods. Springer.
54. Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., and Lorensen, W. 1991. Object-Oriented Modeling and Design. Prentice Hall.
55. Schreiber, G. 1993. Operationalizing models of expertise. In G. Schreiber, B. Wielinga, and J. Breuker (Eds.), KADS - A Principled Approach to Knowledge-Based Systems Development, London: Academic Press, pp. 119-149.
56. Schreiber, A.Th., Wielinga, B., Akkermans, J.M., Van De Velde, W., and de Hoog, R. 1994. CommonKADS. A comprehensive methodology for KBS development, IEEE Expert, 9(6):28-37.
57. Studer, R., Eriksson, H., Gennari, J., Tu, S., Fensel, D., and Musen, M. 1996. Ontologies and the configuration of prolem-solving methods. Proc. of the 10th Knowledge Acquisition for Knowledge-based Systems Workshop (KAW-96), Banff.
58. Sutcliffe, A.G. and Maiden, N.A.M. 1994. Domain modeling for reuse. Proc. 3rd Int. Conf. on Software Reuse, Rio de Janeiro.
59. Ullman, J.D. 1988. Principles of Database and Knowledge-Base Systems, vol. I. Rockville, MD: Computer Sciences Press,
60. 2: A formal language for KADS conceptual models, Knowledge Acquisition, 4(1).
61. van Heijst, G., Schreiber, A.T., and Wielinga, B.J. 1997. Using explicit ontologies in knowledge-based system development, Int. J. of Human-Computer Interaction (IJHCI), 46(6).
62. VanLehn, K. 1989. Problem-solving and cognitive skill acquisition. In M.I. Posner (Ed.), Foundations of Cognitive Science, Cambridge: The MIT Press.
63. Waarle, H. 1995. Knowledge-based system modeling using MIKE. Swiss PTT, R&D Department, Technical Report.
64. Wielinga, B.J. and Breuker, J.A. 1984. Interpretation models for knowledge acquisition. Proc. of the European Conf. on AI (ECAI-84), Pisa.
65. Wielinga, B., Schreiber, G., and Breuker, J.A. 1992. KADS: A modeling approach to knowledge engineering, Knowledge Acquisition, 4(1).
66. Yourdon, E. 1989. Modern Structured Analysis. Englewood Cliffs: Prentice-Hall.