Abstract
This paper shows how empirical human reasoning traces can be formalised and automatically analysed against dynamic properties they fulfil. To this end, for the reasoning pattern called ‘reasoning by assumption’ a variety of dynamic properties have been specified, some of which are considered characteristic for the reasoning pattern, whereas some other properties can be used to discriminate between different approaches to the reasoning. These properties have been automatically checked for the traces acquired in experiments undertaken.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bosse, T., Jonker, C.M., Treur, J.: Simulation and analysis of controlled multi-representational reasoning processes. In: Proc. of the Fifth International Conference on Cognitive Modelling, ICCM 2003. Universitats-Verlag Bamberg, pp. 27–32 (2003)
Bosse, T., Jonker, C.M., Schut, M.C., 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. LNCS (LNAI), Springer, Heidelberg (2004) (to appear)
Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed Requirements Acquisition. Science in Computer Programming 20, 3–50 (1993)
Dubois, E., Du Bois, P., Zeippen, J.M.: A Formal Requirements Engineering Method for Real-Time, Concurrent, and Distributed Systems. In: Proceedings of the Real-Time Systems Conference, RTS 1995 (1995)
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.) MAAMAW 1999. LNCS (LNAI), vol. 1647, pp. 8–27. Springer, Heidelberg (1999)
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.) COMPOS 1997. LNCS, vol. 1536, pp. 350–380. Springer, Heidelberg (1998); Extended version in: International Journal of Cooperative Information Systems 11, 51–92 (2002)
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, pp. 512–517. Lawrence Erlbaum Associates, Inc., Mahwah (2002)
Jonker, C.M., Treur, J.: Modelling the Dynamics of Reasoning Processes: Reasoning by Assumption. Cognitive Systems Research Journal (2003) (in press)
Kowalski, R., Sergot, M.: A logic-based calculus of events. New Generation Computing 4, 67–95 (1986)
Nelson, T.: A Brief History of the Master MindTM Board Game, http://www.tnelson.demon.co.uk/mastermind/history.html
Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bosse, T., Jonker, C.M., Treur, J. (2005). Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces. In: Mira, J., Álvarez, J.R. (eds) Mechanisms, Symbols, and Models Underlying Cognition. IWINAC 2005. Lecture Notes in Computer Science, vol 3561. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11499220_44
Download citation
DOI: https://doi.org/10.1007/11499220_44
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26298-5
Online ISBN: 978-3-540-31672-5
eBook Packages: Computer ScienceComputer Science (R0)