{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T12:34:19Z","timestamp":1774355659125,"version":"3.50.1"},"reference-count":74,"publisher":"SAGE Publications","issue":"10","license":[{"start":{"date-parts":[[2022,5,11]],"date-time":"2022-05-11T00:00:00Z","timestamp":1652227200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"funder":[{"name":"Research Counsil of Norway","award":["282081 \u201cMixStrEx\u201d"],"award-info":[{"award-number":["282081 \u201cMixStrEx\u201d"]}]}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["SIMULATION"],"published-print":{"date-parts":[[2022,10]]},"abstract":"<jats:p> We develop a logic-based approach for designing simulation-based training scenarios. Our methodology embodies a concise definition of the scenario concept and integrates the notions of training goals, acceptable versus unacceptable actions and performance scoring. The approach applies classical artificial intelligence (AI) planning to extract coherent plays from a causal description of the training domain. The domain- and task-specific parts are defined in a high-level action description language [Formula: see text]. Generic causal and temporal logic is added when the causal theory is compiled into the underlying Answer Set Programming (ASP) language. The ASP representation is used to derive a scoring function that reflects the quality of a play or training session, based on a distinction of states and actions into green (acceptable) and red (unacceptable) ones. To that end, we add to the casual theory a set of norms that specify an initial assignment of colors. The ASP engine uses these norms as axioms and propagates colors by consulting the causal theory. We prove that any set of such norms constitutes a conservative extension of the underlying causal theory. With this work, we hope to lay the foundation for the development of design and analysis tools for exercise managers. We envision a software system that lets an exercise manager view all plays of a tentative scenario design, with expediency information and scores for each possible play. Our approach is applicable to any domain in which means-ends reasoning is pertinent. We illustrate the approach in the domain of crisis response and management. <\/jats:p>","DOI":"10.1177\/00375497221095070","type":"journal-article","created":{"date-parts":[[2022,5,11]],"date-time":"2022-05-11T10:20:05Z","timestamp":1652264405000},"page":"933-957","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":3,"title":["Quantifying means-end reasoning skills in simulation-based training: a logic-based approach"],"prefix":"10.1177","volume":"98","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2695-8124","authenticated-orcid":false,"given":"Audun","family":"Stolpe","sequence":"first","affiliation":[{"name":"Department of Applied Research in Information Technology, Norwegian Computing Center, Norway"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8657-7593","authenticated-orcid":false,"given":"Jo Erskine","family":"Hannay","sequence":"additional","affiliation":[{"name":"Department of Applied Research in Information Technology, Norwegian Computing Center, Norway"},{"name":"Center for Effective Digitalization of the Public Sector, Simula Metropolitan Center for Digital Engineering, Norway"}]}],"member":"179","published-online":{"date-parts":[[2022,5,11]]},"reference":[{"key":"bibr1-00375497221095070","first-page":"559","volume":"8","author":"Salas E","year":"2009","journal-title":"Acad Manag Learn Edu"},{"key":"bibr2-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511816796.038"},{"key":"bibr3-00375497221095070","first-page":"151","volume-title":"Proceedings of the interservice\/industry training, simulation, and education conference (I\/ITSEC)","author":"Beaubien JM"},{"key":"bibr4-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1007\/s40070-017-0065-0"},{"key":"bibr5-00375497221095070","first-page":"1310","volume-title":"Proceedings of the 16th international conference on information systems for crisis response and management (ISCRAM)","author":"Hannay JE"},{"key":"bibr6-00375497221095070","volume-title":"Guideline on scenario development for simulation environments","author":"Simulation Interoperability Standards Organization (SISO)","year":"2016"},{"key":"bibr7-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-24658-7"},{"key":"bibr8-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139342124"},{"key":"bibr9-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357"},{"key":"bibr10-00375497221095070","volume-title":"Artificial intelligence: a modern approach","author":"Russell S","year":"2010","edition":"3"},{"key":"bibr11-00375497221095070","volume-title":"(C+)++: an action language for modelling norms and institutions","author":"Sergot M","year":"2005"},{"key":"bibr12-00375497221095070","first-page":"195","volume":"3","author":"Gelfond M","year":"1998","journal-title":"Electron Trans Artif Intel"},{"key":"bibr13-00375497221095070","first-page":"110","volume-title":"Proceedings of the 17th international conference on information systems for crisis response and management (ISCRAM)","author":"Van Schijndel DKR"},{"key":"bibr14-00375497221095070","first-page":"106","volume-title":"Proceedings of the 18th international conference on information systems for crisis response and management (ISCRAM)","author":"Van Schijndel DKR"},{"key":"bibr15-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511816796.001"},{"key":"bibr16-00375497221095070","volume-title":"Experimental and quasi-experimental designs for generalized causal inference","author":"Shadish WR","year":"2002"},{"key":"bibr17-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1037\/h0040957"},{"key":"bibr18-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511609817.009"},{"key":"bibr19-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1037\/0021-9010.92.5.1320"},{"key":"bibr20-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1016\/0749-5978(92)90064-E"},{"key":"bibr21-00375497221095070","first-page":"17","volume-title":"Advances in the psychology of human intelligence","author":"Chi MTH","year":"1982"},{"key":"bibr22-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1727(199824)14:4<309::AID-SDR154>3.0.CO;2-5"},{"key":"bibr23-00375497221095070","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0957-4174(94)90023-X","volume":"7","author":"Sternberg RJ.","year":"1994","journal-title":"Int J Expert Syst"},{"key":"bibr24-00375497221095070","volume-title":"Surpassing ourselves: an inquiry into the nature and implications of expertise","author":"Bereiter C","year":"1993"},{"key":"bibr25-00375497221095070","first-page":"209","volume-title":"The nature of expertise","author":"Johnson EJ.","year":"1988"},{"key":"bibr26-00375497221095070","first-page":"145","volume":"49","author":"Papineau D.","year":"2001","journal-title":"Roy I Ph S"},{"key":"bibr27-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1126\/science.185.4157.1124"},{"key":"bibr28-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-397250-7.50016-7"},{"key":"bibr29-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1037\/0033-2909.90.2.197"},{"key":"bibr30-00375497221095070","volume-title":"Simple heuristics that make us smart","author":"Gigerenzer G","year":"1999"},{"key":"bibr31-00375497221095070","volume-title":"The sciences of the artificial","author":"Simon HA.","year":"1996","edition":"3"},{"key":"bibr32-00375497221095070","unstructured":"IEEE Standards Association 1516-2010. IEEE standard for modeling and simulation (M&S) High Level Architecture (HLA)."},{"key":"bibr33-00375497221095070","unstructured":"Simulation Interoperability Standards Organization (SISO)-STD-003-2006. Standard for Base Object Model (BOM) template specification."},{"key":"bibr34-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1006\/knac.1993.1008"},{"key":"bibr35-00375497221095070","first-page":"315","volume-title":"Proceedings of the 2008 spring simulation interoperability workshop (SIW)","author":"Mojtahed V"},{"key":"bibr36-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2018.10.005"},{"key":"bibr37-00375497221095070","first-page":"189","volume-title":"Proceedings of the 5th international conference on information systems for crisis response and management (ISCRAM)","author":"Steel J"},{"key":"bibr38-00375497221095070","first-page":"189","volume-title":"Proceedings of the 5th international conference on information systems for crisis response and management (ISCRAM)","author":"B\u00e9naben F"},{"key":"bibr39-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1057\/jos.2011.9"},{"key":"bibr40-00375497221095070","first-page":"1","volume-title":"Proceedings of the 21st international command and control research and technology symposium (ICCRTS\u20192016)","author":"Singapogu SS"},{"key":"bibr41-00375497221095070","unstructured":"Simulation Interoperability Standards Organization (SISO). The Command and Control Systems\u2014Simulation Systems Interoperation (C2SIM) Product Development Group (PDG) and Product Support Group (PSG), 2019, https:\/\/www.sisostds.org\/StandardsActivities\/DevelopmentGroups\/C2SIMPDGPSG-CommandandControlSystems.aspx (accessed 19 December 2019)."},{"key":"bibr42-00375497221095070","first-page":"149","volume-title":"Proceedings of the 2018 winter simulation innovation workshop","author":"Van den Berg TW"},{"key":"bibr43-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1177\/1548512919896855"},{"key":"bibr44-00375497221095070","first-page":"1","volume-title":"Proceedings of the NATO modelling and simulation group symposium on M&S technologies and standards for enabling alliance interoperability and pervasive M&S applications (STO-MP-MSG-149)","author":"Hannay JE"},{"key":"bibr45-00375497221095070","first-page":"222","volume-title":"Proceedings of the 8th international conference on deontic logic and artificial normative systems (DEON\u201906)","author":"Sergot M"},{"key":"bibr46-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2002.12.001"},{"key":"bibr47-00375497221095070","first-page":"983","volume-title":"Proceedings of the international joint conference on artificial intelligence (IJCAI)","author":"Lee J"},{"key":"bibr48-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"key":"bibr49-00375497221095070","first-page":"1467","volume-title":"Proceedings of the 29th AAAI conference on artificial intelligence","author":"Brewka G"},{"key":"bibr50-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40564-8_13"},{"key":"bibr51-00375497221095070","volume-title":"Theory of modeling and simulation","author":"Zeigler BP","year":"2000","edition":"2"},{"key":"bibr52-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30583-5_45"},{"key":"bibr53-00375497221095070","first-page":"177","volume-title":"Proceedings of the 2018 winter simulation conference (WSC)","author":"Wainer GA"},{"key":"bibr54-00375497221095070","first-page":"14","volume-title":"Artificial intelligence and simulation","author":"Foo N","year":"2004"},{"key":"bibr55-00375497221095070","first-page":"410","volume-title":"Semantic information processing","author":"McCarthy JW.","year":"1968"},{"key":"bibr56-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83397-7_2"},{"key":"bibr57-00375497221095070","first-page":"1070","volume-title":"Logic programming 2: proceedings of the 5th international conference and symposium","author":"Gelfond M","year":"1988"},{"key":"bibr58-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-1567-8_12"},{"key":"bibr59-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1016\/S1574-6526(07)03007-6"},{"key":"bibr60-00375497221095070","doi-asserted-by":"publisher","DOI":"10.2200\/S00457ED1V01Y201211AIM019"},{"key":"bibr61-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(71)90010-5"},{"key":"bibr62-00375497221095070","first-page":"463","volume-title":"Machine intelligence","volume":"4","author":"McCarthy J","year":"1969"},{"key":"bibr63-00375497221095070","first-page":"1","volume-title":"Proceedings of the 2012 spring simulation interoperability workshop 12S-SIW-014","author":"Siegfried R"},{"key":"bibr64-00375497221095070","first-page":"5450","volume-title":"Proceedings of the 27th international joint conference on artificial intelligence (IJCAI-18)","author":"Gebser M"},{"key":"bibr65-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40564-8_35"},{"key":"bibr66-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89982-2_7"},{"key":"bibr67-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2010.01.001"},{"key":"bibr68-00375497221095070","first-page":"98","volume-title":"Proceedings of the 10th international conference on deontic logic in computer science (DEON\u201910)","author":"Stolpe A"},{"key":"bibr69-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370673"},{"key":"bibr70-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2007.06.007"},{"key":"bibr71-00375497221095070","first-page":"23","volume-title":"Proceedings of the 11th international conference on logic programming (ICLP)","author":"Lifschitz V","year":"1994"},{"key":"bibr72-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1016\/0749-5978(86)90044-0"},{"key":"bibr73-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1201\/b12461"},{"key":"bibr74-00375497221095070","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-50732-9_60"}],"container-title":["SIMULATION"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/00375497221095070","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.1177\/00375497221095070","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/00375497221095070","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T04:36:03Z","timestamp":1740803763000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/00375497221095070"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,11]]},"references-count":74,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2022,10]]}},"alternative-id":["10.1177\/00375497221095070"],"URL":"https:\/\/doi.org\/10.1177\/00375497221095070","relation":{},"ISSN":["0037-5497","1741-3133"],"issn-type":[{"value":"0037-5497","type":"print"},{"value":"1741-3133","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,5,11]]}}}