学科分类
/ 1
2 个结果
  • 简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。

  • 标签: 时间参数 时间逻辑 行事行为 2001年 语义解释 群体行动
  • 简介:中国古代对老年人和鳏寡孤独等无助群体,以及贫困无以自存的居民所采取的不同形式的社会救助措施,有效地缓和了封建社会的阶级矛盾,对于维护封建统治发挥了重要作用。学习和研究中国古代社会救助措施,调整资源合理配置,建立科学有序的救助举措,完善合理的社会保障制度,实现社会公平,维护社会稳定,对全面建成小康社会具有重要意义。

  • 标签: 生活救济 保障措施 中国古代 启示