简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:城乡信息分化研究对我国开展农村信息扶贫工作、促推农村互联网发展与应用具有重要参考价值.通过对2011一2016年度《中国互联网络发展状况统计报告》关于互联网普及率等数据的分析发现,城乡信息分化在我国依然客观存在并形成新的态势,农村互联网普及率远远低于城市.农村居民不仅信息接触落后于城市,而且信息应用上也落后于城市,农村人口中还存有大量信息贫困人口.造成农村信息贫困的致因既有技术条件原因,也有社会条件原因.其中信息化对城乡差别的“促扩效应”、城市化对农村精英的“掏空效应”是新的致因.当前我国网络推广使用的最大潜在市场在农村.要使农村网民大幅度增加,只有深入开展农村互联网推广工作,并切实做好农村信息精准扶贫,才能真正达到目的.