1 Computational Foundations for Perceptual Symbol System

We describe computational foundations for Perceptual Symbol System (PSS). This requires new mathematical methods of dynamic logic (DL), which have overcome limitations of classical artificial intelligence and connectionist approaches. The paper discusses these past limitations, relates them to combinatorial complexity (exponential explosion) of algorithms in the past, and further to the static nature of classical logic. The new mathematical theory, DL, is a process-logic. We apply it to one aspect of PSS, learning of situations from object perceptions. We relate DL to essential PSS mechanisms of concepts, simulators, grounding. Experimental neuroimaging evidence for DL and PSS in brain imaging is discussed as well as future research directions