-
题名固定点逻辑和积封闭的关系分析
- 1
-
-
作者
董英东
-
机构
贵州工程应用技术学院逻辑与文化研究中心
-
出处
《贵州工程应用技术学院学报》
2019年第3期1-9,共9页
-
基金
国家社科基金重大项目“现代归纳逻辑的新发展、理论前沿与应用研究”,项目编号:15ZDB08
-
文摘
标准一阶逻辑具有封闭性。其封闭性主要表现在三个方面,其一是在关系下是封闭的,其二是在谓词置换下是封闭的,其三是在某些积构造下也是封闭的。另外,这三条性质在扩充的一阶逻辑语言中也同样成立。通过对基于知识和信息流的认知逻辑中公开宣告逻辑的扩充,刻画包括PDL和模态μ演算的模态固定点逻辑的模态语言可以定义严格的“积封闭”。均衡博弈为无穷博弈,以模态固定点逻辑为其博弈语义,均衡博弈具有历史约束确定的、有利于构建模态固定点逻辑的语义。
-
关键词
固定点逻辑
积封闭
均衡博弈
信息流
-
Keywords
Fixed-point Logic
Product Closure
parity game
Information Flow
-
分类号
B81
[哲学宗教—逻辑学]
-
-
题名基于摩尔奇偶型CA与生命游戏演化的组合模型
被引量：1
- 2
-
-
作者
赵海英
车跃跃
徐正光
-
机构
新疆师范大学计算机科学技术学院
北京科技大学信息工程学院
-
出处
《计算机应用研究》
CSCD
北大核心
2011年第12期4734-4737,共4页
-
基金
国家自然科学基金资助项目(60863010)
国家"973"前期计划专项课题项目(2010CB334709)
新疆自然科学基金资助项目(2010211a19)
-
文摘
基于摩尔奇偶型CA,提出一种结合生命游戏的演化模型。首先设置初始构型进行摩尔奇偶型规则演化,再引入生命游戏规则,按游戏规则演化;最后依此重复摩尔奇偶规则和生命游戏规则,直到演化整个元胞空间。证实在摩尔奇偶型CA的基础上,结合生命游戏在很大程度上减小了演化过程对初始构型的依赖,出现更为丰富的图元以及基于图元和演化框架的动态图案,且演化过程仍然符合摩尔奇偶型CA的演化规律。结合模型可以避免演化过度依赖初始构型以及演化过程的单调性,而且组合演化模型可以应用于图案生成,生成保持风格的规则几何纹理图案,丰富图案的生成方法。
-
关键词
摩尔奇偶型
生命游戏
演化规则
图案生成
-
Keywords
Moore parity cellular automation（MPCA）
game of life
evolution rules
pattern generation
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
