您的位置： 专家智库
>
资助详情>
国家教育部博士点基金(20100202120012)
国家教育部博士点基金(20100202120012)
- 作品数：5 被引量：36H指数：4
- 相关作者：周红军折延宏更多>>
- 相关机构：陕西师范大学西安石油大学更多>>
- 发文基金：国家教育部博士点基金国家自然科学基金陕西省自然科学基金更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 形式系统L＊中极大相容逻辑理论的拓扑刻画被引量：4
- 2011年
- 进一步研究了形式系统L*中极大相容理论的Stone拓扑性质,给出了开、闭集的结构刻画;在全体极大相容理论之集上引入了一种三值拓扑,证明该拓扑空间是零维的、覆盖式紧的和Hausdorff的;最后讨论了上述三值拓扑与Stone拓扑间的联系.为建立基于形式系统L*的知识推理理论奠定基础.
- 周红军
- 基于n-值ukasiewicz命题逻辑的概率计量化推理系统被引量：4
- 2013年
- 通过把n-值ukasiewicz命题逻辑中公式的概率真度函数抽象为模态词,把概率真度函数的基本恒等式抽象为关于模态词的公理,建立一个模态化的形式推理系统,构建其语构理论及语义理论,证明该系统关于概率真度函数的完备性定理,从而为概率计量逻辑奠定逻辑基础.
- 周红军
- ■ukasiewicz命题逻辑中命题的Borel概率真度理论和极限定理被引量：18
- 2012年
- 通过视赋值集为通常乘积拓扑空间,利用其上的Borel概率测度在n值及连续值■ukasiewicz命题逻辑系统中引入了命题的Borel概率真度概念,讨论了它的基本性质,特别是给出了n值情形中概率真度函数的积分表示定理,并得到了其与连续情形概率真度函数之间关系的一个极限定理.结果表明,计量逻辑学中命题的真度概念只是所研究工作的一个特例,因而基于概率真度概念可以为不确定性推理建立一种更为宽泛的计量化模型.
- 周红军
- 关键词：概率真度极限定理
- Lukasiewicz命题逻辑中命题的Choquet积分真度理论被引量：9
- 2013年
- 将已有的不确定性测度概念引入到了Lukasiewicz命题逻辑中的全体赋值之集上,然后利用McNaughton函数关于该不确定性测度的Choquet积分定义了命题的Choquet积分真度概念.证明了当赋值空间上的不确定性测度满足有限可加性时Choquet积分真度函数就具有良好性质,由此可诱导出命题集上的一个伪距离,进而可建立逻辑度量空间并展开程度化推理,特别是证明了当赋值空间上的不确定性测度取为Borel概率测度时Choquet积分真度函数就退化为概率计量逻辑中的Borel概率真度函数.本文是已有命题逻辑概率计量化工作的继续与深入,为表示逻辑命题间不确定性的非线性关系提供了一种推理框架.
- 周红军折延宏
