This paper presents this algorithm, gives demonstrations of an implemented system, and describes the results of some preliminary empirical studies, which lend support to the algorithm

William J. end Shapiro, Stuart C. (1984), "Quasi-lndexical Reference in Propositional Semantic Networks, " Proceedings of the loth International Conference on Computational Linguistics ( COLING-84 ; Stanford Univ.) (Morristown, NJ: Assoc. for Computational Linguistics): 65-70. Rapaport, William J. (1986), "Logical Foundations for Belief Representation," Cognitiv e Science 10: 371-422. Reiser, Brian J. (1981), "Character Tracking and the Understanding of Narrative," Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI-81; Van. couver) (Los Altos, CA: Morgen Kanhmmn): 209-211. Roach, Eleanor and Lloyd, B.B. (1978). Cognition and Categorization (Hillsdale, NJ: Lawrence Erlbaum Associ- ates). Shapiro, Smart C. (1979). "The SNePS Sementic Network Processing System," in N.V. Findlet (ed.), Associative Network. v (New York: Academic): 179-203. Shapiro, Stuart C. end Rapaport, William J. (1987). "SNePS Considered as a Fully Intensional Propositional S