简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:<正>进入本世纪,西方科学越来越摆脱机械论的泥淖,大步地向以往的分析科学不能涉足的临界行为、突变行为、远离平衡态的系统行为以及从混沌到有序的自组织行为等复杂领域迈进,相继产生了以突变论,耗散结构、协同学为代表的旨在探索复杂组织系统的新兴科学。随之而来的是受到极大震动的自然哲学界直觉地将关注的重心轮回到与机械论对立的古代中国有机论自然哲学。这种现实的逼迫虽然无形中抬高了古代中国自然哲学的价值,但却少有切中要害的方法论省视,中国古代自然哲学的要籍(譬如《周易》、《内经》、《淮南子》、《抱朴子》等)之间仍处于分立状态,并多少蒙着神秘的面纱。