Verification of a model as a scientific tool of operations research – a methodological approach
Journal Title: Operations Research and Decisions - Year 2018, Vol 28, Issue 3
Abstract
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.
Authors and Affiliations
Edward RADOSIŃSKI, Łukasz RADOSIŃSKI
Solving IRPs using location based heuristics
Inventory routing problems (IRPs) occur where vendor managed inventory replenishment strategies are implemented in supply chains. These problems are characterized by the presence of both transportation and inventory cons...
Resilience planning as an opportunity for future sustainable development in tourism
Sustainable development is a theoretical concept, but the possibility of implementing it depends on skills and practical solutions. One practical solution is interdisciplinary planning. The basic criterion for the succes...
Finding the Pareto optimal equitable allocation of homogeneous divisible goods among three players
We consider the allocation of a finite number of homogeneous divisible items among three players. Under the assumption that each player assigns a positive value to every item, we develop a simple algorithm that returns a...
A Bayesian model of group decision-making
A change in the opinion of a group, treated as a network of communicating agents, caused by the accumulation of new information is expected to depend on communication within the group, coopera-tion and, possibly, a kind...
Analysis of the voting method used in the European Central Bank
Game theoreticians usually deal with standard voting methods such as plurality voting or approval voting. In reality however, some complicated non-standard voting methods are used. In this paper the voting method and rot...