Modelling the dynamics of reasoning processes: Reasoning by assumption

Cognitive Systems Research

Volumn 4, Issue 2, 2003, Pages 119-136

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

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Dynamic properties; Reasoning by assumption; Reasoning processes

Indexed keywords

ANALYTIC METHOD; ARTICLE; AUTOMATION; COGNITION; COMPUTER LANGUAGE; COMPUTER PROGRAM; COMPUTER SIMULATION; CONCEPT FORMATION; CONTROLLED STUDY; DYNAMICS; EMPIRICISM; FEASIBILITY STUDY; HUMAN; HUMAN EXPERIMENT; MATHEMATICAL MODEL; PRIORITY JOURNAL; PROBLEM SOLVING; SYSTEM ANALYSIS; THINKING; TIME;

EID: 0345707153     PISSN: 13890417     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1389-0417(02)00102-X     Document Type: Article

References (31)

1. Braine M.D.S. O'Brien D.P. (Eds.), Mental logic 1998 Lawrence Erlbaum London
2. Brazier F.M.T. Jonker C.M. Treur J. Principles of component-based design of intelligent agents Cuena J. Proceedings of the 15th IFIP World Computer Congress, WCC'98, conference on information technology and knowledge systems, IT-KNOWS'98 1998 347-360 Extended version in Data and Knowledge Engineering, 41 (2002) 1-28
3. Brazier F.M.T. Treur J. Compositional modelling of reflective agents International Journal of Human-Computer Studies 50 1999 407-431
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. Byrne R.M.J. Walsh C.R. Contradictions and counterfactuals: generating belief revision in conditional inference In Gray W.D. Schunn C.D. (Eds.), Proceedings of the 24th annual conference of the cognitive science society, CogSci 2002 2002 160-165 Lawrence Erlbaum Mahwah, NJ
6. Dechter R. Dechter A. Structure-driven algorithms for truth maintenance Artificial Intelligence 82 1996 1-20
7. Dieussaert K. Schaeken W. d'Ydewalle G. The quality of test context and contra evidence as a moderating factor in the belief revision process In Gray W.D. Schunn C.D. (Eds.), Proceedings of the 24th annual conference of the cognitive science society, CogSci 2002 2002 280-285 Lawrence ErlbaumMahwah, NJ
8. Doyle J. A truth maintenance system Artificial Intelligence 12 1979 231-272
9. De Kleer J. An assumption-based TMS Artificial Intelligence 28 1986 127-162
10. van Eck P.A.T. Engelfriet J. Fensel D. van Harmelen F. Venema Y. Willems M. A survey of languages for specifying dynamics: a knowledge engineering perspective IEEE Transactions on Knowledge and Data Engineering 13 2001 462-496
11. Engelfriet J. Marek V.W. Treur J. Truszczinski M. Default logic and specification of nonmonotonic reasoning Journal of Experimental and Theoretical AI 13 2001 99-112
12. Engelfriet J. Treur J. Temporal theories of reasoning Journal of Applied Non-Classical Logics 5 1995 239-261
13. Engelfriet J. Treur J. An interpretation of default logic in minimal temporal epistemic logic Journal of Logic, Language and Information 7 1998 369-388
14. Herlea D.E. Jonker C.M. Treur J. Wijngaards N.J.E. Specification of behavioural requirements within compositional multi-agent system design 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 8-27 Springer Verlag
15. Hölldobler S. Thielscher M. A new deductive approach to planning New Generation Computing 8 1990 225-244
16. Johnson-Laird P.N. Mental models 1983 Cambridge University Press Cambridge
17. Johnson-Laird P.N. Byrne R.M.J. Deduction 1991 Erlbaum Hillsdale, NJ
18. Jonker C.M. Treur J. Compositional verification of multi-agent systems: a formal analysis of pro-activeness and reactiveness In de Roever W.P. Langmaack H. Pnueli A. (Eds.), Proceedings of the international workshop on compositionality, COMPOS'97 Lecture Notes in Computer Science vol. 1536 1998 350-380 Springer Verlag Extended version in International Journal of Cooperative Information Systems, 11 (2002) 51-92
19. Jonker C.M. Treur J. Analysis of the dynamics of reasoning using multiple representations In Gray W.D. Schunn C.D. (Eds.), Proceedings of the 24th annual conference of the cognitive science society, CogSci 2002 2002 512-517 Lawrence Erlbaum Mahwah, NJ
20. Kelso J.A.S. Dynamic patterns: the self-organisation of brain and behaviour 1995 MIT Press Cambridge, MA
21. Kowalski R. Sergot M. A logic-based calculus of events New Generation Computing 4 1986 67-95
22. van Langevelde I.A. Treur J. Logical methods in protocol analysis In Linster M. Gaines B. (Eds.), Proceedings of the European knowledge acquisition workshop, EKAW'91, GMD-Studien 211 1992 162-183
23. Marek V.W. Truszczynski M. Nonmonotonic logics; context-dependent reasoning 1993 Springer-VerlagBerlin
24. McCarthy J. Hayes P. Some philosophical problems from the standpoint of artificial intelligence Machine Intelligence 4 1969 463-502
25. Meyer, J.-J. Ch. - Treur, J. (Vol. Eds.) (2001). Dynamics and management of reasoning processes. In Gabby, D. - Smets, Ph., Series Eds.), Series in defeasible reasoning and uncertainty management systems. Kluwer, Vol. 6.
26. Port R.F. van Gelder T. (Eds.), Mind as motion: explorations in the dynamics of cognition 1995 MIT PressCambridge, MA
27. Reiter R. A logic for default reasoning Artificial Intelligence 13 1980 81-132
28. Rips L.J. The psychology of proof: deductive reasoning in human thinking 1994 MIT Press Cambridge, MA
29. Schroyens W.J. Schaeken W. d'Ydewalle G. A meta-analytic review of conditional reasoning by model and/or rule: mental models theory revised Psychological report no. 278 2001 University of Leuven, Laboratory of Experimental Psychology
30. Yang Y. Johnson-Laird P.N. A study of complex reasoning: the case GRE 'logical' problems In Gernsbacher M.A. Derry S.J. (Eds.), Proceedings of the twenty first annual conference of the cognitive science society 1999 767-771
31. Yang Y. Bringsjord S. Mental metalogic: a new paradigm in psychology of reasoning. Extended abstract In Chen L. Zhuo Y. (Eds.), Proceedings of the third international conference on cognitive science, ICCS 2001, Beijing 2001 199-204