ABSTRACT
Classical approaches to representational content are based on correlations between an agent's internal state properties and external state properties; cf., pp. 191–193. The specifications of the representational content of the internal state properties have been validated by automatically checking them on the traces generated by the simulation model. Moreover, by mathematical proof it was shown how these specifications are entailed by the basic local properties. This shows that the internal state properties indeed fulfil the representational content specification. Dynamic properties for the basic dynamics of the neural conditioning mechanism of the sea hare Aplysia have been identified, and a simulation model has been made. It is analysed whether the traces generated by this simulation model validate the formal specifications of the representational content of internal state properties created by conditioning.
