惠小静
- 作品数：96 被引量：222H指数：10
- 供职机构：延安大学数学与计算机科学学院更多>>
- 发文基金：国家自然科学基金陕西省自然科学基金陕西省教育厅科研计划项目更多>>
- 相关领域：理学文化科学自动化与计算机技术农业科学更多>>
- K^(*)■谓词逻辑系统公理化真度的运算性质研究
- 2023年
- 以一阶谓词逻辑中公理化真度的定义和性质为基础,对K^(*)■谓词演算系统中的公式真度进行了研究,分析了含量词、交算子和蕴涵算子的公理化真度的运算性质,给出了将复杂公式的真度转换为几个简单公式的真度进行计算的方法.
- 鲁星惠小静王波
- 关键词：真度
- n值G?del命题逻辑系统中公式的条件随机真度
- 2015年
- 基于条件概率的思想,利用赋值集的随机化方法,在n值命题G(o|¨)del逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则.引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,证明了条件随机逻辑度量空间中二元运算的连续性.
- 贺锦瑞惠小静双靖宁
- 关于三值R_0命题逻辑系统的若干注记
- 2011年
- 在三值R0命题逻辑系统中证明了随机真度的M P、HS和交推理规则;提出了随机开放度,指出随机开放度与随机发散度是从两个不同的角度刻画了理论的相容程度,并得出对同一个理论而言,二者取值相等的结论。
- 惠小静
- 关键词：随机真度随机逻辑度量空间
- K^(*)∀谓词逻辑系统中相似度及伪距离研究
- 2022年
- 从一阶逻辑系统的相似度出发,结合谓词演算系统K^(*)∀,以公理化真度为基础讨论了公式之间相似度和伪距离的运算性质,对相似度性质进行了简化,并对K^(*)∀中闭公式相似度及伪距离的计算方法和性质作进一步推广。
- 鲁星惠小静王波
- 关键词：相似度伪距离
- Fuuzy数学在预测沙芥生长期菜蚜发生量中的应用被引量：1
- 2007年
- 通过对降雨量和平均气温与沙芥生长期菜蚜发生量之间的分析,运用模糊数学的方法预测沙芥生长期菜蚜的发生量。经检验,2005年预报与实际完全吻合。历史符合率达100%。
- 徐世才惠小静刘军和刘长海
- 关键词：菜蚜发生量
- n值Gdel命题逻辑系统中的F度累积理论被引量：2
- 2013年
- 在n值Gdel命题逻辑系统中指出概率逻辑学基本定理成立,并提出了与真度相对应的F度,证明了F度累积定理。并比较了概率逻辑学基本定理与F度累积定理的异同。
- 惠小静
- 关键词：真度
- 一阶Łukasiewicz演算系统中的相似度及伪距离
- 2023年
- 在Łukasiewicz谓词演算系统中引入公理化真度,在此基础上讨论公式之间相似度和伪距离的运算性质,并举例说明将相似度与伪距离转化为公式真度进行计算的方法.
- 马硕惠小静郝娇
- 关键词：真度相似度伪距离
- MTL∀谓词逻辑系统公理化真度及其相似度的性质研究
- 2023年
- 命题逻辑及谓词逻辑的计量化是近期的一个研究热点,本研究基于左连续三角模的谓词演算系统MTL∀,给出特定形式公式的真度取值范围,并研究含量词公式的相似度性质.
- 王波惠小静马田雨鲁星
- 关键词：相似度
- Gdel n值命题逻辑系统中命题公式的t真度及近似推理
- 2016年
- 通过增加两类算子~和Δ对Gdel n值命题逻辑系统进行公理化扩张Gdel(~,Δ),简记为G(~,Δ)。在Gdel^(^,Δ)中提出了命题公式的t真度的定义(t任取~,Δ),讨论了t真度的MP规则、HS规则、交推理规则、并推理规则以及它的一些相关性质;得到了命题公式间的t相似度和t伪距离的概念以及它们的一些相关性质;最后在t逻辑度量空间中提出了3种不同的近似推理模式,并证明了3种近似推理模式间的等价性。
- 朱乃调惠小静高晓莉
- n值Lukasiewicz命题逻辑系统中公式的矛盾度理论被引量：3
- 2015年
- 在n值Lukasiewicz命题逻辑系统中运用公式的矛盾度概念,讨论了公式矛盾度的部分重要性质,给出了Lukasiewicz命题逻辑系统中的矛盾度并推理规则,进而讨论了矛盾度与推理规则之间的关系.
- 李顺琴惠小静
- 关键词：计量逻辑学
