A temporal-interactivist perspective on the dynamics of mental states

Cognitive Systems Research

Volumn 4, Issue 2, 2003, Pages 137-155

  Jonker, Catholijn M ^a   Treur, Jan ^a,b  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Dynamics, Interactivist, Temporal; Mental state

Indexed keywords

ARTICLE; ARTIFICIAL INTELLIGENCE; BEHAVIOR; COGNITION; CONCEPT FORMATION; CORRELATION ANALYSIS; DYNAMICS; ENVIRONMENT; LANGUAGE; PRIORITY JOURNAL; SEMANTICS; SOCIAL INTERACTION; TRUST;

EID: 2442575713     PISSN: 13890417     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1389-0417(02)00103-1     Document Type: Article

References (30)

1. Barringer H. Fisher M. Gabbay D. Owens R. Reynolds M. The imperative future: principles of executable temporal logic 1996 John Wiley New York
2. Bickhard M.H. Representational content in humans and machines Journal of Experimental and Theoretical Artificial Intelligence 5 1993 285-333
3. Bickhard M.H. Information and representation in autonomous agents Journal of Cognitive Systems Research 1 2000 285-333
4. Busemeyer J. Townsend J.T. Decision field theory: a dynamic-cognitive approach to decision making in an uncertain environment Psychological Review 100 1993 432-459
5. Clapin, H., Staines, P., & Slezak, P. (Eds.), (2000). Proceedings of the international conference on representation in mind: new theories of mental representation, 27-29th June 2000. University of Sydney, Westport, CT, USA: Greenwood Publishers 2002.
6. Christensen, W. D., & Hooker, C. A. (2000). Representation and the meaning of life. In H. Clapin, P. Staines, - Slezak, P. (Eds.), Proceedings of the international conference on representation in mind: new theories of mental representation, 27-29th June 2000. University of Sydney (in press).
7. Clark A. Being there: putting brain, body and world together again 1997 MIT Press Cambridge, MA, USA
8. Clark A. Where brain, body, and world collide Journal of Cognitive Systems Research 1 1999 5-17
9. Clarke E.M. Grumberg O. Peled D.A. Model checking 2000 MIT Press Cambridge, MA, USA
10. Engelfriet J. Treur J. Temporal theories of reasoning Journal of Applied Non-Classical Logics 5 1995 239-261
11. Engelfriet J. Treur J. An interpretation of default logic in minimal temporal epistemic logic Journal of Logic, Language and Information 7 1998 369-388
12. Engelfriet J. Marek V.W. Treur J. Truszczinski M. Default logic and specification of non-monotonic reasoning Journal of Experimental and Theoretical AI 13 2001 99-112
13. Fisher M. Wooldridge M. On the formal specification and verification of multi-agent systems International Journal of Co-operative Information Systems 6 1997 37-65
14. Gamboa R. Continuity and differentiability in ACL2 In Kaufmann M. Manolios P. Moore J.S. (Eds.), Computer-aided reasoning: ACL2 case studies 2000 301-316 Kluwer Academic Publishers Dordrecht
15. Gamboa R. Kaufmann M. Non-standard analysis in ACL2 Journal of Automated Reasoning 27 2001 323-351
16. Jackson F. Pettit P. Program explanation: a general perspective Analysis 50 1990 107-117
17. Jonker C.M. Treur J. Formal analysis of models for the dynamics of trust based on experiences In Garijo F.J. Boman M. (Eds.), Multi-agent system engineering, proceedings of the 9th European workshop on modelling autonomous agents in a multi-agent world, MAAMAW'99 Lecture notes in AI Vol. 1647 1999 221-232 Springer VerlagBerlin
18. Kelso J.A.S. Dynamic patterns: the self-organisation of brain and behaviour 1995 MIT Press Cambridge, MA
19. Kim J. Philosophy of mind 1996 Westview
20. Kim J. Mind in a physical world: an essay on the mind-body problem and mental causation 1998 MIT Press Cambridge, MA
21. Manna Z. Pnueli A. Temporal verification of reactive systems: safety 1995 Springer Verlag Berlin
22. Meyer, J.-J., & Treur, J. (Vol. Eds.), (2001). Dynamics and management of reasoning processes. Series in defeasible reasoning and uncertainty management systems (Gabbay, D., Smets, Ph., Series Eds.), Dordrecht: Kluwer Academic Publishers.
23. Port R.F. Van Gelder T. (Eds.), Mind as motion: explorations in the dynamics of cognition 1995 MIT Press Cambridge, MA
24. Reiter R. Knowledge in action: logical foundations for specifying and implementing dynamical systems 2001 MIT Press Cambridge, MA
25. Stirling C. Modal and temporal properties of processes 2001 Springer Verlag Berlin
26. Townsend J.T. Busemeyer J. Dynamic representation in decision making In Port R.F. Van Gelder T. (Eds.), Mind as motion: explorations in the dynamics of cognition 1995 101-120 MIT Press Cambridge, MA
27. Treur J. Formal semantics of meta-level architectures: dynamic control of reasoning International Journal of Intelligent Systems 17 2002 545-568
28. van Eck P.A.T. Engelfriet J. Fensel D. van Harmelen F. Venema Y. Willems M. A survey of languages for specific dynamics: a knowledge engineering perspective IEEE Transactions on Knowledge and Data Engineering 133 2001 462-496 May/June, 2001
29. van Geert P. A dynamic systems model of cognitive and language growth Psychological Review 98 1991 3-56
30. van Geert P. Growth dynamics in development In Port R.F. Van Gelder T. (Eds.), Mind as motion: explorations in the dynamics of cognition 1995 101-120 MIT Press Cambridge, MA