Log In Sign Up

Epistemology of Modeling and Simulation: How can we gain Knowledge from Simulations?

by   Andreas Tolk, et al.

Epistemology is the branch of philosophy that deals with gaining knowledge. It is closely related to ontology. The branch that deals with questions like "What is real?" and "What do we know?" as it provides these components. When using modeling and simulation, we usually imply that we are doing so to either apply knowledge, in particular when we are using them for training and teaching, or that we want to gain new knowledge, for example when doing analysis or conducting virtual experiments. This paper looks at the history of science to give a context to better cope with the question, how we can gain knowledge from simulation. It addresses aspects of computability and the general underlying mathematics, and applies the findings to validation and verification and development of federations. As simulations are understood as computable executable hypotheses, validation can be understood as hypothesis testing and theory building. The mathematical framework allows furthermore addressing some challenges when developing federations and the potential introduction of contradictions when composing different theories, as they are represented by the federated simulation systems.


page 1

page 2

page 3

page 4


On Building a Knowledge Base for Stability Theory

A lot of mathematical knowledge has been formalized and stored in reposi...

A Study on the Challenges of Using Robotics Simulators for Testing

Robotics simulation plays an important role in the design, development, ...

Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V V Process

Automated Vehicles (AVs) are rapidly maturing in the transportation doma...

Building the Signature of Set Theory Using the MathSem Program

Knowledge representation is a popular research field in IT. As mathemati...

Get Real: Realism Metrics for Robust Limit Order Book Market Simulations

Machine learning (especially reinforcement learning) methods for trading...

Follow the Flow: sets, relations, and categories as special cases of functions with no domain

We introduce, develop, and apply a new approach for dealing with the int...

Embracing undecidability: Cognitive needs and theory evaluation

There are many ways we can not know. Even in systems that we created our...