Skip to main content

Order dependence of declarative knowledge representation

  • Conference paper
  • First Online:
  • 141 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 437))

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.

Unable to display preview. Download preview PDF.

References

  1. R. J. Brachman and J. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, 9(2):171–216, 1985.

    Google Scholar 

  2. Ronald J. Brachman. On the epistemological status of semantic networks. In Nicholas Findler, editor, Associative Networks. Academic Press, New York, 1979.

    Google Scholar 

  3. Ronald J. Brachman and Hector J. Levesque. Readings in Knowledge Representation. Morgan Kaufmann Publishers Inc., Los Altos, California, 1985.

    Google Scholar 

  4. L. Brownston, R. Farrell, E. Kant, and N. Martin. Programming Expert Systems in OPS5. Addison-Wesley, Reading, MA, 1985.

    Google Scholar 

  5. Herbert H. Clark and Eve V. Clark. Psychology and Language. Harcourt Brace Jovanovic, New York, 1977.

    Google Scholar 

  6. 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.

    Google Scholar 

  7. James Geller. A Knowledge Representation Theory for Natural Language Graphics. PhD thesis, SUNY at Buffalo, CS Department, 1988.

    Google Scholar 

  8. Stevan Harnad. The symbol grounding problem. Physica D, forthcoming.

    Google Scholar 

  9. Eduard H. Hovy. Planning coherent multisentential text. In 26th Annual Meeting of the Association for Computational Lingusitics, pages 163–169. ACL, 1988.

    Google Scholar 

  10. Peter Jackson. Introduction to Expert Systems. Addison-Wesley, Reading, MA, 1986.

    Google Scholar 

  11. 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.

    Google Scholar 

  12. John McCarthy. Programs with common sense. In M. Minsky, editor, Semantic Information Processing, pages 403–418. The MIT Press, Cambridge, MA, 1968.

    Google Scholar 

  13. J. Pitrat. Declarative knowledge representation. In L. Bolc, editor, Natural Language Processing, pages 93–135. Springer Verlag, New York, 1987.

    Google Scholar 

  14. M. Ross Quillian. Semantic memory. In Marvin L. Minsky, editor, Semantic Information Processing, pages 227–270. The MIT Press, 1968.

    Google Scholar 

  15. Eleanor Rosch. Principles of categorization. In Eleanor Rosch and Barbara Lloyd, editors, Cognition and Categorization, pages 27–48. Lawrence Erlbaum, 1978.

    Google Scholar 

  16. R. C. Schank. Conceptual Information Processing. North-Holland Publishing Company, 1975.

    Google Scholar 

  17. 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.

    Google Scholar 

  18. Stuart C. Shapiro and Anthony S. Maida. Intensional concepts in propositional semantic networks. Cognitive Science, 6:170–189, 1982.

    Google Scholar 

  19. 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.

    Google Scholar 

  20. 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.

    Google Scholar 

  21. E. Tulving. Elements of Episodic Memory. Clarendon, Oxford, UK, 1983.

    Google Scholar 

  22. R. M. Weischedel. Knowledge representation and natural language processing. Proceedings of the IEEE, 74(7):905–920, 1986.

    Google Scholar 

  23. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

D. Kumar

Rights and permissions

Reprints 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

Publish with us

Policies and ethics