Skip to main content

Representational Content and the Reciprocal Interplay of Agent and Environment

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNAI,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.

Keywords

  • Model Check
  • Representational Content
  • State Ontology
  • Correlational Approach
  • Sensory Representation

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bickhard, M.H.: Representational Content in Humans and Machines. Journal of Experimental and Theoretical Artificial Intelligence 5, 285–333 (1993)

    CrossRef  Google Scholar 

  2. Clark, A.: Being There: Putting Brain, Body and World Together Again. MIT Press, Cambridge (1997)

    Google Scholar 

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

    CrossRef  MathSciNet  Google Scholar 

  5. Jonker, C.M., Treur, J.: A Temporal-Interactivist Perspective on the Dynamics of Mental States. Cognitive Systems Research Journal 4, 137–155 (2003)

    CrossRef  Google Scholar 

  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)

    CrossRef  Google Scholar 

  7. Keijzer, F.: Representation in Dynamical and Embodied Cognition. Cognitive Systems Research Journal 3, 275–288 (2002)

    CrossRef  Google Scholar 

  8. Kim, J.: Philosophy of Mind. Westview Press, Boulder (1996)

    Google Scholar 

  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)

    CrossRef  Google Scholar 

  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)

    CrossRef  Google Scholar 

  11. Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)

    MATH  Google Scholar 

  12. Sun, R.: Symbol grounding: a new look at an old idea. Philosophical Psychology 13(2), 149–172 (2000)

    CrossRef  Google Scholar 

  13. Sun, R.: Duality of the Mind. Lawrence Erlbaum Associates (2002)

    Google Scholar 

  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)

    CrossRef  Google Scholar 

  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)

    CrossRef  Google Scholar 

  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)

    CrossRef  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bosse, T., Jonker, C.M., Treur, J. (2005). Representational Content and the Reciprocal Interplay of Agent and Environment. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds) Declarative Agent Languages and Technologies II. DALT 2004. Lecture Notes in Computer Science(), vol 3476. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11493402_16

Download citation

  • DOI: https://doi.org/10.1007/11493402_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-26172-8

  • Online ISBN: 978-3-540-31927-6

  • eBook Packages: Computer ScienceComputer Science (R0)