Toward a formalism of modeling and simulation using model theory. Issue 3 (30th October 2013)

• Record Type: Journal Article
• Authors: Diallo, Saikou Y.; Padilla, Jose J.; Gore, Ross; Herencia‐zapana, Heber; Tolk, Andreas
• Is Part Of: Complexity. Volume 19:Issue 3(2014:Jan./Feb.)
• Page Start: 56
• Page End: 63
• Publication Date: 2013-10-30
• Subjects: Chaotic behavior in systems -- Periodicals; Complexity (Philosophy) -- Periodicals; 003
• DOI: 10.1002/cplx.21478
• Languages: English
• ISSNs: 1076-2787

Abstract

<abstract abstract-type="main"> <title> <x xml:space="preserve">Abstract</x> </title> <p>This article proposes a Modeling and Simulation (M&amp;S) formalism using Model Theory. The article departs from the premise that M&amp;S is the science that studies the nature of truth using models and simulations. Truth in models and simulations is relative as they seek to answer specific modeling questions. Consequently, truth in M&amp;S is relative because every model is a purposeful abstraction of reality. We use Model Theory to express the proposed formalism because it is built from the premise that truth is relative. The proposed formalism allows us to: (1) deduce formal definitions and explanations of areas of study in M&amp;S, including conceptual modeling, validity, and interoperability, and (2) gain insight into which tools can be used to semi‐automate validation and interoperation processes. © 2013 Wiley Periodicals, Inc. Complexity 19: 56–63, 2014</p> </abstract>