Truth, Trust, and Turing - Implications for Modeling and Simulation

This chapter has been written as the introduction to the book “Ontology, Epistemology, and Teleology of Modeling and Simulation – Philosophical Foundations for Intelligent M&S Applications.” It covers the main ideas important for modeling and simulation regarding its philosophical, computational, and conceptual aspects. What exists, how we come to know, and what we do with the knowledge are the guiding questions when the key terms are evaluated in the light of positivism, rationalism, and constructivism. Implications for a canon of research are described, and the constraints for modeling and simulation regarding truth, trust, and computability are derived. A short summary of the chapter contributions in the light of these ideas ends the chapter.

[1]  Gregory J. Chaitin,et al.  Information-Theoretic Limitations of Formal Systems , 1974, JACM.

[2]  Gregory J. Chaitin,et al.  Algorithmic Information Theory , 1987, IBM J. Res. Dev..

[3]  Gregory. J. Chaitin,et al.  Algorithmic information theory , 1987, Cambridge tracts in theoretical computer science.

[4]  Geoffrey Hunter.  What Computers Can't Do , 1988, Philosophy.

[5]  Thomas R. Gruber,et al.  Toward principles for the design of ontologies used for knowledge sharing? , 1995, Int. J. Hum. Comput. Stud..

[6]  Verification validation and accreditation of simulation models , 1997, WSC '97.

[7]  Paul K. Davis,et al.  Experiments In Multiresolution Modeling (MRM) , 1998 .

[8]  Eric Winsberg,et al.  Sanctioning Models: The Epistemology of Simulation , 1999, Science in Context.

[9]  Stefan Decker,et al.  Creating Semantic Web Contents with Protégé-2000 , 2001, IEEE Intell. Syst..

[10]  Robert G. Sargent,et al.  Some approaches and paradigms for verifying and validating simulation models , 2001, Proceeding of the 2001 Winter Simulation Conference (Cat. No.01CH37304).

[11]  Jordi Sabater-Mir,et al.  Review on Computational Trust and Reputation Models , 2005, Artificial Intelligence Review.

[12]  Dirk Brade.  A generalized process for the verification and validation of models and simulation results , 2004 .

[13]  Ulrich Frank,et al.  Epistemological Perspectives on Simulation , 2005 .

[14]  Alex Schmid.  What is the Truth of Simulation? , 2005, J. Artif. Soc. Soc. Simul..

[15]  Joan Lu,et al.  A Review on Computational Trust Models for Multi-agent Systems , 2009, International Conference on Internet Computing.

[16]  Osman Balci,et al.  Verification, Validation, and Testing , 2007 .

[17]  Levent Yilmaz,et al.  Agent-directed simulation systems engineering , 2007 .

[18]  Yong Meng Teo,et al.  CODES: An Integrated Approach to Composable Modeling and Simulation , 2008, 41st Annual Simulation Symposium (anss-41 2008).

[19]  Catherine M. Banks.  What Is Modeling and Simulation , 2008 .

[20]  Lakhmi C. Jain,et al.  Intelligent Decision Making: An AI-Based Approach , 2008 .

[21]  Levent Yilmaz,et al.  A Unifying Multimodel Taxonomy and Agent-Supported Multisimulation Strategy for Decision-Support , 2008, Intelligent Decision Making: An AI-Based Approach.

[22]  Paul F. Reynolds,et al.  The Role of Modeling and Simulation , 2008 .

[23]  John A. Sokolowski,et al.  Principles of Modeling and Simulation: A Multidisciplinary Approach , 2009 .

[24]  Kai Velten,et al.  Mathematical Modeling and Simulation: Introduction for Scientists and Engineers , 2009 .

[25]  Paul Weirich,et al.  The Philosophy and Epistemology of Simulation: A Review , 2010 .

[26]  Tuncer I. Ören,et al.  Modeling and Simulation: A Comprehensive and Integrative View , 2010 .

[27]  Eric Winsberg,et al.  Science in the Age of Computer Simulation , 2010 .

[28]  Gerd Wagner,et al.  Towards an ontological foundation of agent-based simulation , 2011, Proceedings of the 2011 Winter Simulation Conference (WSC).

[29]  John A. Sokolowski,et al.  Modeling and simulation in the medical and health sciences , 2011 .

[30]  Charles D. Turnitsa.  Conceptual modeling for composition of model-based complex systems , 2011 .

[31]  Marko A. Hofmann,et al.  Epistemic and normative aspects of ontologies in modelling and simulation , 2011, J. Simulation.

[32]  Charles N. Delzell,et al.  Mathematical Logic and Model Theory , 2011 .

[33]  Andreas Tolk,et al.  Do We Need M&S Science? , 2011 .

[34]  John A. Miller,et al.  DeMO: An Ontology for Discrete-event Modeling and Simulation , 2011, Simul..

[35]  Andreas Tolk,et al.  Engineering Principles of Combat Modeling and Distributed Simulation: Tolk/Engineering Principles Combat Modeling , 2012 .

[36]  Andreas Tolk,et al.  How is M&S Interoperability different from other Interoperability AUTHORS , 2012 .

[37]  Mikel D. Petty,et al.  Multi‐Resolution Combat Modeling , 2012 .

[38]  R. Ackoff.  From Data to Wisdom , 2014 .