简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:20世纪后期以来,人类的组织和社会都经历了一个从虚拟化到网络化的发展过程,也使虚拟政府作为一种生成中的政府形式而呈现了出来。当前,虚拟政府在组织方面表现出了较为清晰的特征。就组织构图而言,在虚拟政府中,传统科层机构仍然存在,但其横向结构的重要性将超过纵向结构,从而更多地表现为一个分工—协作体系,而不是命令—控制体系。同时,任务型组织与行动者网络将得到日益广泛的应用,使虚拟政府在整体上更具灵活性与开放性。就规则分布而言,促进性规则的比重和重要性都将大大增加,控制性规则则退而承担起一种保障性的角色,从而使虚拟政府的规则体系也表现出更高的灵活性和有机性。