Validation and Verification of Computational Models with Multiple Cognitive Agents

Scott Moss, Bruce Edmonds and Steve Wallis

No 97-25, Discussion Papers from Manchester Metropolitan University, Centre for Policy Modelling

Abstract: Wider issues of the validation of computational models - ascertaining that they are sound and consistent relative to some logical formalism and/or substantive theory - have not been a subject of the management science literature. In this paper, we demonstrate that computational models can be sound and consistent relative both to a fragment of strongly grounded autoepistemic logic (FOSGAL) and to theories of cognition without losing the expressiveness found in the informally oriented literature on organizational learning and business strategy. Validation is achieved by implementing models and their theoretical components in a programming language which corresponds to a known formal logic. The language used in this paper is SDML. The correspondence of SDML to autoepistemic logic is explained and justified. Issues associated with the verification of models - how well they correspond to observation - are also considered and extended. Benefits of explicit validation and verification of computational models are demonstrated by the implementation in SDML of a computational model of the critical-incident management organization of one of the largest public utilities in Europe. On the basis of the reported simulation results with the model, several research issues are identified both for the development of validation practices in the management sciences and for the analysis of crisis management.

Keywords: complexity; modelling; organizational learning; business strategy; validation; management science (search for similar items in EconPapers)
Date: 1997-07
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (3)

Downloads: (external link)
http://www.cpm.mmu.ac.uk/~scott/crit/wmwork/www/crit_1.html (text/html)
Our link check indicates that this URL is bad, the error code is: 500 Can't connect to www.cpm.mmu.ac.uk:80 (No such host is known. )
ftp://www.cpm.mmu.ac.uk/pub/scott/crit1c.ps (application/postscript)
Our link check indicates that this URL is bad, the error code is: 500 Failed to connect to FTP server www.cpm.mmu.ac.uk: No such host is known.
ftp://www.cpm.mmu.ac.uk/pub/scott/crit1c.ps.gz (application/postscript)
Our link check indicates that this URL is bad, the error code is: 500 Failed to connect to FTP server www.cpm.mmu.ac.uk: No such host is known.
ftp://www.cpm.mmu.ac.uk/pub/scott/crit1c.ps.Z (application/postscript)
Our link check indicates that this URL is bad, the error code is: 500 Failed to connect to FTP server www.cpm.mmu.ac.uk: No such host is known.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:wuk:mcpmdp:9725

Access Statistics for this paper

More papers in Discussion Papers from Manchester Metropolitan University, Centre for Policy Modelling Contact information at EDIRC.
Bibliographic data for series maintained by WoPEc Project ().