Abstract
Due to the intractability of providing the full set of higher-order logical inferences, the introduction of higher-order concepts Into knowledge representation formalisms is usually avoided. In fact, this needn’t be so. We present the knowledge representation of the knowledge acquisition system BLIP, and describe how higher-order concepts are represented by using metapredlcates We then show that metapredicates have the necessary properties to qualify for inclusion in a knowledge representation: they can be given a precise semantics, and allow a natural set of Inferences to be provided effectively. We specify the inference rules for the representation, and prove they are fact-complete and tractable.
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
Brachman, Ronald J., and Schmolze, J. G., An Overview of the KL-ONE Knowledge Representation System,“ in Cognitive Science. Vol., 9, 1985.
Emde, Werner, “IM 2.0 - Eine Inferenzmaschine fur ein lernendes System,” forthcoming.
Emde, Werner, and Mork. Katharina, “The BLIP system,” KIT-REPORT 32, Techn. Univ. Berlin, February 1986.
Hebei, Christopher, and Rollinger, Claus-Rainer, “Aspekte der rechnergestutzten Generierung von lnferenzregeln durch Regelschemata,” in Proc. GWAI-81, ed. J. Siekmann, Springer-Verlag, Berlin, 1981.
Hobbs, Jerry R., Discourse and inference, chapter 2, Draft, Stanford University, June, 1986.
McCarthy, John, “First-order Theories of Individual Concepts and Propositions,” in Machine intelligence 9, ed. J. Hayes, D. Mlchie, and L. Mikulich, pp. 129–147, reprinted in Readings in Knowledge Representation, ed. R. Brachman and H. Levesque, pp. 523–533, Morgan Kaufman, Los Altos, CA, 1985.
Mendelson, Elliot, introduction to MATHEMATICAL LOGIC, pp. 49ff, Van Nostrand, New York, 1964.
Mork, Katharina, “Acquiring Domain Models,” in Proc. of the Knowledge Acquisition for Knowledge–Based Systems Workshop,pp. 32–0–32–15, Banff, Canada, Nov. 1986. (Also to appear in Int. Journal of Man–Machine Studies)
Levesque, Hector J., and Brachman, Ronald. J., “A Fundamental Tradeoff in Knowledge Representation and Reasoning (Revised Version),” in Readings In Knowledge Representation, ed. R. Brachman and H. Levesque, pp. 41–70, Morgan Kaufman, Los Altos. CA, 1985.
Nebel, Bernhard, “Computational Complexity of Terminological Reasoning in BACK,” forthcoming.
Patel-Schneider, Peter F., “A Four-Valued Semantics for Frame-Based Description Languages,” In Proc. AAAI-86, pp. 344–348, Morgan Kaufman, Los Altos, CA, 1986.
Perlis, Donald, “Languages with Self-Reference I: Foundations (or: We Can Have Everything in First-Order Logici)’, Artificial Intelligence 25, pp. 301–322, 1985.
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
Wrobel, S. (1987). Higher-order Concepts in a Tractable Knowledge Representation. 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_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-73005-4_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18388-4
Online ISBN: 978-3-642-73005-4
eBook Packages: Springer Book Archive