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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bickhard, M.H.: Representational Content in Humans and Machines. Journal of Experimental and Theoretical Artificial Intelligence 5, 285–333 (1993)
Clark, A.: Being There: Putting Brain, Body and World Together Again. MIT Press, Cambridge (1997)
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)
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)
Jonker, C.M., Treur, J.: A Temporal-Interactivist Perspective on the Dynamics of Mental States. Cognitive Systems Research Journal 4, 137–155 (2003)
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)
Keijzer, F.: Representation in Dynamical and Embodied Cognition. Cognitive Systems Research Journal 3, 275–288 (2002)
Kim, J.: Philosophy of Mind. Westview Press, Boulder (1996)
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)
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)
Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)
Sun, R.: Symbol grounding: a new look at an old idea. Philosophical Psychology 13(2), 149–172 (2000)
Sun, R.: Duality of the Mind. Lawrence Erlbaum Associates (2002)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)
