Representational Content and the Reciprocal Interplay of Agent and Environment

  • Tibor Bosse
  • Catholijn M. Jonker
  • Jan Treur
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3476)

Abstract

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 temporalinteractivist 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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bickhard, M.H.: Representational Content in Humans and Machines. Journal of Experimental and Theoretical Artificial Intelligence 5, 285–333 (1993)CrossRefGoogle Scholar
  2. 2.
    Clark, A.: Being There: Putting Brain, Body and World Together Again. MIT Press, Cambridge (1997)Google Scholar
  3. 3.
    Jonker, C.M., Snoep, J.L., Treur, J., Westerhoff, H.V., Wijngaards, W.C.A.: BDI-Modelling of Intracellular Dynamics. In: Williams, A.B., Decker, K. (eds.) Proc. of the First International Workshop on Bioinformatics and Multi-Agent Systems, BIXMAS 2002, pp. 15–23 (2002)Google Scholar
  4. 4.
    Jonker, C.M., Treur, J.: Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness. International Journal of Cooperative Information Systems 11, 51–92 (2002)CrossRefMathSciNetGoogle Scholar
  5. 5.
    Jonker, C.M., Treur, J.: A Temporal-Interactivist Perspective on the Dynamics of Mental States. Cognitive Systems Research Journal 4, 137–155 (2003)CrossRefGoogle Scholar
  6. 6.
    Jonker, C.M., Treur, J., Wijngaards, W.C.A.: A Temporal Modelling Environment for Internally Grounded Beliefs, Desires and Intentions. Cognitive Systems Research Journal 4(3), 191–210 (2003)CrossRefGoogle Scholar
  7. 7.
    Keijzer, F.: Representation in Dynamical and Embodied Cognition. Cognitive Systems Research Journal 3, 275–288 (2002)CrossRefGoogle Scholar
  8. 8.
    Kim, J.: Philosophy of Mind. Westview Press, Boulder (1996)Google Scholar
  9. 9.
    Pokorny, L.R., Ramakrishnan, C.R.: Modeling and Verification of Distributed Autonomous Agents using Logic Programming. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 148–165. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  10. 10.
    Pozos Parra, P., Nayak, A., Demolombe, R.: Theories of Intentions in the Framework of Situation Calculus. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 19–34. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  11. 11.
    Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)MATHGoogle Scholar
  12. 12.
    Sun, R.: Symbol grounding: a new look at an old idea. Philosophical Psychology 13(2), 149–172 (2000)CrossRefGoogle Scholar
  13. 13.
    Sun, R.: Duality of the Mind. Lawrence Erlbaum Associates (2002)Google Scholar
  14. 14.
    Vasconcelos, W.W.: Norm Verification and Analysis of Electronic Institutions. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 166–182. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  15. 15.
    Vardi, M.Y.: Branching vs. Linear Time: Final Showdown. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol. 2031, pp. 1–22. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  16. 16.
    Walton, C.: Model Checking Agent Dialogues. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 132–147. Springer, Heidelberg (2005)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Tibor Bosse
    • 1
  • Catholijn M. Jonker
    • 1
  • Jan Treur
    • 1
    • 2
  1. 1.Department of Artificial IntelligenceVrije Universiteit AmsterdamAmsterdamThe Netherlands
  2. 2.Department of PhilosophyUtrecht UniversityUtrecht

Personalised recommendations