Issue: 2018/Vol.28/No.3, Pages 45-62
VERIFICATION OF A MODEL AS A SCIENTIFIC TOOL OF OPERATIONS RESEARCH – A METHODOLOGICAL APPROACH
Cite as: E. Radosiński, Ł. Radosiński. Verification of a model as a scientific tool of operations research – a methodological approach. Operations Research and Decisions 2018: 28(3), 45-62. DOI 10.5277/ord180304
The aim of the research presented in this paper was to solve one of the fundamental problems of modelling and simulation, i.e., verification of a model as a scientific tool of operations research. To attack this problem, certain crucial issues in the philosophy of science (the demarcation problem, the principle of verifiability) must be redefined. In discussing the question of verification, a procedure (the so called RAD-VER procedure) for verifying a model of a microeconomic system, in our case – a firm, is formulated. It is assumed that verification is a ceaseless process of evaluating a model’s scientificity from the standpoints of deductive reasoning, coherency and empiricism. Verification has been divided into two stages: the verification of the assumptions underlying the model of a firm and the verification of the simulator.
Keywords: validation of OR computations, scientific tools of operations research, verification
Received: 9 March 2018 Accepted: 14 August 2018