Abstract
In the last several years the hybrid approach to Knowledge Representation has received much attention, because it was felt that one monolithic knowledge representation formalism cannot meet all representational demands. In this paper we will present one particular hybrid knowledge representation system, BACK, concentrating on matters of how to integrate different subformalisms and their interpretation. In particular, `balancing the expressiveness’ of the respective subformalisms and combining the reasoning of the subsystems in a sound way is discussed. This will lead to a new view on the realization inference, first described by Mark, as a process of constraint propagation.
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 Universität Berlin, Universita di Bologna, Universität Hildesheim and Universita di Torino.
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.
Similar content being viewed by others
References
Ronald J. Brachman, Hector J. Levesque, The tractability of subsumption in frame-based description languages, in: Proc. AAAI-84, Austin (Tex.), August 1984, 34–37.
Ronald J. Brachman, James G. Schmolze, An overview of the KL-ONE knowledge representation system, in: Cognitive Science, 9(2), April-June 1985, 171–216.
Ronald J. Brachman, Victoria Pigman Gilbert, Hector J. Levesque, An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts in KRYPTON, in: Proc. 9th IJCAI, Los Angeles (Cal.), 1985, 532–539.
Jürgen Edelmann, Bernd Owsnicki, Data Models in Knowledge Representation Systems: A Case Study, in: C.-R. Rollinger, W. Horn (eds.), GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Springer, Berlin (Germany), 1986, 69–74.
Patrick J. Hayes, Some Problems and Non-Problems in Representation Theory, Proc. AISB Summer Conference, University of Sussex, 1974, 63–79.
Patrick J. Hayes, The Logic of Frames, in: D. Metzing (ed.), Frame Conceptions and Text Understanding, deGruyter, Berlin (Germany), 1979, 46–61.
Robert A. Kowalski, Contribution to the SIGART Special Issue on Knowledge Representation, in: SIGART Newsletter, No70, February 1980.
Hector J. Levesque, Making Believers out of Computers, Computers and Thougth Lecture at IJCAI-85, Los Angeles (Cal.), published in: Artificial Intelligence, 30(1), 1986, 81–108.
Tom Lipkis, A KL-ONE Classifier, in: J. G. Schmolze, R. J. Brachman (eds.), Proc. 1981 KL-ONE Workshop, BBN Technical Report 4842, Bolt, Berank and Newman, Inc., Cambridge (Mass.), 1982, 128–145.
Kai von Luck, Semantic Networks with Number Restricted Roles or Another Story about Clyde, in: C.-R. Rollinger, W. Horn (eds.), GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Springer, Berlin (Germany), 1986, 58–68.
Kai von Luck, Bernd Owsnicki-Klewe, Neuere KI-Formalismen zur Repräsentation von Wissen, to appear in: T. Christaller (ed.), Künstliche Intelligenz, Springer, Berlin (Germany ), 1987.
Kai von Luck, Bernhard Nebel, Christof Peltason, Albrecht Schmiedel, BACK to Consistencyand Incompleteness, in: H. Stoyan (ed.), GWAI-85, Springer, Berlin (Germany), 1986, 245–257.
Kai von Luck, Bernhard Nebel, Christof Peltason, Albrecht Schmiedel, The Anatomy of the BACK System, KIT Report 41, Technische Universität Berlin, Berlin (Germany ), January 1987.
Mark 82] William Mark, Realization, in:J. G. Schmolze, R. J. Brachman (eds.), Proc. 1981 KL-ONE Work-shop,BBN Technical Report 4842, Bolt, Berank and Newman, Inc., Cambridge (Mass.), 1982, 78–89.
John McCarthy, Pat Hayes, Some Philosophical Problems from the Standpoint of Artificial Intelligence, in: B. Meltzer, D. Michie (eds.), Machine Intelligence 4, Edinburgh University Press, Edinburgh (Great Britain), 1969, 463–502.
Drew McDermott, Tarskian semantics, or no notation without denotation!, in: Cognitive Science, 2(3), July-September 1978, 277–282.
Bernhard Nebel, Computational Complexity of Terminological Reasoning in BACK, to appear in: Artificial Intelligence, 1987.
Peter F. Patel-Schneider, Small can be Beautiful in Knowledge Representation, in: Proc.IEEE Workshop on Principles of Knowledge-Based Systems, Denver (Colo.), 1984, 11–16.
Peter F. Patel-Schneider, A Four-Valued Semantics for Frame-Based Description Lan-guages, in: Proc. AAAI-86, Philadelphia (Pa.), August 1986, 344–348.
Aaron Sloman, Why We Need Many Knowledge Representation Formalisms, in: M. Bramer (ed.), Research and Development in Expert Systems, Cambridge University Press, Cambridge (Great Britain), 1985.
Marc B. Vilain, The Restricted Language Architecture Of a Hybrid Representation System, in: Proc. 9th IJCAI, Los Angeles (Cal.), 1985, 547–551.
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
Nebel, B., von Luck, K. (1987). Issues of Integration and Balancing in Hybrid Knowledge Representation Systems. In: Morik, K. (eds) GWAI-87 11th German Workshop on Artifical Intelligence. Informatik-Fachberichte, vol 152. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-73005-4_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-73005-4_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18388-4
Online ISBN: 978-3-642-73005-4
eBook Packages: Springer Book Archive