计算机科学 ›› 2004, Vol. 31 ›› Issue (3): 95-98.
• 计算机网络与信息安全 • 上一篇 下一篇
罗敏霞 何华灿
出版日期:
发布日期:
Online:
Published:
摘要: 本文提出泛逻辑学在理想状态(广义相关系数h=0.5.广义自相关系数k=0.5)下的形式演绎系统B。讨论了商代数[F]的性质。进一步证明了形式演绎系统B与文[11]的基本形式演绎系统UL(h=k=0.5)是等价的。
关键词: 人工智能 专家系统 模糊推理 模糊逻辑 泛逻辑 形式演绎系统
罗敏霞 何华灿. 理想状态下泛逻辑的形式演绎系统B[J]. 计算机科学, 2004, 31(3): 95-98. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2004/V31/I3/95
Cited