简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:中国文艺的“道统”观念是民族传统文化结构体系中一个重要的组成部分,决定着文艺的思维方式和价值标准。电影这种艺术形态尽管是舶来品,一经传到中国,使被中国传统文化所消解而使之中国化。电影通过迎合传统的艺术观念,继承了功能目的论的艺术理论观,从文以载道的艺术观念出发来把握电影作品和电影创作方法,带有浓厚的民族意识和民族风格。一代代电影人所追求的,不是改良社会,唤起民众,挽救危亡,就是关注民族生存,思考人类命运这类极为崇高的人生目的。注重认识功能和教化功能的载道传统在中国电影中得到了轰轰烈烈的张扬。中国电影始终在传统艺术理论的关怀下,创造性地继承和发扬了中华传统审美文化的叙事智慧。