Artificial intelligence publications July 1, 1975 Journal ArticleDeductive Retrieval Mechanisms for State Description Models SRI International July 1, 1975 Abstract This paper presents some programming facilities for modeling the semantics of a task domain and for describing the situations that occur in that domain as a task is being carried out. ↓ Download ↓ Download Share this