Formalization and analysis of reasoning by assumption

Cognitive Science

Volumn 30, Issue 1, 2006, Pages 147-180

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

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

Assumptions; Dynamics; Empirical traces; Formal analysis; Formalization; Human reasoning; Master Mind

Indexed keywords

EID: 33645466306     PISSN: 03640213     EISSN: None     Source Type: Journal    
DOI: 10.1207/s15516709cog0000_51     Document Type: Article

References (28)

1. Bosse, T., Jonker, C. M., Schut, M. C., & Treur, J. (2004). Modelling shared extended mind and collective representational content. In M. Bramer, F. Coenen, & T. Allen (Eds.), Research and Development in Intelligent Systems XXI, Proceedings of AI-2004, the 24th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence (pp. 19-32). New York: Springer Verlag.
2. Bosse, T., Jonker, C. M., & Treur, J. (2003). Simulation and analysis of controlled multi-representational reasoning processes. In F. Detje, D. Doerner, & H. Schaub (Eds.), Proceedings of the Fifth International Conference on Cognitive Modelling, ICCM'03 (pp. 27-32). Bamberg, Germany: Universitats-Verlag Bamberg.
3. Braine, M. D. S., & O'Brien, D. P. (Eds.). (1998). Mental logic. London: Lawrence Erlbaum Associates, Inc.
4. Brazier, F. M. T., Treur, J., Wijngaards, N. J. E., & Willems, M. (1999). Temporal semantics of compositional task models and problem solving methods. Data and Knowledge Engineering, 29, 17-42.
5. Byrne, R. M. J. (1989). Suppressing valid inferences with conditionals. Cognition, 31, 61-83.
6. Dardenne, A., van Lamsweerde, A., & Fickas, S. (1993). Goal-directed requirements acquisition. Science in Computer Programming, 20, 3-50.
7. Dubois, E., Du Bois, P., & Zeippen, J. M. (1995). A formal requirements engineering method for real-time, concurrent, & distributed systems. In Proceedings of the Real-Time Systems Conference, RTS'95. Paris.
8. Fensel, D., & van Harmelen, F. (1999). A comparison of languages which operationalize and formalize KADS models of expertise. Knowledge Engineering Review, 9, 105-146.
9. Herlea, D. E., Jonker, C. M., Treur, J., & Wijngaards, N. J. E. (1999). Specification of behavioural requirements within compositional multi-agent system design. Lecture Notes in AI, 1647, 8-27. Retrieved November 10, 2005, from http://www.iids.org/publications/ MAAMAW99.behreqs.pdf
10. Johnson-Laird, P. N. (1983). Mental models. Cambridge, England: Cambridge University Press.
11. Johnson-Laird, P. N., & Byrne, R. M. J. (1991). Deduction. Hillsdale, NJ: Lawrence Erlbaum Associates, Inc.
12. Jonker, C. M., & Treur, J. (1998). Compositional verification of multi-agent systems: A formal analysis of pro-activeness and reactiveness. Lecture Notes in Computer Science, 1536, 350-380. Extended version in: International Journal of Cooperative Information Systems, 11, 2002, pp. 51-92.
13. Jonker, C. M., & Treur, J. (2002). Analysis of the dynamics of reasoning using multiple representations. In W. D. Gray & C. D. Schunn (Eds.), Proceedings of the 24th Annual Conference of the Cognitive Science Society, CogSci 2002 (pp. 512-517). Mahwah, NJ: Lawrence Erlbaum Associates, Inc.
14. Jonker, C. M., & Treur, J. (2003). Modelling the dynamics of reasoning processes: Reasoning by assumption. Cognitive Systems Research Journal, 4, 119-136.
15. Kaufman, L., & Rousseeuw, P. (1990). Finding groups in data: An introduction to cluster analysis. New York: Wiley.
16. Klahr, D., & Dunbar, K. (1988). Dual space search during scientific reasoning. Cognitive Science, 12, 1-55.
17. Knuth, D. E. (1977). The computer as master mind. Journal of Recreational Mathematics, 9, 1-6.
18. Koyama, K., & Lai, T. W. (1993). An optimal mastermind strategy. Journal of Recreational Mathematics, 25, 251-265.
19. Kowalski, R., & Sergot, M. (1986). A logic-based calculus of events. New Generation Computing, 4, 67-95.
20. Nelson, T. (2000). A Brief History of the Master Mind™ Board Game. Retrieved November 10, 2005, from http://www.tnelson.demon.co.uk/ mastermind/history.html
21. Reiter, R. (2001). Knowledge in action: Logical foundations for specifying and implementing dynamical systems. Cambridge, MA: MIT Press.
22. Rips, L.J. (1994). The psychology of proof: Deductive reasoning in human thinking. Cambridge, MA: MIT Press.
23. Schroyens, W. J., Schaeken, W., & d'Ydewalle, G. (2001). A meta-analytic review of conditional reasoning by model and/or rule: Mental models theory revised (Psychological report No. 278). Leuven, Belgium: University of Leuven, Laboratory of Experimental Psychology.
24. Simon, H. A., & Lea, G. (1974). Problem solving and rule induction: A unified view. In L. Gregg (Ed.), Knowledge and cognition (pp. 105-128). Hillsdale, NJ: Lawrence Erlbaum Associates, Inc.
25. Stenning, K., & van Lambalgen, M. (in press). A working memory model of relations between interpretation and reasoning. Cognitive Science Journal.
26. Treur, J., & Wetter, T. (Eds.). (1993). Formal specification of complex reasoning systems. Chichester, England: Horwood.
27. Yang, Y., & Bringsjord, S. (2001). Mental MetaLogic: A new paradigm in psychology of reasoning [Abstract]. In L. Chen & Y. Zhuo (Eds.), Proceedings of the Third International Conference on Cognitive Science, ICCS 2001 (pp. 199-204). Beijing: USTC Press.
28. Yang, Y., & Johnson-Laird, P. N. (1999). A study of complex reasoning: The case GRE "logical" problems. In M. A. Gernsbacher & S. J. Derry (Eds.), Proceedings of the Twenty-First Annual Conference of the Cognitive Science Society (pp. 767-771). Mahwah, NJ: Lawrence Erlbaum Associates, Inc.