Abstract
It has been a widely accepted assumption among knowledge representation researchers that declarative knowledge representation is in some sense order independent. In this paper we will argue that there are a number of different possible senses of the term “order independent” and that one needs at least one type of order dependence to develop a cognitively valid knowledge representation system that takes knowledge acquisition into account.
We will distinguish between spatial, temporal, and conceptual order dependence. We argue that any system dealing with a changing knowledge base should maintain the conceptual order implied by the chronological order of the concepts it is acquiring. It will be shown for the SNePS (Semantic Network Processing System) system that order dependence can be incorporated without any changes to the theory or interpreter of the system.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
R. J. Brachman and J. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, 9(2):171–216, 1985.
Ronald J. Brachman. On the epistemological status of semantic networks. In Nicholas Findler, editor, Associative Networks. Academic Press, New York, 1979.
Ronald J. Brachman and Hector J. Levesque. Readings in Knowledge Representation. Morgan Kaufmann Publishers Inc., Los Altos, California, 1985.
L. Brownston, R. Farrell, E. Kant, and N. Martin. Programming Expert Systems in OPS5. Addison-Wesley, Reading, MA, 1985.
Herbert H. Clark and Eve V. Clark. Psychology and Language. Harcourt Brace Jovanovic, New York, 1977.
J. Doyle. A glimpse of truth-maintenance. In P. H. Winston and R. H. Brown, editors, Artificial Intelligence: An MIT Perspective, pages 119–135. The MIT Press, Cambridge, MA, 1982.
James Geller. A Knowledge Representation Theory for Natural Language Graphics. PhD thesis, SUNY at Buffalo, CS Department, 1988.
Stevan Harnad. The symbol grounding problem. Physica D, forthcoming.
Eduard H. Hovy. Planning coherent multisentential text. In 26th Annual Meeting of the Association for Computational Lingusitics, pages 163–169. ACL, 1988.
Peter Jackson. Introduction to Expert Systems. Addison-Wesley, Reading, MA, 1986.
Douglas B. Lenat and Edward A. Feigenbaum. On the threesholds of knowledge. In Proceedings of the tenth International Joint Conference on Artificial Intelligence, pages 1173–1182, Los Altos, CA, 1987. Morgan Kaufman Publishers.
John McCarthy. Programs with common sense. In M. Minsky, editor, Semantic Information Processing, pages 403–418. The MIT Press, Cambridge, MA, 1968.
J. Pitrat. Declarative knowledge representation. In L. Bolc, editor, Natural Language Processing, pages 93–135. Springer Verlag, New York, 1987.
M. Ross Quillian. Semantic memory. In Marvin L. Minsky, editor, Semantic Information Processing, pages 227–270. The MIT Press, 1968.
Eleanor Rosch. Principles of categorization. In Eleanor Rosch and Barbara Lloyd, editors, Cognition and Categorization, pages 27–48. Lawrence Erlbaum, 1978.
R. C. Schank. Conceptual Information Processing. North-Holland Publishing Company, 1975.
Stuart C. Shapiro. The sneps semantic network processing system. In Nicholas V. Findler, editor, Associative Networks: The Representation and use of Knowledge by Computers, pages 179–203. Academic Press, New York, 1979.
Stuart C. Shapiro and Anthony S. Maida. Intensional concepts in propositional semantic networks. Cognitive Science, 6:170–189, 1982.
Stuart C. Shapiro and William J. Rapaport. Sneps considered as a fully intensional propositional semantic network. In Nick Cercone and Gordon McCalla, editors, The Knowledge Frontier, pages 262–315. Springer Verlag, New York, 1987.
Stuart C. Shapiro, Sargur N. Srihari, Ming-Ruey Taie, and James Geller. Vmes: A network based versatile maintenance expert system. In Proc. of 1st International Conference on Applications of AI to Engineering Problems, pages 925–936, New York, April 1986. Springer Verlag.
E. Tulving. Elements of Episodic Memory. Clarendon, Oxford, UK, 1983.
R. M. Weischedel. Knowledge representation and natural language processing. Proceedings of the IEEE, 74(7):905–920, 1986.
Joseph Weizenbaum. Eliza-a computer program for the study of natural language communication between man and machine. Communications of the ACM, 9(1):36–45, 1966.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Geller, J. (1990). Order dependence of declarative knowledge representation. In: Kumar, D. (eds) Current Trends in SNePS — Semantic Network Processing System. SNePS 1989. Lecture Notes in Computer Science, vol 437. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022082
Download citation
DOI: https://doi.org/10.1007/BFb0022082
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52626-1
Online ISBN: 978-3-540-47081-6
eBook Packages: Springer Book Archive