简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:湖南湘西聚居着26个少数民族,各民族都创造了各自文化独特而又技艺精湛的民族传统手工艺:蜡染、刺绣、织锦、银饰、彩扎、藤编、草编、竹编、木雕、石雕、剪纸、挑花等,现已分别入选国家级、省级非物质文化遗产名录。但在当今以机械化与工业化为特征的现代化发展进程中,民族地区也进入了经济社会发展的急剧转型期,民族传统手工艺不同程度地面临着式微甚至消亡的危机,因而加强民族传统手工艺类非物质文化遗产的传承与保护成为各级政府的当务之急。从动态的创意产业开发角度来推动民族手工艺类非物质文化遗产的保护与利用,不仅传承与保护了湘西民族传统手工艺类非物质文化遗产,而且在发展湘西文化产业新业态、延伸文化旅游的产业链结构、促进地方经济社会发展等方面,具有为当地政府提供精准扶贫战略实施的制度设计与实践指导价值。