高姣
- 作品数：4 被引量：1H指数：1
- 供职机构：延安大学数学与计算机科学学院更多>>
- 发文基金：陕西省自然科学基金国家自然科学基金更多>>
- 相关领域：理学更多>>
- G?del n值命题逻辑系统的真度理论
- 2017年
- 首先在G?del n值命题逻辑系统中添加了新的连接词Δ,～,给出了G?del n值命题逻辑系统中命题公式间的真度、相似度和伪距离的定义;讨论了在该系统下它们的一些相关性质,并给出了相应的证明。
- 朱乃调惠小静高晓莉高姣
- 关键词：真度相似度伪距离
- G?del n值命题逻辑系统中的Δ真度被引量：1
- 2016年
- 在G?del n值命题逻辑系统中添加了Δ算子,给出了G?del n值命题逻辑系统的Δ真度的定义及等价形式,讨论了在该系统下Δ真度的一些基本性质,论证了Δ真度的推理规则。
- 朱乃调惠小静高晓莉高姣
- 关键词：GODELΔ算子
- 一种蕴涵算子下FMP模型的新型反向三I算法
- 2015年
- 针对Fuzzy推理中提出的"过半可信"原则,证明了RG蕴涵算子满足这一原则,并讨论了RG蕴涵算子下FMP模型的新型反向三I支持算法,新型α-反向三I支持算法,新型α-反向三I约束算法的计算公式,且给予证明。
- 双靖宁惠小静贺锦瑞高姣
- 对称逻辑公式在L4＊逻辑度量空间中的分布
- 2015年
- 在四值逻辑系统L*4中引入了对称逻辑公式。运用Matla软件研究了对称逻辑公式在L*4逻辑度量空间中的计数问题,给出了3n元、3n+1元、3n+2元对称逻辑公式的个数。证明了n元对称逻辑公式占全体n元逻辑公式的比例随n的增大而趋于零。
- 惠小静赵玛瑙高姣
- 关键词：计数问题
