TY - JOUR
T1 - Representation for Reciprocal Agent-Environment Interaction
AU - Bosse, T.
AU - Jonker, C.M.
AU - Treur, J.
PY - 2009
Y1 - 2009
N2 - Declarative modelling approaches in principle assume a notion of representation or representational content for the modelling concepts. The notion of representational content as discussed in literature in cognitive science and philosophy of mind shows complications as soon as agent and environment have an intense reciprocal interaction. In such cases an internal agent state is affected by the way in which internal and external aspects are interwoven during (ongoing) interaction. In this paper it is shown that the classical correlational approach to representational content is not applicable, but the temporal-interactivist approach is. As this approach involves more complex temporal relationships, formalisation was used to define specifications of the representational content more precisely. These specifications have been validated by automatically checking them on traces generated by a simulation model. Moreover, by mathematical proof it was shown how these specifications are entailed by the basic local properties. © 2009 Elsevier B.V. All rights reserved.
AB - Declarative modelling approaches in principle assume a notion of representation or representational content for the modelling concepts. The notion of representational content as discussed in literature in cognitive science and philosophy of mind shows complications as soon as agent and environment have an intense reciprocal interaction. In such cases an internal agent state is affected by the way in which internal and external aspects are interwoven during (ongoing) interaction. In this paper it is shown that the classical correlational approach to representational content is not applicable, but the temporal-interactivist approach is. As this approach involves more complex temporal relationships, formalisation was used to define specifications of the representational content more precisely. These specifications have been validated by automatically checking them on traces generated by a simulation model. Moreover, by mathematical proof it was shown how these specifications are entailed by the basic local properties. © 2009 Elsevier B.V. All rights reserved.
U2 - 10.1016/j.cogsys.2008.11.002
DO - 10.1016/j.cogsys.2008.11.002
M3 - Article
SN - 1389-0417
VL - 10
SP - 366
EP - 376
JO - Cognitive Systems Research
JF - Cognitive Systems Research
ER -
