Abstract
In this paper the internal dynamics of mental states, in particular states based on beliefs, desires and intentions, is formalised using a temporal language. A software environment is presented that can be used to specify, simulate and analyse temporal dependencies between mental states in relation to traces of them. If also relevant data on internal physical states over time are available, these can be analysed with respect to their relation to mental states.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barringer, H., M. Fisher, D. Gabbay, R. Owens, & M. Reynolds (1996). The Imperative Future: Principles of Executable Temporal Logic, Research Studies Press Ltd. and John Wiley & Sons.
Bickhard, M.H. (1993). Representational Content in Humans and Machines. Journal of Experimental and Theoretical Artificial Intelligence, 5, pp. 285–333.
Bickle, J. (1998). Psychoneural Reduction: The New Wave. MIT Press, Cambridge, Massachusetts.
Chen, L. & Zhuo, Y., eds. (2001). Proceedings of the Third International Conference on Cognitive Science (ICCS’2001). Press of University of Science and Technology of China.
Christensen, W.D. & C.A. Hooker (2000). Representation and the Meaning of Life. In: [5].
Clapin, H., Staines, P. & Slezak, P. (2000). Proc. of the Int. Conference on Representation in Mind: New Theories of Mental Representation, 27–29th June 2000, University of Sydney. To be published by Elsevier.
Clark, K.L. (1978). Negation as Failure. Logic and Data Bases. Gallaire, H. & Minker, J. (eds), Plenum Press, New York, pp. 293-322.
Dennett, D.C. (1987). The Intentional Stance. MIT Press. Cambridge Massachusetts.
Hodges, W. (1993). Model Theory. Cambridge University Press.
Jonker, C.M., Treur, J. & de Vries, W. (2001). “Temporal Requirements for Anticipatory Reasoning about Intentional Dynamics in Social Contexts”, in: Y. Demazeau and F.J. Garijo (eds.), Proceedings of MAAMAW’2001 (Modelling Autonomous Agents in a Multi-Agent World), to appear in LNCS.
Linder, B. van, Hoek, W. van der & Meyer, J.-J. Ch. (1996). How to motivate your agents: on making promises that you can keep. In: Wooldridge, M.J., Müller, J. & Tambe, M. (eds.), Intelligent Agents II. Proc. ATAL’95 (pp. 17–32). Lecture Notes in AI, vol. 1037, Springer Verlag.
Port, R.F. & Gelder, T. van (eds.) (1995). Mind as Motion: Explorations in the Dynamics of Cognition. MIT Press, Cambridge, Massachusetts.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jonker, C.M., Treur, J., Wijngaards, W.C.A. (2002). A Modelling Environment for Mind and Matter Aspects of Intentional Behaviour. In: Dunin-Keplicz, B., Nawarecki, E. (eds) From Theory to Practice in Multi-Agent Systems. CEEMAS 2001. Lecture Notes in Computer Science(), vol 2296. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45941-3_15
Download citation
DOI: https://doi.org/10.1007/3-540-45941-3_15
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43370-5
Online ISBN: 978-3-540-45941-5
eBook Packages: Springer Book Archive