计算机科学 ›› 2004, Vol. 31 ›› Issue (3): 95-98.

• 计算机网络与信息安全 • 上一篇    下一篇

理想状态下泛逻辑的形式演绎系统B

罗敏霞 何华灿   

  1. 西北工业大学计算机科学与工程系,西安710072 运城学院数学系,运城044000
  • 出版日期:2018-11-17 发布日期:2018-11-17

  • Online:2018-11-17 Published:2018-11-17

摘要: 本文提出泛逻辑学在理想状态(广义相关系数h=0.5.广义自相关系数k=0.5)下的形式演绎系统B。讨论了商代数[F]的性质。进一步证明了形式演绎系统B与文[11]的基本形式演绎系统UL(h=k=0.5)是等价的。

关键词: 人工智能 专家系统 模糊推理 模糊逻辑 泛逻辑 形式演绎系统

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!