Abstract
The knowledge representation system BACK, a descendant of the ‘New Implementation of SRL’, is described focussing on the problems of how to achieve a consistent knowledge base and how to cope with incomplete knowledge [1].
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
Belnap, N., How a Computer Should Think, in: Ryle, G. (ed.), Contemporary Aspects of Philosophy, Stocksfield: Oriel Press, 1976
Brachman, R.J., Fikes, R.E., Levesque, H.J., KRYPTON: Integrating Terminology and Assertion, AAAI-83, 1983, pp. 31–35
Brachman, R.J., Levesque, H.J., The Tractability of Subsumption in Frame-Based Description Languages, in: AAAI-84, pp. 34–37, 1984
Brachman, R.J., I Lied about the Trees, in: AI magazine, Vol 6, No 3, pp. 80–93, 1985
Brachman, R.J., Schmölze, J.G., An Overview of the KL-ONE Knowledge Representation System, in: Cognitive Science, Vol 9, No 2, 1985
Brachman, R.J., Pigman, V., Levesque, H.J., An Essential Hybrid Reasoning System, in: IJCAI-85, pp. 532–539, 1985
Bobrow, D.G., Winograd, T., An Overview of KRL-0, a Knowledge Represenation Language, in: Cognitive Science, Vol 1, No 1, 1977, pp. 3–46
Emde, W., v. Luck, K., Schmiedel, A., Eine neue Implementation von SRL, in: Laubsch, J. (ed.), GWAI-84, 1984, pp. 219–228
Habel, Ch., Zur Repräsentation der referentiellen Struktur, in: Rollinger, C.-R. (ed.), Probleme des (Text-) Verstehens - Ansätze der Künstlichen Intelligenz, Tübingen: Niemeyer, 1984, pp. 125–142
Hayes, P.J., The Naive Physics Manifesto, in: Michie, D. (ed.), Expert Systems in the Microelectronic Age, Edinburgh: Univ. Press, 1979, pp. 242–270
Levesque, H.J., A Formal Treatment of Incomplete Knowledge Bases, Ph.D. Thesis, Tech. Report CSRG-139, Computer Systems Research Group, University of Toronto, Toronto, 1982
Levesque, H.J., Foundations of a Functional Approach to Knowledge Representation, AI Vol 23, No 2, 1984a pp. 155–212
Levesque, H.J., A Fundamental Tradeoff in Knowledge Representation and Reasoning, in: Proc. of Canadian Conf. on AI 1984b, pp. 141–152
Lipkis, T., A KL-ONE Classifier, in: Schmölze, J.G., Brachman, R.J. (eds.), Proceedings of the 1981 KL-One Workshop, Report No. 4842, Bolt Beranek and Newman Inc., Cambridge (MA), 1982, pp. 128–145
Luck, K.v., Nebel, B., Peltason, Ch., Schmiedel, A., The BACK-System, TU-Berlin, KIT-Report 28, Aug. 1985
Vilain, M., The Restricted Language Architecture of a Hybrid Representation System, in: IJCAI-85, pp. 547–551, 1985
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
von Luck, K., Nebel, B., Peltason, C., Schmiedel, A. (1986). BACK to Consistency and Incompleteness. In: Stoyan, H. (eds) GWAI-85. Informatik-Fachberichte, vol 118. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-71145-9_21
Download citation
DOI: https://doi.org/10.1007/978-3-642-71145-9_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16451-7
Online ISBN: 978-3-642-71145-9
eBook Packages: Springer Book Archive