简介：双时间参数理论由贝尔纳普于2001年提出，该理论使用不同的语义解释参数构建以言行事行为的语境，以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数，这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先，我们在简要介绍双时间参数理论以及其中问题的基础上，给出修正方案的大体思路，即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次，我们将介绍分支时空逻辑中的主要内容。再次，我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后，我们将具体介绍对双时间参数理论的修正方案。
客服QQ：30444492琼网文【2021】1550-113号
增值电信业务经营许可证：琼B2-20210322
出版物经营许可证：新出发龙华出字第(2021)009号
广播电视节目制作经营许可证：(琼)字第00779号
版权所有 ©2002-2024 期刊网 琼ICP备2021005105号
