Reasoning by assumption: Formalisation and analysis of human reasoning traces

Lecture Notes in Computer Science

Volumn 3561, Issue PART I, 2005, Pages 427-436

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

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; COMPUTER SCIENCE;

HUMAN REASONING TRACES; REASONING PATTERNS;

HUMAN ENGINEERING;

EID: 26444465108     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11499220_44     Document Type: Conference Paper

References (12)

1. Bosse, T., Jonker, C.M., and Treur, J., Simulation and analysis of controlled multirepresentational reasoning processes. Proc. of the Fifth International Conference on Cognitive Modelling, ICCM'03. Universitats-Verlag Bamberg, 2003, pp. 27-32.
2. Bosse, T., Jonker, C.M., Schut, M.C., and Treur, J., Modelling Shared Extended Mind and Collective Representational Content. In: Proc. of the 24th International Conference on Innovative Techniques and Applications of Artificial Intelligence. Lecture Notes in AI, Springer Verlag. To appear, 2004.
3. Dardenne, A., Lamsweerde, A. van, and Fickas, S. (1993). Goal-directed Requirements Acquisition. Science in Computer Programming, vol. 20, pp. 3-50.
4. Dubois, E., Du Bois, P., and Zeippen, J.M. (1995). A Formal Requirements Engineering Method for Real-Time, Concurrent, and Distributed Systems. In: Proceedings of the Real-Time Systems Conference, RTS'95.
5. Herlea, D.E., Jonker, C.M., Treur, J., and Wijngaards, N.J.E. (1999). Specification of Behavioural Requirements within Compositional Multi-Agent System Design. In: F.J. Garijo, M. Boman (eds.), Multi-Agent System Engineering, Proc. of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'99. Lecture Notes in AI, vol. 1647, Springer Verlag, 1999, pp. 8-27.
6. Jonker, C.M., and Treur, J. (1998). Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness. In: W.P. de Roever, H. Langmaack, A. Pnueli (eds.), Proceedings of the International Workshop on Compositionality, COMPOS'97. Lecture Notes in Computer Science, vol. 1536, Springer Verlag, 1998, pp. 350-380.
7. Extended version in: International Journal of Cooperative Information Systems, vol. 11, 2002, pp. 51-92.
8. Jonker, C.M., and Treur, J. (2002). Analysis of the Dynamics of Reasoning Using Multiple Representations. In: W.D. Gray and C.D. Schunn (eds.), Proceedings of the 24th Annual Conference of the Cognitive Science Society, CogSci 2002. Mahwah, NJ: Lawrence Erlbaum Associates, Inc., 2002, pp. 512-517.
9. Jonker, C.M., and Treur, J. (2003). Modelling the Dynamics of Reasoning Processes: Reasoning by Assumption. Cognitive Systems Research Journal. In press, 2003.
10. Kowalski, R., and Sergot, M. (1986). A logic-based calculus of events. New Generation Computing, 4:67-95, 1986.
11. Nelson, T. A Brief History of the Master MindTM Board Game. http://www.tnelson.demon.co.uk/mastermind/history.html
12. Reiter, R. (2001). Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001.