Abstract
Knowledge representation and the development of suitable formalisms has always been a majorconcern in the history of Artificial Intelligence (AI). In the last years, the focus on this subject hasincreased even more, since efficient utilization of large quantities of world knowledge is regarded as the key to building intelligent systems. Knowledge-based system has almost become a synonym for AI system. In this paper some results are reported obtained by the construction of the integrated hybrid system BACK, which in some aspect is based on KL-ONE.
This work was partially supported by the EEC and is part of the ESPRIT project 311 which Involves the following participants: Nixdorf, Olivetti, Bull, Technische Universitat Berlin, Universita dl Bologna, Universita di Torino and Universitat Hildesheim.
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
R.J. Brachman What’s in a Concept: Structural foundations for Semantic Networks Int. Journal of Man-Machine Studies Vol 9 1977 127–152
Brachman 79] R.J. Brachman On the Epistomological Status of Semantic Networks In: Associative Networks Findler (ed.) Academic Press 1979 3–50
R.J. Brachman, H.J. Levesque The Tractability of Subsumption in Frame-Based Description Languages Proc. AAAI-8 4 1984 34–37
R.J. Brachman, J.G. Schmolze An Overview of the KL-ONE Knowledge Representation System Cognitive Science Vol 9 1985
R.J. Brachman, V. Plgman Gilbert, H.J.Levesque An Essential Hybrid System Proc. of IJCAI-85 1985 532–539
B. MacGregor Personal Communication 1986
H.J. Levesque A Formal Treatment of Incomplete Knowledge Bases Univ. of Toronto, Tech. Report CSRG-139 1982
H.J. Levesque Making Believers out of Computers Artificial Intelligence Vol 30 1986 81–108
T. Lipkis A KL-ONE Classifier In: Proc. of the 1981 KL-ONE Workshop Brachman, Schmolze (eds.) BBN-Report No 484-2 1982 128–145
K. v. Luck, B. Nebel, C. Peltason, A. Schmledel The BACK-System TU-Berlin KIT-Report No 29 1985
K. v. Luck Semantic Networks with Number Restricted Roles In: Proc. of GWAI-86 Rollinger, Horn (eds.) Springer 1986
K. v. Luck, B. Nebel, A. Schmledel, C. Peltason The Anatomy of the BACK-System TU-Berlin KIT Report No 41 1987
J. Moore NIKL Workshop Summary Boston (MA) USC/ISI Draft July 1986
A. Newell The Knowledge Level Artificial Intelligence Vol 18 1982 87–127
P.F. Patel-Schnelder Small can be Beautiful in Knowledge Representation Proc. of the IEEE Workshop on Principles of Knowledge-Based Systems 1984 11–19
P.F. Patel-Schnelder A Four-Valued Semantics for Frame-Based Description Languages Proc. AAAI-86 1986 344–348
Schlumberger 85] The Knowledge Representation Group What Is a TBox ? Schlumberger Palo Alto Research, Draft 1985
J.G. Schmolze, D. Israel KL-ONE: Semantics and Classification BBN Anual Report, BBN-Report No 5421 1983 27–39
J.G. Schmolze The Language and Semantics of NIKL BBN Draft 1985
M. Vilain The Restricted Language Architecture of a Hybrid Representation System Proc. of IJCAI-85 1985 547–551
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
v. Luck, K., Nebel, B., Schneider, HJ. (1988). Some Aspects of Knowledge Base Management Systems. In: Rahmstorf, G. (eds) Wissensrepräsentation in Expertensystemen. Informatik-Fachberichte, vol 172. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-73641-4_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-73641-4_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19216-9
Online ISBN: 978-3-642-73641-4
eBook Packages: Springer Book Archive