模型验证和传统经验主义中的古典经验论及逻辑实证主义的最基本理论难点在于归纳的问题——如果知识产生于经验且仅仅产生于经验,那么人们如何实现从自己的特殊经验到一般认识的跨跃?逻辑实证主义的证实原则较集中地体现了经验论的思想,在强调演绎推理的同时,对知识进行经验验证,使其回归经验,这一点在科学哲学认识论上是一个飞跃。对源于演绎法的逻辑实证主义的批评同样是它不能给人以新的知识。......
2023-08-15
1.证伪主义
科学理论一般都表达为全称判断,经验的对象却总是个别的。个别的事例无论重复多少次,也证实不了一个全称判断。对于全称命题“所有的天鹅都是白的”,如果找到一只黑天鹅,那么这个命题就被证伪了。波普尔认为科学不是始于观察,而是始于“问题”;科学不是通过归纳,而是经过演绎推理;科学不是通过证实,而是通过对科学假说的证伪获得增长。实证主义主张通过经验证实来确认真理,通过单纯量的积累来发展真理。波普尔的证伪主义则与之相反,主张通过证伪来确认真理,通过“试错法”不断证伪而接近真理。
科学证伪主义对模型V&V的最大启发,在于模型V&V的试验设计(Designof Experiment),即通过设计一组针对模型特定应用域的问题,应用模型进行解答,以不断改正、消除模型缺陷,达到对模型进行V&V的目的。优秀的试验设计对模型的V&V有积极意义。由此可见,模型V&V的证伪功能强于证实功能。
2.贝叶斯主义
21世纪以来,随着自然科学理论综合深度和抽象概括程度的提高,不少科学家依据相对论和量子力学等现代科学的成就,认为猜测和假设是科学发现的主要方法,归纳被解释为在假设或普遍命题形成之后用经验事实来衡量其可靠程度的方法。虽然观察证据决不可能使一个概括或预测确定,但至少能使其可概,因此知识能在人类经验的极限内得到保障。也就是我们不能说定律和理论是确实无疑的,我们只能说,这些定律和理论显示了一定程度上为真的概率。
卡尔纳普采取贝叶斯主义立场,把合理信念直接描述为概率函数,并把概率看作代表一个陈述和另一个陈述之间的逻辑关系,以期对合理信念做客观、合理的刻划。
贝叶斯定理可以表示为下述公式:
P(h/e)=P(e/h)P(h)/P(e)
式中,P是概率;h是假设;e是证据,即试验结果或材料。该公式指h相对于e的概率等于h相对于e的似然值,即h为真e的概率乘以h的先验概率与e的先验概率之比。用“C(h,e)”表示“假设h相对证据e的确证程度”,则确证度可用下式表示:
C(h,e1,e2,…en)=r
即陈述证据e1,e2,…en联合起来的逻辑概率r给予结论h。这样,卡尔纳普根据某人x在t时刻对某一条件概率说给予的价值的期望,定义了信念函项的概念。如,假设陈述H相对证据E的信念函项Cr为:
Crx,t(H/E)=Crx,t(E∩H)/Crx,t(E)
同时,卡尔纳普定义某人x在t时刻所有的知识是A,则其在t时刻对H的可信任函项是Cred(H/A),即信念函项是以可信任函项为基础的:
CrT(H1)=Cred(H1/A1)
卡尔纳普的贝叶斯主义为科学命题验证提供了新思路和方法,体现了主客观一致的要求。对模型验证而言,借鉴贝叶斯主义的思想,可为所有类型的模型(连续、离散等)验证找到一个普遍适用的方法。即建立考查模型可信度的指标体系和支持指标体系的证据集合,解析证据集与指标集之间的支持概率,最后自下而上进行聚合,便可得到模型可用(可信度)的概率。
3.库恩主义
库恩主义区别于逻辑实证主义和批判理性主义的一大特点是关于科学整体性的观点。范式理论是库恩科学哲学的理论核心,也是把握库恩主义理论的关键。库恩所称的范式,主要指以下两方面:第一,从心理上说,它是科学共同体所共有的信念;第二,从理论和方法上说,它是科学共同体所共有的“模型”或“框架”。
库恩的科学发展范式为:前科学时期→常规科学时期→反常与危机→科学革命→新的常规科学时期……库恩主义认为科学知识的增长是通过科学范式更替完成的。总体来说,范式就是某一科学家(专家)集团在某一专业或学科中所具有的共同信念。这些信念规定了他们共同的基本理论、基本观点和基本方法,为他们提供了共同的理论模型和解决问题的框架,从而形成了该学科的一种共同传统,并为该学科的发展规定了共同的方向。
库恩主义对于模型V&V的启示是专家意见在模型V&V中有着举足轻重的作用。称为“当面验证(Face Validation)”“图灵验证(Turing Validation)”的模型验证技术就是通过专家与建模人员就建模过程中的问题当面互相问答来逐步对模型进行初步验证的,或让专家对模型的输出给出评价意见等。
4.拉卡托斯的科学研究纲领
拉卡托斯在20世纪70年代提出,任何时代的科学理论体系实质上就是一套科学研究纲领,它是由有组织、具有严格内在结构的科学理论系列,以及相互联系的“硬核”“保护带”“启示法”等组成的。
“硬核(Hard Core)”是科学研究纲领的核心部分,包括基本假设和基本原理。硬核是坚韧的和不容反驳的,硬核不同,研究纲领也不同。硬核改变,研究纲领也改变。例如牛顿力学定律和万有引力定律是牛顿理论体系的硬核,地心说是托勒密天体理论系列的硬核。硬核改变,理论体系的大厦也就倒塌了。
“保护带(Protective Belt)”是科学研究纲领的可反驳的外围弹性地带,包括各种辅助性假说和初始条件,有柔韧性。它是保护硬核不受反驳的辅助性假说的集合,因此又称“辅助假说保护带”。当纲领与观察、实验资料矛盾时,就可以调整辅助假说保护带,保护硬核免受经验的反驳,如天王星的摄动现象,便调整了辅助假设。
“启示法(Heuristic)”是形成科学研究纲领的方法论。它提示科学家提出何种类型的假说、如何发现、如何取得进展及如何解决问题的前赡性方法,包括保护硬核的反面启示法和完善发展纲领的正面启示法。
反面启示法是一种方法论上的反面禁止性规定。它本质上是一种禁令,禁止科学家把经验反驳的矛头指向硬核,而要大家竭尽全力发挥聪明才智排除反例,捍卫硬核,即置反常于不顾。
正面启示法,在于积极发展科学研究纲领,解决怎样补充才能使以“硬核”为核心的科学研究纲领具有更多、更有力的说明和预见实在现象的能力的问题。它鼓励科学家通过增加、精简、修改或完善辅助性假说等方法,来发展整个科学研究纲领。
从拉卡托斯的科学研究纲领来看,模型的V&V既有继承性也有连续性,应当放在一定的历史时期来考察。模型V&V的反复(当然指已V&V过的模型,在经过一段较长的时间后,由于科学理论、应用目的等的变化,需要再V&V)体现了科学理论的演化、量变与质变的统一。
模型验证和传统经验主义中的古典经验论及逻辑实证主义的最基本理论难点在于归纳的问题——如果知识产生于经验且仅仅产生于经验,那么人们如何实现从自己的特殊经验到一般认识的跨跃?逻辑实证主义的证实原则较集中地体现了经验论的思想,在强调演绎推理的同时,对知识进行经验验证,使其回归经验,这一点在科学哲学认识论上是一个飞跃。对源于演绎法的逻辑实证主义的批评同样是它不能给人以新的知识。......
2023-08-15
在图2.10中,DMSO把VV&A过程分成七个阶段,分别为:“决定VV&A要求”“起草VV&A计划”“概念模型V&V”“V&V设计”“V&V执行”“V&V M&S的应用”“进行可接受性评估”。请注意,这些阶段大都是反复进行的,并且包括“收集额外的确认信息”这一阶段。DMSO不仅给出了一般意义上的VV&A范式,还结合M&S自身的特点,给出了不同的VV&A范式,如HLA中的VV&A范式、DIS中的VV&A范式和ALSP中的VV&A范式等,在此不再一一描述。图2.10 DMSO普遍意义上M&S中的VV&A范式......
2023-08-15
根据上述原则,我们认为,SEBVV&AL的结构应具有以下特点:1)它是一个“人在回路”的系统。SEBVV&AL如同一个车辆的检测站,无论对于车的大小、质量,还是发动机,都提供一套规范的检测流程。构建完成的SEBVV&AL至少要具备三大基本功能:1)策略制定功能。由此可见,SEBVV&AL的一种基本组成结构可设计为如图6.2所示。图6.2 一种SEBVV&AL基本组成结构简图......
2023-08-15
同时,模型的解释功能也具有唯物性,因为模型解释的本质是基于客观基础的。科学理论的评价和检验是很复杂的。[1]本节主要内容摘自:夏甄陶.中国认识论思想史稿(下卷)[M].北京:中国人民大学出版社,1996:487-488。[3]认识、理论的“诚妄”,不是“口舌之争”的问题,而是一个“事实”问题。[5]国家教委社会科学研究与艺术教育司.自然辩证法概论[M].北京:高教出版社,2000。......
2023-08-15
V&V活动的目的是约减使用M&S的风险,所进行的每一项活动都是要解决使用者关心的问题域中的相应问题,简而言之,V&V活动是为了“释疑”。实践中,不同M&S的特质不同,V&V活动除对上述普遍问题进行“释疑”外,还要针对M&S的特质,解答不同的问题。图4.1简单展示了针对V&V活动要解答的问题,由SMEs制定的V&V活动全息图。显然,所有V&V活动集表征了V&V活动的广度。......
2023-08-15
由于东西方文化的差异和思维形式、方法的反差,在科学逻辑和模型V&V的讨论方面并没有出现类似西方的百家争鸣的现象。在严复看来,名学(逻辑)作为“求诚之学”,就是研究如何获得“真实无妄之知”的学问。严复在这里所说的名学(逻辑学),实际上也包括认识论。严复关于认识模型方面的思想,基本上是在近代西方实证的自然科学和唯物主义经验论的基础上建立起来的。......
2023-08-15
V&V是从整体上不断考察建模与仿真的活动,剖析其构成特点和运动方式,判断其认识世界的能力,在这一点上与科学认识论与方法论是相通的。这一点便是模型V&V的科学逻辑基础。本章的目的不是介绍使模型V&V变得更为轻松的技术方法,而是介绍、分析现今与模型V&V问题相关的主要西方科学哲学流派,以期从认识论、方法论的角度来把握模型V&V的问题本质,并拓展视野。......
2023-08-15
具体而微的V&V方法的代表,在DMSO发布的VV&A RPG中列出了四大类76种方法。表2.4对不同的V&V方法应用于六个不同的M&S阶段做了统计。表2.5 统计验证方法对于具体V&V方法的研究在诸多文献中均有论述。王子才等对V&V的具体方法进行了分类;Richard Kuhn等讨论了如何应用高效费比的V&V方法;Osman Balci总结了相关的45种模型V&V的方法及其应用;Sargent综述了模型验证方法,主要有图灵测试法、灵敏度分析法、极端条件测试法、统计检验法和主观有效性检验等。......
2023-08-15
相关推荐