国家自然科学基金(60543064)
- 作品数:3 被引量:4H指数:1
- 相关作者:张再跃张晓如乔欣姜腊林于枫更多>>
- 相关机构:江苏科技大学东南大学中国人民解放军南京陆军指挥学院更多>>
- 发文基金:国家自然科学基金国家部委资助项目更多>>
- 相关领域:自动化与计算机技术理学更多>>
- 基于特征矩阵的粗糙集关系性质分析与表示定理被引量:1
- 2008年
- 本文着重研究粗糙集理论基本概念与基本运算的矩阵表示,用特征矩阵描述粗糙集理论中的基本概念,并通过研究特征矩阵运算性质,揭示和刻画粗糙集知识空间的基本代数性质。同时,定义特征矩阵"与积"和"或积"两种逻辑运算,分别对上、下近似概念相对应;针对完备信息系统与不完备信息系统的特点,分析基于对象属性值的相关关系性质,证明不同关系下对象集的上、下近似集和对象关系类的特征矩阵表示定理。
- 张晓如张再跃
- 关键词:粗糙集特征矩阵逻辑运算信息系统
- 协同救援一致性推理模型及求解算法
- 2010年
- 针对传统的一致性推理模型多测重于单纯的定量、定性时态推理,难以适用于协同救援方案求取问题,基于Allen区间代数理论,添加逻辑约束,提出了一种协同救授一致性推理模型,该模型型同时包含救援行为时态约束和逻辑约束两类信息。基于该模型的等价类子网化简设计协同方案求解算法,并以海上协同教授一致性方案推理为例演示建模与求解过程。结果表明,该模型符合协同一致性方案求解对时态、逻辑两方面推理的需求,可应用于协同救援规划验证。
- 于枫乔欣姜腊林
- 基于命题模型集的信念修正描述被引量:3
- 2008年
- 基于命题理论的信念修正是知识工程领域研究的重要内容,AGM公设是目前普遍认可的最为基本与直观的信念修正形式系统的假设.分析了命题运算的基本性质以及相关模型基本特点,以基于有穷命题变元的命题逻辑的模型集合为论域,定义了一种模型选择算子,并证明了由该算子导出的基于知识基的信念修正算子满足AGM公设.
- 张晓如张再跃
- 关键词:信念修正命题逻辑模型集