Informatik — Wirtschaft — Gesellschaft pp 220-225 | Cite as
Reuse-Oriented Knowledge Engineering with MoMo
Abstract
The identification, explicit description, and utilization of generic problem solving methods such as heuristic classification, differential diagnosis, or model-based design is a major result of AI research in the field of knowledge-based systems. Having such methods at hand directly paves the way to reusing existing software and specifications when developing new applications. The language MoMo allows generic problem solving methods to be modeled in an implementation-independent but executable way, and to reuse and customize the models for specific applications. MoMo thus supports a reuse-oriented structured prototyping approach to software development for knowledge-based systems.1
Preview
Unable to display preview. Download preview PDF.
References
- [1]J. de Kleer and B. C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32:97–130, 1987.CrossRefGoogle Scholar
- [2]D. Fensel, J. Angele, and D. Landes. KARL:: A knowledge acquisition and representation language. In J.C. Rault, editor, Proceedings of the 11th International Conference Expert systems and their applications, volume 1 (Tools, Techniques & Methods), pages 513 – 528, Avignon, 1991. EC2.Google Scholar
- [3]R. G. Fishman and C. F. Kemerer. Object-oriented and conventional analysis and design methodologies — comparison and critic. Computer, 25(10):22–39, 1992.CrossRefGoogle Scholar
- [4]Hans and Angi Voss. Reuse-oriented knowledge engineering with MoMo. Technical report, Gesellschaft für Mathematik und Datenverarbeitung (GMD), 1993.Google Scholar
- [5]Th. Hemmann and H. Voss. A reusable and specializable interpretation model for model-based diagnosis. In Ch. Loeckenhoff, D. Fensel, and R. Studer, editors, Proceedings 3rd KADS Meeting, pages 189–205. Siemens AG, 1993.Google Scholar
- [6]K. Jensen. Coloured Petri nets. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Applications and Relationships to Other Models of Concurrency, Advances in Petri Nets 1986 Part I, volume 254 of Lecture Notes of Computer Science, pages 248–299. Springer, Berlin, 1987.Google Scholar
- [7]W. Karbach, A. Voss, R. Schukey, and U. Drouven. MODEL-K: Prototyping at the knowledge level. In J.C. Rault, editor, Proceedings of the 11th International Conference Expert systems and their applications, volume 1 (Tools, Techniques & Methods), pages 501–511, Avignon, 1991. EC2.Google Scholar
- [8]Marc Linster. Knowledge acquisition based on explicit methods of problem-solving. PhD thesis, University of Kaiserslautern, Kaiserslautern, February 1992.Google Scholar
- [9]M. Sprenger. Explanations for KADS — KADS for explanations? Technical report, Gesellschaft für Mathematik und Datenverarbeitung (GMD), 1992.Google Scholar
- [10]F. van Harmelen and J. Balder. (ML)2: A formal language for kads models of expertise. ESPRIT Project P5248 KADS-II KADS-II/T1.2/PP/UvA/17/1.0, University of Amsterdam, November 1991.Google Scholar
- [11]Jürgen Walther, Angi Voss, Marc Linster, Thomas Hemmann, Hans Voss, and Werner Karbach. MoMo. Technical report, Gesellschaft für Mathematik und Datenverarbeitung (GMD), 1992.Google Scholar
- [12]Th. Wetter. First order logic foundation of the KADS conceptual model. In Wielinga et. al., editor, Current Trends in Knowledge Acquisition, pages 356–375. IOS Press, Amsterdam, 1990.Google Scholar
- [13]B. Wielinga and J. Breuker. Models of expertise. In ECAI-86, Brighton, 1986.Google Scholar
- [14]E. Yourdon. Modern Structured Analysis. Prentice-Hill International Editions, Englewood Cliffs, 1989.Google Scholar