郝国平
- 作品数:2 被引量:0H指数:0
- 供职机构:延安大学数学与计算机科学学院更多>>
- 发文基金:陕西省自然科学基金博士科研启动基金国家自然科学基金更多>>
- 相关领域:理学更多>>
- 逻辑系统L*中基于Г-演绎真度的近似推理
- 2015年
- 在逻辑系统L*中引入了公式Γ-演绎真度的概念,在Γ-演绎真度的基础上,定义了Γ-演绎相似度与伪距离,并讨论了它的一些基本性质。接着在逻辑系统L*中定义了3种不同类型的近似推理模式,对Γ-演绎真度的3种不同类型的近似推理模式之间的关系进行了详细的研究,结果表明这3种不同类型近似推理模式是等价的。通过对这些理论的研究,为进一步研究基于Γ-演绎真度的发散度、相容度和近似推理奠定了良好的基础。
- 郝国平惠小静赵玛瑙
- 关键词:等价
- 逻辑系统RDP中广义重言式的语义MP、HS规则
- 2014年
- 将修正的Kleene逻辑系统中的语义MP规则和语义HS规则推广后应用于RDP逻辑系统,讨论了RDP逻辑系统中广义重言式的广义语义MP规则和广义语义HS规则,得出在逻辑系统D1/2中,广义语义(1/2)+-MP,(1/2)+-HS,1-MP,1-HS规则成立,而广义语义1/2-MP,1/2-HS规则不成立。
- 惠小静郝国平
- 关键词:广义重言式