Modelling an agent's mind and matter

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


In agent models often it is assumed that the agent maintains internal representations of the material world (e.g., its beliefs). An overall model of the agent and the material world necessarily incorporates sub-models for physical simulation and symbolic simulation, and a formalisation of the (static and dynamic) representation relation between the two types of sub-models. If it is also taken into account that the agent's mind has a materialisation in the form of a brain, the relations between mind and matter become more complex. The question of how the different types of interaction between mind and matter of an agent and the material world can be modelled in a semantically sound manner is the main topic of this paper. The model can be used to simulate a variety of phenomena in which (multiple) mind-matter interactions occur, such as sensing, acting, (planned) birth and death, causing brain damage, and psychosomatic diseases.


Symbolic Representation Material World Information Link Material Representation Agent Task 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Brazier, F.M.T., Dunin-Keplicz, B., Jennings, N.R. and Treur, J. Formal specification of Multi-Agent Systems: a real-world case. In: V. Lesser (ed.), Proceedings of the First International Conference on Multi-Agent Systems, ICMAS'95, MIT Press, Cambridge, MA, 1995, pp. 25–32.Google Scholar
  2. Brazier, F.M.T., Dunin-Keplicz, B., Jennings, N.R. and Treur, J. DESIRE: modelling multiagent systems in a compositional formal framework, International Journal of Cooperative Information Systems, M. Huhns, M. Singh, (eds.), special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems, vol. 6, 1997, pp. 67–94.Google Scholar
  3. Brazier, F.M.T., Jonker, C.M., Treur, J., Formalisation of a cooperation model based on joint intentions. In: J.P. Müller, M.J. Wooldridge, N.R. Jennings (eds.), Intelligent Agents III (Proc. of the Third International Workshop on Agent Theories, Architectures and Languages, ATAL'96), Lecture Notes in AI, volume 1193, Springer Verlag, 1997, pp. 141–155.Google Scholar
  4. Brazier, F.M.T., Treur, J., Wijngaards, N.J.E. and Willems, M. Temporal semantics of complex reasoning tasks. In: B.R. Gaines, M.A. Musen (eds.), Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'96, Calgary: SRDG Publications, Department of Computer Science, University of Calgary, 1996, pp. 15/1–15/17.Google Scholar
  5. Chang, C.C., Keisler, H.J., Model theory, North Holland, 1973.Google Scholar
  6. Dalen, D. van, Logic and Structure, Springer Verlag, 1980.Google Scholar
  7. Engelfriet, J., Treur, J., Temporal Theories of Reasoning. In: C. MacNish, D. Pearce, L.M. Pereira (eds.), Logics in Artifical Intelligence, Proceedings of the 4th European Workshop on Logics in Artificial Intelligence, JELIA '94, Springer Verlag, 1994, pp. 279–299. Also in: Journal of Applied Non-Classical Logics 5 (1995), pp. 239–261.Google Scholar
  8. Harman, G. Some Philosophical Issues in Cognitive Science: Qualia, Intentionality, and the Mind-Body Problem. In: (Posner, 1989), pp. 831–848.Google Scholar
  9. Hofstadter, D., Gödel, Escher, Bach: an Eternal Golden Braid. Basic Books, New York, 1979.Google Scholar
  10. Hodges, W., Model theory, Cambridge University Press, 1993.Google Scholar
  11. Laird, J.E., Newell, A., Rosenbloom, P.S., Soar: An architecture for general intelligence. Artificial Intelligence 33 (1987), pp. 1–64.Google Scholar
  12. Lindsay, P.H. Norman, D.A., Human Information Processing. Academic Press, 1977.Google Scholar
  13. Newell, A., Physical Symbol Systems, Cognitive Science 2 (1980), pp. 135–184.Google Scholar
  14. Newell, A., Rosenbloom, P.S., Laird, J.E., Symbolic Architectures for Cognition. In: [Posner, 1989], pp. 93–132.Google Scholar
  15. Posner, M.I. (ed.), Foundations of Cognitive Science. MIT Press, 1989.Google Scholar
  16. Pylyshyn, Z.W., Do mental events have durations? Behavioral and Brain Sciences, vol. 2 (1979), pp. 277–278.Google Scholar
  17. Pylyshyn, Z.W., Computation and Cognition: Towards a Foundation for Cognitive Science. MIT Press, 1984.Google Scholar
  18. Pylyshyn, Z.W., Computing in Cognitive Science. In: [Posner, 1989], pp. 49–92.Google Scholar
  19. Simon, H.A., Kaplan, C.A., Foundations of Cognitive Science. In: [Posner, 1989], pp. 1–48.Google Scholar
  20. Smith, B.C., Reflection and semantics in a procedural language. MIT Comp. Science Tech. Report 272, Cambridge, Massachusetts, 1982.Google Scholar
  21. Smith, B.C., Prologue to Reflection and Semantics in a Procedural Language. In: Brachman, R.J., Levesque, H.J. (eds.), Readings in Knowledge Representation. Morgan Kaufman, 1985, pp. 31–40.Google Scholar
  22. Tarski, A., Der Wahrheitsbegriff in den formalisierten Sprachen. Studia Philosophica, 1:261–405, 1936. English translation: A. Tarski, Logic, Semantics, Metamathematics. Oxford University Press, 1956.Google Scholar
  23. Treur, J., Completeness and definability in diagnostic expert systems, In Proceedings European Conference on Artificial Intelligence, ECAI-88, 1988, pp. 619–624.Google Scholar
  24. Treur, J., Declarative functionality descriptions of interactive reasoning modules, In H. Boley, M.M. Richter (eds.) Proceedings International Workshop on Processing of Declarative Knowledge, PDK'91, Lecture Notes in Artificial Intelligence, vol. 567, Springer-Verlag, 1991, pp. 221–236.Google Scholar
  25. Treur, J., Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning. In: L. Fribourg, F. Turini (ed.), Logic Program Synthesis and Transformation — Meta-Programming in Logic (Proc. of the Fourth International Workshop on Meta-Programming in Logic, META'94), Lecture Notes in Computer Science, vol. 883, Springer Verlag, 1994, pp. 353–376.Google Scholar
  26. Weyhrauch, R.W., Prolegomena to a theory of mechanized formal reasoning, Artificial Intelligence 13 (1980), p 133–170.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Catholijn M. Jonker
    • 1
  • Jan Treur
    • 1
  1. 1.Department of Mathematics and Computer Science Artificial Intelligence GroupVrije Universiteit AmsterdamHV AmsterdamThe Netherlands

Personalised recommendations