Abstract
The role of conceptual modelling in the development of knowledge-based DSSs is discussed. Arguments are given in favor of identifying conceptual modelling approaches with knowledge representation schemes. A brief overview is made of the three current paradigms in conceptual modelling and knowledge representation. The need for an integration of the logical and structure-oriented paradigms is pointed out. The use of the clausal institution for structuring and using knowledge is advocated on the basis that it leads to the envisaged integration. The knowledge base is identified with a theory in this institution. Knowledge representation approaches are defined as collections of parameterized theories (abstractions) which can be used for building knowledge bases, as well as new abstractions. The resulting knowledge base is shown to have an explicit structure established according to the adopted knowledge representation approach and to be accessible through clausal logic general purpose inference machanisms. Implementation issues in a PROLOG environment are also discussed.
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.
References
Barwise, J. (1974). “Axioms for Abstract Model Theory,” Annals of Mathematical Logic, pp. 221–265.
Burstall, R. and Goguen, J. (1980). “The Semantics of Clear, a Specification Language,” in Abstract Software Specifications, D. Bjorner (ed.), Springer-Verlag LNCS 86.
Burstall, R. and Goguen, J. (1981). “An Informal Introduction to Specifications Using Clear,” in The Correctness Problem in Computer Science, R. Boyer and J. Moore (eds. ), Academic Press.
Carmo, J. (1985). “The Infolog Branching Logic of Events,” in Information Systems - Theoretical and Formal Aspects, A. Sernadas, J. Bubenko and A. Olive (eds. ), North-Holland.
Coelho, H., Rodrigues, A. and Sernadas, A. (1985). “Towards Knowledge-Based Infolog Specifications,” Decision Support Systems, 1, 2.
De, S., Nof, S. and Whinston, A. (1985). “Decision Support in Computer-Integrated Manufacturing,” Decision Support Systems
Fiadeiro, J. and Sernadas, A. (1985). The Infolog Clausal Generator, Infolog RR29, Faculty of Sciences of Lisbon.
Goguen, J. and Burstall, R. (1984). “Introducing Institutions,” in Logics of Programs, Springer-Verlag LNCS 164.
ISO/TC97/SC5/WG3 (1982). Concepts and Terminology for the Conceptual Schema and the Information Base, J. van Griethuysen (ed.).
Kowalski, R. (1979). Logic for Problem Solving, North-Holland.
Kunifuji, S. and Yokota, H. (1982). “Prolog and Relational Databases for Fifth-Generation Computer Systems,” in Logical Bases for Data Bases, J.-M. Nicolas (ed.), workshop preprints, Toulouse.
Lloyd, J. (1984). Foundations of Logic Programming, Springer- Verlag.
MacLane, S. (1971). Categories for the Working Mathematician, Springer-Verlag.
Mayr, B. and Makowsky, J. (1982a). An Axiomatic Approach to the Semantics of Specification Languages, Technical Report, Technion, Israel Institute of Technology.
Mayr, B. and Makowsky, J. (1982b). Characterizing Specification Languages which Admit Initial Semantics, Technical Report, Technion, Israel Institute of Technology.
Mylopoulos, J. and Brodie, M. (1985). “Al and Databases: Semantic vs. Computational Theories of Information,” in New Directions for Database Systems, G. Ariav and J. Clifford (eds. ), Ablex Publishing Company.
Ng, P. and Paul, J. (1980). “A Formal Definition of Entity- Relationship Models,” in Entity-Relationship Approach to Systems Analysis and Design, P. Chen (ed. ), North-Holland.
Olle, T., Sol, H. and Verrijn-Stuart, A. (1982). Information Systems Design Methodologies: A Comparative Review, North- Holland.
Sernadas, A. (1984). Time Abstractions in the Design of Historical Databases, Infolog RR21, Faculty of Sciences, 1F1P WG 8. 1 Meeting, Linz, September 3–5.
Sernadas, C. and Sernadas A. (1985a). “Conceptual Modeling Abstraction Mechanisms as Parameterized Theories in Institutions,” in Database Semantics, R. Meersman and T. Steel (eds. ), North-Holland.
Sernadas, C. and Sernadas, A. (1985b). The Institutional Approach to Conceptual Schema Transformations, Infolog RR41, Faculty of Sciences of Lisbon.
Sernadas, A. and Sernadas, C. (1985c). “The Use of E-R Ab-stractions for Knowledge Representation,” in Proceedings of the 4th International Conference on Entity-Relationship Approach, IEEE.
Sernadas, A. and Sernadas, C. (1985d). “Capturing Knowledge about the Organization Dynamics,” in Knowledge Representation for Decision Support Systems, L. Methlie and R. Sprague (eds. ), North-Holland.
Sernadas, C. and Sernadas, A. (1985e). “Conceptual Schema Abstraction Mechanisms for Knowledge Representation,” Fourth Scandinavian Research Seminar on Information Modeling and Data Base Management, Tampere, June 5–7.
Sernadas, A. and Sernadas, C. (1985f). “Abstraction and Inference Mechanisms for Knowledge Representation,” Knowledge Base Management Sys terns, Crete, June 24–26.
Sernadas, A., Sernadas, C. and Carapuca, R. (1985a). Knowlog: A Language for Building Modular Clausal Theories, Infolog RR53, Faculty of Sciences of Lisbon.
Sernadas, A., Sernadas, C, Fiadeiro, J. and Granado, J. (1985b). Information Systems Design with Infolog, Infolog RR25, Faculty of Sciences of Lisbon.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sernadas, A., Sernadas, C. (1987). Conceptual Modelling for Knowledge-Based DSS Development. In: Holsapple, C.W., Whinston, A.B. (eds) Decision Support Systems: Theory and Application. NATO ASI Series, vol 31. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-83088-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-83088-4_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-83090-7
Online ISBN: 978-3-642-83088-4
eBook Packages: Springer Book Archive