Abstract
The knowledge level view advocates treating knowledge bases (KB) roughly as abstract data types: what is required of a KB is to be completely specified functionally, without regard to how it is implemented. We elaborate on this view, here, by providing detailed knowledge level accounts of several different types of languages for specifying KB. These accounts are expressed mainly in terms of two operations applicable to KB: TELL, which allows a system to tell a KB something about its application domain; and ASK, which allows the system to ask the KB questions about the domain. We also consider some of the important things that can be shown about an information system (a DBMS or a knowledge-base system) once the Knowledge Level description is in hand.
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
Brachman, R.J., R.E. Fikes and H.J. Levesque.,- “Krypton: A Functional Approach to Knowledge Representation”, IEEE COMPUTER, Special Issue on Knowledge Representation, Vol. 16, No. 10, October 1983, pp. 67–73.
Brachman, R.J., R.E. Fikes, and H. Levesque, “KRYPTON: Integrating Terminology and Assertion,” in Proc. National Conference on Artificial Intelligence, AAAI83, Washington, D.C, August, 1983, pp. 31–35.
Brachman, R. J., and Levesque, H. J., “The Tractability of Subsumption in Frame-Based Description Languages,” Proc. AAAI-84, Austin, TX, August, 1984, pp. 34–37.
Gallaire, H. and Minker, J. (eds.), Logic and Data Bases. New York, Plenum Press, 1978.
Kowalski, R., “A Proof Procedure Using Connection Graphs,” J. ACM, 22 (4), October, 1975, pp. 572–595.
Levesque, H. J., “The Interaction with Incomplete Knowledge Bases: A Formal Treatment,” Proc. IJCAI-81, Vancouver, 1981, pp. 240–245.
Levesque, H., “Foundations of a Functional Approach to Representation”, Artificial Intelligence, 23 (2): 155–212, July, 1984.
Levesque, H. J., “The Logic of Incomplete Knowledge Bases,” in [BMS84], pp. 165–186, 1984.
Liskov, B., and Zilles, S., “Programming with Abstract Data Types,” SIGPLAN Notices, Vol. 9, No. 4, 1974.
Newell, A., “The Knowledge Level,” Presidential Address, American Association for Artificial Intelligence, AAAI80, Stanford University, Stanford, CA (19 August 1980), in AI Magazine, Vol., No. 2 (Summer 1981 ), pp. 1–20.
Stickel, M. E., “A Nonclausal Connection-Graph Resolution Theorem-Proving Program,” Proc. AAAI-82, Pittsburgh, PA, 1982, pp. 229–233.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1986 Springer-Verlag, New York Inc.
About this chapter
Cite this chapter
Levesque, H.J., Brachman, R.J. (1986). Knowledge Level Interfaces to Information Systems. In: Brodie, M.L., Mylopoulos, J. (eds) On Knowledge Base Management Systems. Topics in Information Systems. Springer, New York, NY. https://doi.org/10.1007/978-1-4612-4980-1_3
Download citation
DOI: https://doi.org/10.1007/978-1-4612-4980-1_3
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4612-9383-5
Online ISBN: 978-1-4612-4980-1
eBook Packages: Springer Book Archive