简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:<正>世界的万事万物都是由元素(原子)构成,元素又是由基本粒子(质子、电子)等构成。由于不同性质以及数量的基本粒子,按照一定规律,组成不同结构,时时刻刻运动变化,从而生成纷纭多姿的花花世界。《周易》有一个辩证符号系统,由相反相成的两个被称为“爻”的符号(“一”和“——”),组成反映客观现象的四个“象”和八个“经卦”,再由此经卦两两相合,对立统一,相互转化,用以表达先贤对世界的认识,反映复杂多变的自然和社会现象。创立爻、卦的伏牺以至文王,未必知道世界是由基本粒子和元素构成,然而《周易》的符号系统及其辩证演变规律,则是与客观世界的基本粒子构成元素,元素构成不同的物体及