Abstract
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.
Preview
Unable to display preview. Download preview PDF.
References
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.
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.
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.
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.
Chang, C.C., Keisler, H.J., Model theory, North Holland, 1973.
Dalen, D. van, Logic and Structure, Springer Verlag, 1980.
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.
Harman, G. Some Philosophical Issues in Cognitive Science: Qualia, Intentionality, and the Mind-Body Problem. In: (Posner, 1989), pp. 831–848.
Hofstadter, D., Gödel, Escher, Bach: an Eternal Golden Braid. Basic Books, New York, 1979.
Hodges, W., Model theory, Cambridge University Press, 1993.
Laird, J.E., Newell, A., Rosenbloom, P.S., Soar: An architecture for general intelligence. Artificial Intelligence 33 (1987), pp. 1–64.
Lindsay, P.H. Norman, D.A., Human Information Processing. Academic Press, 1977.
Newell, A., Physical Symbol Systems, Cognitive Science 2 (1980), pp. 135–184.
Newell, A., Rosenbloom, P.S., Laird, J.E., Symbolic Architectures for Cognition. In: [Posner, 1989], pp. 93–132.
Posner, M.I. (ed.), Foundations of Cognitive Science. MIT Press, 1989.
Pylyshyn, Z.W., Do mental events have durations? Behavioral and Brain Sciences, vol. 2 (1979), pp. 277–278.
Pylyshyn, Z.W., Computation and Cognition: Towards a Foundation for Cognitive Science. MIT Press, 1984.
Pylyshyn, Z.W., Computing in Cognitive Science. In: [Posner, 1989], pp. 49–92.
Simon, H.A., Kaplan, C.A., Foundations of Cognitive Science. In: [Posner, 1989], pp. 1–48.
Smith, B.C., Reflection and semantics in a procedural language. MIT Comp. Science Tech. Report 272, Cambridge, Massachusetts, 1982.
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.
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.
Treur, J., Completeness and definability in diagnostic expert systems, In Proceedings European Conference on Artificial Intelligence, ECAI-88, 1988, pp. 619–624.
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.
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.
Weyhrauch, R.W., Prolegomena to a theory of mechanized formal reasoning, Artificial Intelligence 13 (1980), p 133–170.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jonker, C.M., Treur, J. (1997). Modelling an agent's mind and matter. In: Boman, M., Van de Velde, W. (eds) Multi-Agent Rationality. MAAMAW 1997. Lecture Notes in Computer Science, vol 1237. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63077-5_35
Download citation
DOI: https://doi.org/10.1007/3-540-63077-5_35
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63077-7
Online ISBN: 978-3-540-69125-9
eBook Packages: Springer Book Archive