On the Epistemological, Ontological, Teleological and Methodological Currents in Modeling and Simulation: An Overview

I. Bozkurt, J. Padilla
{"title":"On the Epistemological, Ontological, Teleological and Methodological Currents in Modeling and Simulation: An Overview","authors":"I. Bozkurt, J. Padilla","doi":"10.4018/jats.2013010101","DOIUrl":null,"url":null,"abstract":"Modeling and Simulation (M&S) has been used to solve problems, make decisions, and understand complex phenomena. Scholars have tried to understand and formulate the epistemic value of gained insights through models and simulations. Questions such as how insights are considered knowledge, what the tradeoff between perspectives and objectivity is, what kind of purpose models and simulations fulfill, and how M&S is used within a research methodology paradigm are a starting point of discussing the philosophical underpinnings. The epistemological, ontological, teleological and methodological (E/O/T/M) considerations of M&S is the main motivation of this paper. A comprehensive literature review on E/O/T/M considerations provides an initial roadmap to study the nature of M&S leading to the following questions: How can the authors define canons of research for M&S based on E/O/T/M? How can they define an E/O/T/M-based meta-model to characterize models and simulations? And how can the authors study validation of models and simulations based on E/O/T/M considerations? DOI: 10.4018/jats.2013010101 2 International Journal of Agent Technologies and Systems, 5(1), 1-18, January-March 2013 Copyright © 2013, IGI Global. Copying or distributing in print or electronic forms without written permission of IGI Global is prohibited. at those commonalities is by looking at E/O/T/M foundations (premises and assumptions) of the use of M&S across disciplines. From a high-level perspective, M&S uses models to represent a phenomenon of interest and simulates these models to gain insight or to predict. Gaining insight or prediction suggests that knowledge is generated from the modeling and/or simulation activity. This knowledgegeneration activity has been under deliberation on questions such as: Can simulations generate knowledge? What kind of knowledge do simulations generate? Does simulation need its own epistemology? Although these are epistemological questions, they are not separate from ontological, methodological, and teleological issues regarding the modeler’s perspective, approach, and intent. Frigg and Reiss (2009), for instance, argue that despite simulation creating parallel worlds on more ideal conditions than the “real world”, this is not unique to simulation; ergo it does not warrant a new philosophy of science. Humphreys (2009), on the other hand, states that with the introduction of computational science new issues also have arisen within the discipline of philosophy of science, namely: epistemic opacity, semantics, temporal dynamics, and practice not principle. Epistemic opacity refers to cognitive agents’ limited access to knowledge; semantics refers to how simulations are applied to real system given the detachment of simulations from reality, how computer simulations are limited by syntax of computer code, and how semantics are subsumed under that syntax; temporal dynamics refers to the temporal representations of dynamic processes involved in simulation is an essential element for philosophy of science in terms of the speed of prediction, as opposed to deduction; and finally practice, not principle, refers to how computational methods have forced researchers to differentiate between what is practically applicable, and what can only stay as principle. As it can be inferred, the gap between simulations and reality and how it is bridged in a manner that knowledge can be established has epistemological, ontological, methodological, and teleological implications. These implications include issues such as validation (Klein & Herskovitz, 2005), simulation model formulation and characterization (Lenhard, 2007), and ultimately, whether or not simulation generates and/or applies knowledge. In order to gain insight in these issues, we propose to look into how models and simulations can be characterized using E/O/T/M considerations. Turnitsa, Padilla, and Tolk (2010) have made an introduction into this proposition by overlapping E/O/T considerations with the semiotic triangle idea introduced by Ogden and Richards (1923). Their model is modified in this paper, as seen in Figure 1. The following discussion also sets the grounds for the definitions of “object”, “model” and “simulation”, which will be used throughout the paper. The starting point of M&S is an object/phenomenon that can be real or imaginary. The model then becomes a conceptualization of this object. In other words, a model should capture the understanding of an object/referent/problem and facilitate its computer implementation. As such, a model can have many forms ranging from the informal to the formal: mental models, UML diagrams, ontologies, or mathematical equations. It is noted that the model does not have to be computable, but it should facilitate its computer implementation. This position is consistent with Robinson (2008) and Zeigler, Praehofer, and Kim (2000). This position of model as a conceptualization of an object/problem/ can also be traced back to Systems Science (Mitrof et al., 1974). In this instance, the model did not result in a simulation but in another model for which an analytical solution could be obtained. The simulation is the computer implementation of the model (it is another model) and allows the study of a phenomenon overtime. As such, it has to be formal in nature in order to be executed in a computer. It is noted that we are referring to constructive simulations. There are simulations that are needed but are not computable. In those cases, live simulations are used. Assuming that the model is a representation of the object and the simulation 16 more pages are available in the full version of this document, which may be purchased using the \"Add to Cart\" button on the product's webpage: www.igi-global.com/article/epistemological-ontologicalteleological-methodological-currents/77662?camid=4v1 This title is available in InfoSci-Journals, InfoSci-Journal Disciplines Computer Science, Security, and Information Technology. Recommend this product to your librarian: www.igi-global.com/e-resources/libraryrecommendation/?id=2","PeriodicalId":93648,"journal":{"name":"International journal of agent technologies and systems","volume":"40 1","pages":"1-18"},"PeriodicalIF":0.0000,"publicationDate":"2013-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"International journal of agent technologies and systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4018/jats.2013010101","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 4

Abstract

Modeling and Simulation (M&S) has been used to solve problems, make decisions, and understand complex phenomena. Scholars have tried to understand and formulate the epistemic value of gained insights through models and simulations. Questions such as how insights are considered knowledge, what the tradeoff between perspectives and objectivity is, what kind of purpose models and simulations fulfill, and how M&S is used within a research methodology paradigm are a starting point of discussing the philosophical underpinnings. The epistemological, ontological, teleological and methodological (E/O/T/M) considerations of M&S is the main motivation of this paper. A comprehensive literature review on E/O/T/M considerations provides an initial roadmap to study the nature of M&S leading to the following questions: How can the authors define canons of research for M&S based on E/O/T/M? How can they define an E/O/T/M-based meta-model to characterize models and simulations? And how can the authors study validation of models and simulations based on E/O/T/M considerations? DOI: 10.4018/jats.2013010101 2 International Journal of Agent Technologies and Systems, 5(1), 1-18, January-March 2013 Copyright © 2013, IGI Global. Copying or distributing in print or electronic forms without written permission of IGI Global is prohibited. at those commonalities is by looking at E/O/T/M foundations (premises and assumptions) of the use of M&S across disciplines. From a high-level perspective, M&S uses models to represent a phenomenon of interest and simulates these models to gain insight or to predict. Gaining insight or prediction suggests that knowledge is generated from the modeling and/or simulation activity. This knowledgegeneration activity has been under deliberation on questions such as: Can simulations generate knowledge? What kind of knowledge do simulations generate? Does simulation need its own epistemology? Although these are epistemological questions, they are not separate from ontological, methodological, and teleological issues regarding the modeler’s perspective, approach, and intent. Frigg and Reiss (2009), for instance, argue that despite simulation creating parallel worlds on more ideal conditions than the “real world”, this is not unique to simulation; ergo it does not warrant a new philosophy of science. Humphreys (2009), on the other hand, states that with the introduction of computational science new issues also have arisen within the discipline of philosophy of science, namely: epistemic opacity, semantics, temporal dynamics, and practice not principle. Epistemic opacity refers to cognitive agents’ limited access to knowledge; semantics refers to how simulations are applied to real system given the detachment of simulations from reality, how computer simulations are limited by syntax of computer code, and how semantics are subsumed under that syntax; temporal dynamics refers to the temporal representations of dynamic processes involved in simulation is an essential element for philosophy of science in terms of the speed of prediction, as opposed to deduction; and finally practice, not principle, refers to how computational methods have forced researchers to differentiate between what is practically applicable, and what can only stay as principle. As it can be inferred, the gap between simulations and reality and how it is bridged in a manner that knowledge can be established has epistemological, ontological, methodological, and teleological implications. These implications include issues such as validation (Klein & Herskovitz, 2005), simulation model formulation and characterization (Lenhard, 2007), and ultimately, whether or not simulation generates and/or applies knowledge. In order to gain insight in these issues, we propose to look into how models and simulations can be characterized using E/O/T/M considerations. Turnitsa, Padilla, and Tolk (2010) have made an introduction into this proposition by overlapping E/O/T considerations with the semiotic triangle idea introduced by Ogden and Richards (1923). Their model is modified in this paper, as seen in Figure 1. The following discussion also sets the grounds for the definitions of “object”, “model” and “simulation”, which will be used throughout the paper. The starting point of M&S is an object/phenomenon that can be real or imaginary. The model then becomes a conceptualization of this object. In other words, a model should capture the understanding of an object/referent/problem and facilitate its computer implementation. As such, a model can have many forms ranging from the informal to the formal: mental models, UML diagrams, ontologies, or mathematical equations. It is noted that the model does not have to be computable, but it should facilitate its computer implementation. This position is consistent with Robinson (2008) and Zeigler, Praehofer, and Kim (2000). This position of model as a conceptualization of an object/problem/ can also be traced back to Systems Science (Mitrof et al., 1974). In this instance, the model did not result in a simulation but in another model for which an analytical solution could be obtained. The simulation is the computer implementation of the model (it is another model) and allows the study of a phenomenon overtime. As such, it has to be formal in nature in order to be executed in a computer. It is noted that we are referring to constructive simulations. There are simulations that are needed but are not computable. In those cases, live simulations are used. Assuming that the model is a representation of the object and the simulation 16 more pages are available in the full version of this document, which may be purchased using the "Add to Cart" button on the product's webpage: www.igi-global.com/article/epistemological-ontologicalteleological-methodological-currents/77662?camid=4v1 This title is available in InfoSci-Journals, InfoSci-Journal Disciplines Computer Science, Security, and Information Technology. Recommend this product to your librarian: www.igi-global.com/e-resources/libraryrecommendation/?id=2
论建模与仿真中的认识论、本体论、目的论和方法论潮流:综述
建模与仿真(M&S)已被用于解决问题、做出决策和理解复杂现象。学者们试图通过模型和模拟来理解和制定获得的见解的认知价值。诸如如何将洞察力视为知识,视角和客观性之间的权衡是什么,模型和模拟实现了什么样的目的,以及如何在研究方法范式中使用M&S等问题是讨论哲学基础的起点。在认识论、本体论、目的论和方法论(E/O/T/M)方面的考虑是本文的主要动机。对E/O/T/M考虑因素的全面文献综述为研究M&S的性质提供了一个初步的路线图,导致以下问题:作者如何根据E/O/T/M定义M&S的研究规范?他们如何定义一个基于E/O/T/ m的元模型来描述模型和模拟?作者如何研究基于E/O/T/M考虑的模型验证和仿真?DOI: 10.4018 /贾特人。2013010101 2国际代理技术与系统学报,5(1),1- 18,2013年1月- 3月版权所有©2013,IGI Global。未经IGI Global书面许可,禁止以印刷或电子形式复制或分发。要了解这些共性,就要考察跨学科使用M&S的E/O/T/M基础(前提和假设)。从高层次的角度来看,M&S使用模型来表示感兴趣的现象,并模拟这些模型以获得洞察力或预测。获得洞察力或预测表明知识是从建模和/或模拟活动中产生的。这个知识生成活动一直在讨论以下问题:模拟能产生知识吗?模拟能产生什么样的知识?模拟需要自己的认识论吗?尽管这些都是认识论问题,但它们与建模者的观点、方法和意图相关的本体论、方法论和目的论问题并不是分开的。例如,Frigg和Reiss(2009)认为,尽管模拟在比“真实世界”更理想的条件下创造了平行世界,但这并不是模拟所独有的;因此,它不能保证有一种新的科学哲学。另一方面,Humphreys(2009)指出,随着计算科学的引入,科学哲学学科也出现了新的问题,即:认知不透明、语义、时间动态和实践而非原则。认知不透明是指认知主体对知识的获取有限;语义指的是在模拟脱离现实的情况下,如何将模拟应用于真实系统,计算机模拟如何受到计算机代码语法的限制,以及语义如何包含在该语法下;时间动力学是指涉及模拟的动态过程的时间表征,是科学哲学在预测速度方面的基本要素,而不是演绎;最后,实践,而不是原则,是指计算方法如何迫使研究人员区分哪些是实际适用的,哪些只能作为原则。正如可以推断的那样,模拟和现实之间的差距以及如何以一种可以建立知识的方式弥合它具有认识论,本体论,方法论和目的论的含义。这些影响包括验证(Klein & Herskovitz, 2005)、仿真模型的制定和表征(Lenhard, 2007)等问题,以及最终,仿真是否产生和/或应用知识。为了深入了解这些问题,我们建议研究如何使用E/O/T/M考虑来表征模型和模拟。Turnitsa、Padilla和Tolk(2010)通过将E/O/T考虑与Ogden和Richards(1923)提出的符号学三角思想重叠,对这一命题进行了介绍。本文对其模型进行了修改,如图1所示。下面的讨论还为“对象”、“模型”和“仿真”的定义奠定了基础,这些定义将在整篇论文中使用。M&S的出发点是一个物体/现象,可以是真实的,也可以是想象的。然后,该模型成为该对象的概念化。换句话说,模型应该捕获对对象/参考/问题的理解,并促进其计算机实现。因此,模型可以具有从非正式到正式的多种形式:心智模型、UML图、本体论或数学方程。值得注意的是,该模型不一定是可计算的,但它应该有助于其计算机实现。这一立场与Robinson(2008)和Zeigler, Praehofer, and Kim(2000)的观点一致。 这种将模型作为对象/问题的概念化的立场也可以追溯到系统科学(mitroof et al., 1974)。在这种情况下,该模型没有导致模拟,而是导致可以获得解析解的另一个模型。模拟是模型的计算机实现(它是另一个模型),并允许对一种现象进行长期研究。因此,它必须在本质上是正式的,以便在计算机中执行。应当指出,我们指的是建设性的模拟。有些模拟是需要的,但不是可计算的。在这些情况下,使用实时模拟。假设模型是对象和仿真的表示,本文档的完整版本还有16页,可以使用产品网页上的“添加到购物车”按钮购买:www.igi-global.com/article/epistemological-ontologicalteleological-methodological-currents/77662?camid=4v1此标题可在InfoSci-Journals, InfoSci-Journal journals computers Science, Security, and Information Technology中找到。向您的图书管理员推荐此产品:www.igi-global.com/e-resources/libraryrecommendation/?id=2
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信