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

06/21/2013
by   Andreas Tolk, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/22/2023

Towards a Deep(er) Understanding of Interaction through Modeling, Simulation, and Optimization

The traditional user-centered design process can hardly keep up with the...
research
05/06/2010

On Building a Knowledge Base for Stability Theory

A lot of mathematical knowledge has been formalized and stored in reposi...
research
04/15/2020

A Study on the Challenges of Using Robotics Simulators for Testing

Robotics simulation plays an important role in the design, development, ...
research
05/23/2023

From Model-Based to Data-Driven Simulation: Challenges and Trends in Autonomous Driving

Simulation is an integral part in the process of developing autonomous v...
research
08/10/2022

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

Automated Vehicles (AVs) are rapidly maturing in the transportation doma...
research
05/16/2023

Addressing computational challenges in physical system simulations with machine learning

In this paper, we present a machine learning-based data generator framew...
research
06/03/2020

Embracing undecidability: Cognitive needs and theory evaluation

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

Please sign up or login with your details

Forgot password? Click here to reset