{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T16:40:18Z","timestamp":1729960818065,"version":"3.28.0"},"reference-count":28,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":["onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["Cognitive Science"],"published-print":{"date-parts":[[2006,1,2]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This article introduces a novel approach for the analysis of the dynamics of reasoning processes and explores its applicability for the reasoning pattern called reasoning by assumption. More specifically, for a case study in the domain of a Master Mind game, it is shown how empirical human reasoning traces can be formalized and automatically analyzed against dynamic properties they fulfill. To this end, for the pattern of 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 among different approaches to the reasoning. These properties have been automatically checked for the traces acquired in experiments undertaken. The approach turned out to be beneficial from two perspectives. First, checking characteristic properties contributes to the empirical validation of a theory on reasoning by assumption. Second, checking discriminating properties allows the analyst to identify different classes of human reasoners.<\/jats:p>","DOI":"10.1207\/s15516709cog0000_51","type":"journal-article","created":{"date-parts":[[2006,2,17]],"date-time":"2006-02-17T20:28:53Z","timestamp":1140208133000},"page":"147-180","update-policy":"http:\/\/dx.doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Formalization and Analysis of Reasoning by Assumption"],"prefix":"10.1111","volume":"30","author":[{"given":"Tibor","family":"Bosse","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catholijn M.","family":"Jonker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,1]]},"reference":[{"key":"e_1_2_1_2_1","first-page":"19","volume-title":"Modelling shared extended mind and collective representational content","author":"Bosse T.","year":"2004"},{"key":"e_1_2_1_3_1","first-page":"27","volume-title":"Simulation and analysis of controlled multi\u2010representational reasoning processes","author":"Bosse T.","year":"2003"},{"key":"e_1_2_1_4_1","doi-asserted-by":"crossref","DOI":"10.4324\/9781410603005","volume-title":"Mental logic.","author":"Braine M. D. S.","year":"1998"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-023X(98)00029-9"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/0010-0277(89)90018-8"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(93)90021-G"},{"key":"e_1_2_1_8_1","unstructured":"Dubois E. DuBois P. &Zeippen J. M.(1995).A formal requirements engineering method for real\u2010time concurrent & distributed systems. In Proceedings of the Real\u2010Time Systems Conference RTS1995. Paris."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888900006767"},{"key":"e_1_2_1_10_1","first-page":"8","article-title":"Specification of behavioural requirements within compositional multi\u2010agent system design","volume":"1647","author":"Herlea D. E.","year":"1999","journal-title":"Lecture Notes in AI"},{"volume-title":"Mental models.","year":"1983","author":"Johnson\u2010Laird P. N.","key":"e_1_2_1_11_1"},{"volume-title":"Deduction.","year":"1991","author":"Johnson\u2010Laird P. N.","key":"e_1_2_1_12_1"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49213-5_13"},{"key":"e_1_2_1_14_1","first-page":"512","volume-title":"Analysis of the dynamics of reasoning using multiple representations","author":"Jonker C. M.","year":"2002"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-0417(02)00102-X"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1002\/9780470316801"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog1201_1"},{"key":"e_1_2_1_18_1","first-page":"1","article-title":"The computer as master mind","volume":"9","author":"Knuth D. E.","year":"1977","journal-title":"Journal of Recreational Mathematics"},{"key":"e_1_2_1_19_1","first-page":"251","article-title":"An optimal mastermind strategy","volume":"25","author":"Koyama K.","year":"1993","journal-title":"Journal of Recreational Mathematics"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037383"},{"key":"e_1_2_1_21_1","unstructured":"Nelson T.(2000).A Brief History of the Master MindTMBoard Game. Retrieved November 10 2005 fromhttp:.www.tnelson.demon.co.ukmastermindhistory.html."},{"key":"e_1_2_1_22_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in action: Logical foundations for specifying and implementing dynamical systems.","author":"Reiter R.","year":"2001"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/5680.001.0001"},{"volume-title":"A meta\u2010analytic review of conditional reasoning by model and\/or rule: Mental models theory revised (Psychological report No. 278)","year":"2001","author":"Schroyens W. J.","key":"e_1_2_1_24_1"},{"key":"e_1_2_1_25_1","first-page":"105","volume-title":"Knowledge and cognition","author":"Simon H. A.","year":"1974"},{"journal-title":"Cognitive Science Journal.","article-title":"A working memory model of relations between interpretation and reasoning","author":"Stenning K.","key":"e_1_2_1_26_1"},{"volume-title":"Formal specification of complex reasoning systems.","year":"1993","author":"Treur J.","key":"e_1_2_1_27_1"},{"key":"e_1_2_1_28_1","first-page":"199","volume-title":"Mental MetaLogic: A new paradigm in psychology of reasoning [Abstract]","author":"Yang Y.","year":"2001"},{"key":"e_1_2_1_29_1","first-page":"767","volume-title":"A study of complex reasoning: The case GRE\u201clogical\u201d problems","author":"Yang Y.","year":"1999"}],"container-title":["Cognitive Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1207%2Fs15516709cog0000_51","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1207\/s15516709cog0000_51","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T16:05:26Z","timestamp":1729958726000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1207\/s15516709cog0000_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1]]},"references-count":28,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,1,2]]}},"alternative-id":["10.1207\/s15516709cog0000_51"],"URL":"https:\/\/doi.org\/10.1207\/s15516709cog0000_51","archive":["Portico"],"relation":{},"ISSN":["0364-0213","1551-6709"],"issn-type":[{"type":"print","value":"0364-0213"},{"type":"electronic","value":"1551-6709"}],"subject":[],"published":{"date-parts":[[2006,1]]},"assertion":[{"value":"2006-01-01","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}