Logical Foundations for Belief Representation

This essay presents a philosophical and computational theory of the representation of de re, de dicto, nested, and quasi-indexical belief reports expressed in natural language. The propositional Semantic Network Processing System (SNePS) is used for representing and reasoning about these reports. In particular, quasi-indicators (indexical expressions occurring in intentional contexts and representing uses of indicators by another speaker) pose problems far natural-language representation and reasoning systems, because—unlike pure indicators—they cannot be replaced by coreferential NPs without changing the meaning of the embedding sentence. Therefore, the referent of the quasi-indicator must be represented in such a way that no invalid coreferential claims are entailed. The importance of quasi-indicators is discussed, and it is shown that all four of the above categories of belief reports can be handled by a single representational technique using belief spaces containing intensional entities. Inference rules and belief-revision techniques for the system ore also examined.     

". . . On the Basis of Velocity Clues Alone": Some Perceptual Themes 1946-1996

Three factors that have transformed perceptual research in the last fifty years are the digital computer, single-unit electrophysiology, and molecular biology. Amongst the developments in which members of the Experimental Psychology Society have been central are: the recognition of the role of optic flow in spatial vision; the demonstration that our perceptual systems contain parallel pathways extracting different information from the sensory array; the identification of specific detectors that can be selectively adapted in psychophysical experiments; and the transfer of the concepts of fourier analysis from audition to vision. The history of Opponent Process Theory offers an example where experimental psychologists have been misled by too simple an interpretation of physiological recordings.