Order dependence of declarative knowledge representation

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations


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.

Original languageEnglish (US)
Title of host publicationCurrent Trends in SNePS - Semantic Network Processing System - 1st Annual SNePS Workshop, Proceedings
EditorsDeepak Kumar
PublisherSpringer Verlag
Number of pages14
ISBN (Print)9783540526261
StatePublished - 1990
Event1st Annual Semantic Network Processing System Workshop, SNePS 1989 - Buffalo, United States
Duration: Nov 13 1989Nov 13 1989

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume437 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other1st Annual Semantic Network Processing System Workshop, SNePS 1989
Country/TerritoryUnited States

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Order dependence of declarative knowledge representation'. Together they form a unique fingerprint.

Cite this