Abstract
The paper describes a specification approach for knowledge-based systems (kbs) combining semiformal and formal specification techniques. The semiformal knowledge representation uses a hypermedia-based formalism which serves as a communication basis between expert and knowledge engineer. This representation is also the basis for the formalization process resulting in the formal and executable model of expertise written in KARL. A smooth transition from the semiformal to the formal specification is enabled as both description techniques use the same conceptual model to describe the system.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Bibliography
J. Angele, D Fensel, and D. Landes: Two Languages to Do the Same? In Proceedings of the 2nd Workshop Informationssysteme und Künstliche Intelligenz,February 24–26, 1992, Ulm, R. Studer (ed.), Informatik- Fachberichte, no 303, Springer
J. Angele, D. Fensel und D. Landes: An executable model at the knowledge level for the office-assignment task. In M. Linster (ed.): Sisyphus ‘82: Models of Problem Solving, Arbeitspapiere der GMD, no 663, July 1992.
J. Angele, D. Fensel, D. Landes, S. Neubert, and R Studer: Model-Based and Incremental Knowledge Engineering: The MIKE Approach. In J. Cuena (ed.), Knowledge Oriented Software Design, IFIP Transactions A-27, North Holland, Amsterdam, 1993.
J. Angele, D. Fensel, and R. Studer: The Model of Expertise in KARL. In Proceedings of the 2nd World Congress on Expert Systems, Lisbon/Estoril, Portugal, January 10–14, 1994.
J. Angele: Operationalisierung des Modells der Expertise mit KARL, Infix, St. Augustin, 1993 (in German).
D. Fensel, J. Angele, and D. Landes: KARL: A Knowledge Acquisition and Representation Language. In Proceedings of Expert Systems and their Applications, 11th International Workshop, Conference “Tools, Techniques & Methods”, May 27–31, Avignon, 1991, pp. 513–528.
D. Fensel, J. Angele, D. Landes, and R. Studer: Giving Structured Analysis Techniques a Formal and Operational Semantics with KARL, Proceedings of Requirements Engineering ‘83 - Prototyping -, Bonn, April 25–27, 1993, Teubner Verlag, Stuttgart, to appear 1993.
K. M. Ford, J. M. Bradshaw, J. R. Adams-Webber, and N. M. Agnew: Knowledge Acquisition as a Constructive Modeling Activity. In International Journal of Intelligent Systems, Special Issue Knowledge Acqisition as Modeling, part I, no 1, vol 8, 1993.
D. Fensel: The Knowledge Acquisition and Representation Language KARL, Ph.D. thesis, University of Karlsruhe, 1993.
D. Fensel: Graphical And Formal Knowledge Specification With KARL. In Proceedings of the International Conference on Expert Systems for Development, Bangkok, Thailand, March 29–31, 1994.
U. Hoppe and S. Neubert: Using Hypermedia for Integrating Mediating Representations in the Model-based Knowledge Engineering. In Proceedings of the AAAI’92 Workshop Knowledge Representation Aspects of Knowledge Acquisition, San José, Califomia, July, pp. 55–62, 1992.
M. Kifer, G. Lausen, and J. Wu: Logical Foundations of Object-Oriented and Frame-Based Languages, technical report 93/06, Department of Computer Science, SUNY at Stony Brook, NY, April 1993. To appear in Journal of the ACM
D. Kozen: Logics of Programs. In J. v. Leeuwen (ed.), Handbook of Theoretical Computer Science, Elsevier Science Publ., B. V., Amsterdam, 1990.
D. Landes and R. Studer: The Design Process in MIKE. In Proceedings of the 8th Knowledge Acquisition for Knowledge-Based Systems Workshop KAW’94, Banff, Canada, Jan. 30 - Feb. 5, 1994.
D. Landes, D. Fensel, and J. Angele: Formalizing and Operationalizing a Design Task with KARL. In J. Treur and Th. Wetter (eds.), Formal Specification of Complex Reasoning Systems, Ellis Horwood, New York, 1993.
M. Linster (ed.): Sisyphus ‘82: Models of Problem Solving, Arbeitspapiere der GMD, no 663, July 1992.
J.W. Lloyd: Foundations of Logic Programming, 2nd Editon, Springer-Verlag, Berlin, 1987.
S. Neubert and F. Maurer: A Tool for Model Based Knowledge Engineering. In Proceedings of the 13th International Conference AI, Expert Systems, Natural Language (Avignon’93), 24–28 Mai, Avignon, 1993.
S. Neubert and A. Oberweis: Einsatzmoglichkeiten von Hypertext beim Software Engineering und Knowledge Engineering. In Proceedings Hypertext & Hypermedia `92, München, September 1992
In: Current Trends in Knowledge Acquisition - EKAW’93, 7th European Knowledge Acquisition Workshop, Toulouse, France, September 6th - 10th, 1993, Lecture Notes in Artificial Intelligence, Springer Verlag, Berlin, Heidelberg
S. Neubert: Modellkonstruktion in MIKE (Mciellbasiertes und Inkrementelles Knowledge Engineering) - Methoden und Werkzeuge. PhD thesis, Universität Karlsruhe, 1994 (in German).
A. Newell: The Knowledge Level, Artificial Intelligence, vol 18, 1982.
K. Poeck, D. Fensel, D. Landes, and J. Angele: Combining KARL and Configurable Role Limiting Methods for Configuring Elevator Systems. In Proceedings of the 8th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW’94), Banff, Canada, Januar 30th - February 4th, 1994.
G. Schreiber, B. Wielinga, and J. Breuker (eds.): KARS. A Principled Approach to Knowledge-Based System Development, Knowledge-Based Systems, vol 11, Academic Press, London, 1993.
J. D. Ullman: Principles of Database and Knowledge-Base Systems, vol I, Computer Sciences Press, Rockville, Maryland, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fensel, D., Neubert, S. (1994). Integration Of Semiformal And Formal Methods For Specifying Knowledge-Based Systems. In: Wolfinger, B. (eds) Innovationen bei Rechen- und Kommunikationssystemen. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-51136-3_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-51136-3_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58313-4
Online ISBN: 978-3-642-51136-3
eBook Packages: Springer Book Archive