Using docking/replication to verify and validate computational models

被引:0
|
作者
Olaru, D. [1 ]
Purchase, S. [1 ]
Denize, S.
机构
[1] UWA Business Sch, Perth, WA, Australia
关键词
docking; replication; validation; simulation; SIMULATION;
D O I
暂无
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
Conventional practice in modelling requires checking that a model is correct with respect to its conceptualisation (verification) and that it corresponds to the real world phenomenon modelled (validation). Verification and validation assure the external and operational validity of a model (its quality). In settings where data for estimation is not readily available, the behaviour of the computational model and its results are questionable. An alternative approach that has been recently gaining attention is docking or replication, which is a process where one model is tested against another to see if they produce the same results. This paper reports on the docking experience and validation stages performed when replicating a fuzzy logic (FL) model's findings with an agent-based model (ABM) in the context of innovation in business networks. Using two modelling paradigms and software programs, we modelled in an 18 month-interval a network of three agent categories, which collaborate on adopting and advancing new ideas and technologies. The network links describe relations between agents, which drive processes of innovation. The autonomous agents are organisations of different sizes, characteristics, and roles and they interact/share resources/collaborate for the purpose of adoption and diffusion of innovation that fits with the organisation's goals. Depending on their resources, there is scope for innovation or otherwise. In addition, the environment can foster or hinder the innovation processes. The verification and validation of these two models involved several stages: 1) Expert judgement - the structure of the conceptual model is supported by literature and discussions with colleagues in various forums; 2) Checking the correspondence between what is emerging from the model and what is expected to be seen in the real world (passing the believability test); it is desirable for the model components to adequately represent a real equivalent behavioural effect but as real data was not available at the time of designing the models, the alignment of the model results to expectations acts as an external validation of the model; 3) Internal validity - assessing consistency by changing input data distributions and analysing extreme conditions. 4) Docking (also known as alignment or replication with contrasting alternative theories) - comparing the results of the two different modelling approaches. The models ensured the distributional equivalence, but they were not identical. As both models used the same parameters, we believe that the differences in results arose only from relaxing the restrictive assumptions in the FL or ABM models. The ABM results matched the FL conditions tested. The stochastic ABM generated a distribution of outcomes caused by random encounters among agents, while FL generated an ensemble of crisp values as result of multiple rules of interaction applying simultaneously. The replication experience has been a positive one. Although this does not justify the models' acceptance, the docking results encourage us to pursue collecting data to validate empirically both models in the near future. We conclude with some thoughts from Kleindorfer et al. (1998) in relation to various positions in the philosophy of science with respect to validation: in the simulation literature there is a continuum of opinions ranging from extreme objectivist (model validation can be separated from model builder and its context) to relativist ("model and model builder are inseparable" and "validity is a matter of opinion" - Kleindorfer et al., 1998: 1097). Their debate leads to a perspective that simulation modelling should not follow a prescriptive set of approaches to validation, but rather modellers should "responsibly and professionally argue for the warrant of the model".
引用
收藏
页码:4432 / 4438
页数:7
相关论文
共 50 条
  • [21] Class of Neuro-Computational Models to Verify Mood Variation in Dialectal Assamese Speech
    Agarwalla, Swapna
    Sarma, Kandarpa Kumar
    PROCEEDINGS OF 2014 2ND INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL AND BUSINESS INTELLIGENCE (ISCBI), 2014, : 85 - 88
  • [22] VALENS: A knowledge based tool to validate and verify an aion knowledge base
    Spreeuwenberg, S
    Gerrits, R
    Boekenoogen, M
    ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, 54 : 731 - 735
  • [23] DEVELOPING MEASUREMENT SCIENCE TO VERIFY AND VALIDATE THE IDENTIFICATION OF ROBOT WORKCELL DEGRADATION
    Weiss, Brian A.
    PROCEEDINGS OF THE ASME 14TH INTERNATIONAL MANUFACTURING SCIENCE AND ENGINEERING CONFERENCE, 2019, VOL 1, 2019,
  • [24] QSAR MODELING: A NEW OPEN SOURCE COMPUTATIONAL PACKAGE TO GENERATE AND VALIDATE QSAR MODELS
    Martins, Joao Paulo A.
    Ferreira, Marcia M. C.
    QUIMICA NOVA, 2013, 36 (04): : 554 - U250
  • [25] Replication: Challenges in Using Data Logs to Validate Phishing Detection Ability Metrics
    Canfield, Casey Inez
    Davis, Alex
    Fischhoff, Baruch
    Forget, Alain
    Pearman, Sarah
    Thomas, Jeremy
    PROCEEDINGS OF THIRTEENTH SYMPOSIUM ON USABLE PRIVACY AND SECURITY (SOUPS 2017), 2017, : 271 - 284
  • [26] A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking
    Parvu, Ovidiu
    Gilbert, David
    PLOS ONE, 2016, 11 (05):
  • [27] Using Graph Transformation and Maude to Simulate and Verify UML Models
    Chama, Wafa
    Elmansouri, Raida
    Chaoui, Allaoua
    2013 INTERNATIONAL CONFERENCE ON TECHNOLOGICAL ADVANCES IN ELECTRICAL, ELECTRONICS AND COMPUTER ENGINEERING (TAEECE), 2013, : 459 - 464
  • [28] Using Vehicle Tracking Software to Validate Roundabout Capacity Models
    Campbell, John R.
    Olsson, Stephanie M.
    Sternke, Christian R.
    ITE JOURNAL-INSTITUTE OF TRANSPORTATION ENGINEERS, 2021, 91 (12): : 43 - 49
  • [29] Using three-valued logic to specify and verify algorithms of computational geometry
    Brandt, J
    Schneider, K
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2005, 3785 : 405 - 420
  • [30] Using a Grammar Checker to Validate Compliance of Processes with Workflow Models
    Bartak, Roman
    Kubon, Vladislav
    ADVANCES IN COMPUTATIONAL INTELLIGENCE, MICAI 2016, PT I, 2017, 10061 : 317 - 331