Abstract
This paper presents the use of the VITAL conceptual modeling language to formalise KADS conceptual models. This language is a formal language based on algebraic specification and order sorted predicate logic.
The formalisation distinguishes itself from previous formalisations through the use of signature types paramctcrised by sorts and predicates for the specification of domain independent interpretation models. The approach will be compared to the (ML)2 and FORKADS formalisations. The comparison will especially focus on the representation of interpretation models and the link between the domain and inference layer. This paper will show that the use of parameterised signature types is a very natural way of binding domain layers to interpretation models.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Akkermans, H., Harmelen, F. van, Schreiber, G., Wielinga, B., A formalisation of Knowledge-Level Models for Knowledge Acquisition, Department of Social Science Informatics, University of Amsterdam
Bergstra J.A., Heering J., Klint P., Algebraic Specification, Addison-Wesley, 1989.
Dalen, D. van, Logic and Strucuture, Springer Verlag, 1980.
Dijkstra, E.W., A Discipline of Programming, Englewood Cliffs, N.J., Prentice-Hall, 1976.
Ehrig, H., Mahr, B., Fundamentals of Algebraic Specification 1, Springer Verlag, 1985.
Harmelen, F. van, Balder, J., (ML) 2: A formal language for KADS models of expertise, The Knowledge Acquisition Journal, March 1992.
Hickman, F.R. Analysis for Knowledge-based Systems: A Practicle Guide to the KADS Methodology, Ellis Horwood Limited, 1989
Jonker, W., Spec, J.W., In 't Veld, L.J., Koopman, M.R.J., Formal Approaches towards Software Engineering and their role in KBS Design, Proc. IJCAI Workshop on Software Engineering for Knowledge Based Systems, Sydney, Australia, 1991.
Meyer, B., On Formalisms in Specifications, IEEE Software, January 1985, pp. 7–26.
Spee, J.W., Koopman, M.R.J., Jonker, W., Veld, L.J. in 't, The VITAL Conceptual Modelling and Design Approach, SGES91.
Wetter, Th., First Order Logic Foundation of the KADS Conceptual Model, EKAW90.
Wetter, Th., Schmidt, W., Formalization of the KADS Interpretation Models, AISB91.
Wielinga, B.J, Akkermans, H., A.Th. Schreiber, Balder, J, A Knowledge Acquisition Perspective on Knowledge Level Models, Proc. 4th Knowledge Acquisition for Knowledge Based Systems Workshop, Banff, 1989.
Wielinga, B.J, A.Th. Schreiber, J.A. Breuker, KADS: A modelling Approach to Knowledge Engineering, KADS-II/T1.1/PP/UvA/008/1.0, May 8,1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jonker, W., Spee, J.W. (1992). Yet another formalisation of KADS conceptual models. In: Wetter, T., Althoff, KD., Boose, J., Gaines, B.R., Linster, M., Schmalhofer, F. (eds) Current Developments in Knowledge Acquisition — EKAW '92. EKAW 1992. Lecture Notes in Computer Science, vol 599. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55546-3_42
Download citation
DOI: https://doi.org/10.1007/3-540-55546-3_42
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55546-9
Online ISBN: 978-3-540-47203-2
eBook Packages: Springer Book Archive