Abstract
The use of the clausal institution for structuring and using knowledge is advocated on the basis that it leads to the integration of the logical, structural and procedural knowledge representation paradigms. The knowledge base is identified with a structured theory in this institution. Every knowledge representation approach is defined as a collection of parameterized theories (abstractions) which can be used for building knowledge bases, as well as new abstractions. The resulting knowledge base has an explicit structure complying with the chosen knowledge representation approach and can be accessed using clausal logic general purpose inference mechanisms. Moreover, the procedural semantics of clausal logic provides direct means to support the procedural viewpoint. Within the proposed framework, effective tools are introduced for the modular construction of structured clausal knowledge bases.
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
Burstall, R., and J. Goguen, “The Semantics of Clear: A Specification Language”, in D. Bjorner (ed.), Abstract Software Specifications, Springer-Verlag, Berlin, Heidelberg, 1980.
Burstall, R., and J. Goguen, “An Informal Introduction to the Semantics of Clear”, in R. Boyer and J. Moore (eds.), The Correctness Problem in Computer Science, Academic Press, London, 1981.
Brachman, R., V. Gilbert, and H. Levesque, “An Essential Hybrid Reasoning System: Knowledge and Symbol Level Account of Krypton”, Proc. 1985 AAAI Conference, 1985.
Carapusa, R., and F. Fiaderro, “Varying Representation Schemata vs Fact Updating in KB Management”, in R. Meersman and A. Sernadas (eds.), Knowledge and Data (DS-2), North-Holland, Amsterdam, 1987.
Chen, P.P.S., “The Entity-Relationship Model—Toward a Unified View of Data”, ACM Transactions on Database Systems, Vol. 1, No. 1, March 1976, pp. 9–36.
Coelho, H., A. Rodrigues, and A. Sernadas, “Towards Knowledge-Based Infolog Specifications”, Decision Support Systems, Vol. 1, No.
Goguen, J., and R. Burstall, “Introducing Institutions”, in E. Clarke and D. Kozen (eds.), Logics of Programs, Lecture Notes in Computer Science, Vol. 164, Springer-Verlag, Berlin, Heidelberg, 1984.
Kowalski, R.A., Logic for Problem Solving, North-Holland, New York, 1979.
Mylopoulous, J., and M.L. Brodie, “AI and Databases: Semantics vs Computational Theories of Information”, in G. Ariav and J. Clifford (eds.), New Directions for Database Systems, Ablex Publishing Company, Norwood, NJ, 1985.
Sernadas, A., and C. Sernadas, “Capturing Knowledge About the Organization Dynamics”, in L. Methlie and R. Sprague (eds.), Knowledge Representation for DSS, North-Holland, Amsterdam, 1985.
Sernadas, A., and C. Sernadas, “The Use of E-R Abstractions tor Knowledge Representation”, in P. Chen (ed.), The Entity-Relationship Concept in Knowledge Representation, IEEE, North-Holland, Amsterdam, 1985.
Sernadas, C., and A. Sernadas, “Conceptual Modelling Abstractibn Mechanisms as Parameterized Theories in Institutions”, in R. Meersman and T. Steel (eds.), Database Semantics, North-Holland, Amsterdam, 1986.
Vilain, M., “The Restricted Language Architecture of a Hybrid Representation System”, Proc. 1985 AAAI Conference, 1985.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Sernadas, A., Sernadas, C. (1989). Abstraction and Inference Mechanisms for Knowledge Representation. In: Schmidt, J.W., Thanos, C. (eds) Foundations of Knowledge Base Management. Topics in Information Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-83397-7_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-83397-7_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-83399-1
Online ISBN: 978-3-642-83397-7
eBook Packages: Springer Book Archive