“判断”是人最基本的思维活动之一。 于汉字(汉字基因): 判═半刀,分也,辨也,斷也; 斷═絲斧,使不連續,折也,判也,絕也,無也。 判斷者,分辨後令之不再連續也。 按西方哲学的传统观念,也是人们现在普遍接受的观念,人的思维活动包括:概念、判断、推理。为此,我们引用在西方语言、逻辑学中占有重要地位的书“Grammaire générale et raisonnée(普遍唯理语法),Antoine Arnauld (1612-1694)和Claude Lancelot (1615-1695)”中一段话: Tous les philosophie enseignent qu'il y a trois opérations de notre esprit: concevoir, juger, raisonner. Concevoir, n'est autre chose qu'un simple regards de notre esprit sur les choses, soit d'une manière purement intellectuelle, comme quand je connaît l'être, la durée, la pensée, Dieu; soit avec des images corporelles, comme quand je m'imagine un carré, un rond, un chien, un cheval. Juger, c'est affirmer qu'une chose que nous concevons est telle, ou n'est pas telle: comme lorsqu'ayant conçu ce que c'est que la terre, et ce que rondeur, j'affirme de la terre, qu'elle est ronde. Raisonner, est se servir de deux jugements pour en faire un troisième: comme lorsqu'ayant jugé que toute vertu est louable, et que la patience est une vertu, j'en conclus que la patience est louable. “所有的哲学家都教导说,我们头脑中有三类活动,即:概念、判断、推理。 概念,指我们头脑简单地观察事物所得,或者是纯粹抽象的,如当我想到存在、时间、思想或上帝;或者是有形象的,如当我想到一个正方体、一个圆形、一只狗或一匹马。 判断,指断定我们构想的事物是这样的或者不是这样的,如当我构想什么是地球和什么是圆形以后,对地球作出判断,认为地球是圆的。 推理,是运用两个判断来求出第三个判断,如当我判断一切美德都是值得赞扬的,并且耐心是一种美德,就得出结论,耐心是值得赞扬的。” 也就是说,按一般的理解,“判断”指对事物的某种性质进行肯定或否定的断定。但是如果我们仔细推敲,就会发现“判断”是有层次之别的。 比如,一个人早上起来,对“昨晚是否下雨”进行判断,若他看到地上有雨水等现象,可肯定:“昨晚下雨了(yes)”,或否定:“昨晚没下雨了(no)”。 他还可以对“明天是否下雨”作出判断,若借助天上压得很低的云等现象,他可断定:“明天下雨(yes)”,或者:“明天不下雨(no)”。 但是,这二个判断却有本质的区别。于前一判断“昨晚是否下雨”,事件已结束, 结果 已形成,故能与 结果 对照,验证 判断的 “对错 / 真假 ”,故此判断是“确定性”。但于后一判断“明天是否下雨”,因 事件仍在进行中, 结果 尚未形成,无 结果 可对照,以验证其“ 对错/ 真假”,故此判断是“不确定性”的。 在P问题和NP问题中,涉及到的正是这二种本质完全不同的“判断”,但因人们忽视了二者的本质区别,造成了现今理解“NP问题”的困难,故我们称之为“不确定性的困惑”。
IBM Almaden 研究中心 的 Modha等学者在《Communications of the ACM》2011年第八期发表“Cognitive Computing”一文,史忠植老师将其译成中文刊于计算机学会通讯,其中有两段讨论了建模与抽象层次(即粒度)的关系,对于复杂系统建模与仿真颇具参考意义。 对仿真的适当抽象层次做出判断是至关重要的。任何物理系统在建模时必须面对这个难题。如果我们选择过高的抽象层次,那么随着我们理解能力的增长,模型中的黑盒子本身会变得异常复杂,并可能无法很好地将其映射到现实中。反之,如果我们选择的抽象层次很低,操作层面的分辨率太高,则会耗费很多计算资源,并导致我们的理解力和注意力被分散到无关紧要的细节上。令人遗憾的是,没有任何捷径能使我们在一开始就找准抽象和分辨率之间的平衡。唯一的解决办法是以群体方式进行实验和探索。 在一个仿真平台上同时达到规模、速度和细节方面的要求,对于计算系统的三大资源——存储、计算和通信而言,是一项严峻的挑战。