高香妮
- 作品数：5 被引量：17H指数：2
- 供职机构：陕西师范大学数学与信息科学学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：理学更多>>
- 逻辑系统G_n中理论的真度概念及其应用被引量：2
- 2010年
- 首次在命题逻辑系统中引入理论的真度概念,使得真度的概念由公式的真度推广为公式集的真度,从而简化了发散度的概念;在逻辑系统Gn中讨论了理论Γ1、Γ2和Γ1∪Γ2的真度、相容度和发散度之间的关系。
- 高香妮折延宏王国俊
- 关键词：真度相容度发散度
- 命题逻辑系统中理论的真度概念及其应用
- 众所周知,数理逻辑的特点在于符号化和形式化,它和计算数学有着截然不同的风格;前者注重形式推理而后者注重数值计算;前者强调严格论证而后者允许近似求解.王国俊教授从基本概念的程度化入手,建立了计量逻辑学,架起了人工智能和数值...
- 高香妮
- 关键词：相容度发散度
- 文献传递
- 命题逻辑系统中理论的真度概念及其应用被引量：10
- 2009年
- 首次在命题逻辑系统中引入理论的真度概念,将公式的真度推广为公式集的真度,从而简化了发散度的概念;进一步得出:当理论Γ相容时,理论的真度与相容度之间的关系为η(Γ)=(1+τ(Γ))/2;在命题逻辑系统C2中,将理论Γ1和Γ2分为六类,分别讨论了各类中理论Γ1、Γ2与Γ1∪Γ2的真度之间的关系.
- 王国俊高香妮
- 关键词：相容度发散度
- 二值命题逻辑的D-条件发散度理论被引量：2
- 2010年
- 在二值命题逻辑中引入D-条件发散度的概念,讨论了D-条件真度与D-条件发散度之间的关系;同时讨论了理论Γ是D-全发散与理论Γ基于∑是D-全发散之间的关系.
- 高香妮王国俊
- 二值逻辑的D-条件真度理论被引量：4
- 2009年
- 文章在二值命题逻辑中公式的D-随机真度和条件真度的基础上,在D-逻辑度量空间(F(S),ρD)提出了D-条件真度的概念,同时讨论了D-条件真度的有关性质,并引入了基于Γ的矛盾式与重言式的概念和公式A与B基于Γ逻辑等价的概念;进一步给出了公式间D-条件相似度和D-条件逻辑伪距离的概念,同时讨论了它们的性质。
- 高香妮王国俊
