评价网 > 科教论文 > 哲学毕业论文 > 哲学论文 > 正文

多主体认知系统中的互知推理(1)

2015-04-13 02:13 在多主体认知系统中，每个主体都是一个推理者。多主体之间互知推理的复杂性在于，这种推理的对象中，不仅包括对象世界的知识，而且包含系统中其他的同样正在进行推理的主体；推理者对其他主体的思考及其结果进行推理，这些主体同样对推理者的思考及其结果进行推理。这使得推理的素材是弹性的，动态的，随着推理的过程不断变化的。这种推理，是对人的日常思维能力的挑战，也是对逻辑学的挑战。　
本文通过构造关于知道的模型，用逻辑语义学的方法，来刻划多主体之间的互知。　
形式语言K　
在形式语言K中：　
1,2,…,n分别表示系统中n个不同的主体。　
p,q,r,s…分别表示如“旧金山正在下雨”、“冰冰额上有泥巴”这样一些原子命题，它们的集合Φ构成作为主体认知和推理对象的外部世界的知识。　
模态算子K[,i]表示“主体i知道…”。因此，K[,i]p读作“主体i知道p”。　
原子命题是公式；如果A是公式，则┐A是公式；如果A和B是公式，则A∧B是公式。如果A是公式，则K[,i]A是公式。　
A∨B（读作“A析取B”，表示“A或者B”）定义为┐(┐A∧┐B)；　
A→B（读作“A蕴含B”，表示“如果A，那么B”）定义为┐A∨B；　
附图（读作“A当且仅当B”）定义为(A→B)∧(B→A)；　
T是p∨┐p这样的永真公式（称为重言式）的缩写，表示“真”；F定义为┐T，表示“假”。　
现在，我们可以把在自然语言中非常复杂的关于知道的命题表述得十分简明。例如，公式
　　K[,1]K[,2]p∧┐K[,2]K[,1]K[,2]p　
表示“主体1知道主体2知道p，但是主体2不知道主体1知道主体2知道p”。　
我们可以用“知道”来定义主观模态“可能”：主体i认为A是可能的，当且仅当主体i不知道┐A，即┐K[,1]┐A。而像“主体i不知道是否p”这样的断定，实际上是说“主体i认为P和┐p都是可能的”，也就是说“主体i既不知道┐p也不知道p”，即┐K[,i]┐p∧┐K[,i]p。　

（转载自科教范文网http://fw.nseac.com）

考虑下面这个有关水门事件的断定：迪恩不知道尼克松是否知道迪恩知道尼克松知道麦卡德偷窃了奥博林在水门的办公室。令主体1表示迪恩，主体2表示尼克松，p表示“麦卡德偷窃了奥博林在水门的办公室”，则该断定可表达为　　┐K[,1]┐(K[,2]K[,1]K[,2]p)∧┐K[,1](┐K[,2]K[,1]K[,2]p)　
形式语言K的语义解释，关于“知道”的模型　
模型M，是一个克里普克结构(W,V,R[,1],…,R[,n])，其中，W是一可能世界集；V是一个解释，它给任一可能世界，指派以一个确定的真值赋值，即对任一w[,i]∈W，和任一原子命题p∈Φ，V(p,w[,i])=T或V(p,w[,i])=F，但不能二者。如果p表示“旧金山正在下雨”，则V(p,w[,i])=T表示在可能世界w[,i]中，旧金山正在下雨；R[,i]是W上的二元关系。如果w[,j]和w[,k]有关系R[,i]，记为w[,j]R[,i]w[,k]，表示主体i依据在可能世界w[,j]中的信息，认为可能世界w[,k]是可能的。（一个世界，是一个事件集，只要其中不包括矛盾事件，就是一个可能世界；但一个可能世界，对于某个主体来说，完全可能是不可能世界，如果这个主体知道这个可能世界中某个事件的矛盾事件。）这里，我们进一步规定R[,i]是同时满足自返、对称和传递关系的等价关系，这样，如果主体i在可能世界w[,j]中觉得w[,k]是可能的，这说明在可能世界w[,j]和w[,k]中，主体i具有对外部世界同样的信息，从而对他来说，这两个世界是无法区分的。因此，w[,j]R[,i]w[,k]也表述为“主体i无法区分w[,j]和w[,k]”。　
一个公式A在一个结构（模型）M的一个给定的可能世界w[,i]中真，记作附图　
附图　
上述模型所表达的核心意思是：主体i知道p，当且仅当p在主体i认为可能的所有可能世界中都真。我们用一个实例的图示来描述这一点，克里普克结构的优点之一是可图示的。　
附图　
上图所示的模型M=(W,V,R[,1],R)，其中，W=｛w[,1],w[,2],w[,3]｝，p在w[,1]和w[,3]中真，而在w[,2]中假。主体1不能区分w[,1]和w[,2]（即主体1在w[,1]认为w[,2]是可能的，由R的对称性，自然在w[,2]同样认为w[,1]是可能的，即w[,1]R[,1]w[,2]和w[,2]R[,1]w[,1]成立），主体2不能区分w[,1]和w[,3]。标有1,2的线段在w[,i](i=1,2,3)从自身指向自身，表示R关系的自返性，即表示w[,i]R[,j]w[,i](i=1,2,3;j=1,2)，例如表示w[,3]R[,1]w[,3]；标有1的线段的两端指向w[,1]和w[,2]，表示主体1不能区分w[,1]和w[,2]，并表示R关系的对称性。同样，标有2的线段表示主体2不能区分w[,1]和w[,3]。