排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
模糊Horn子句逻辑形式系统 总被引:1,自引:0,他引:1
简要回顾逻辑推理的发展历史,指出了经典数理逻辑中存在的一些问题。作者为每个传统的Horn子句赋予一个蕴涵强度f∈(0,1],从而得到模糊Horn子句及其Herbrand解释。进而,对传统Horn子句逻辑的语法和语义进行了拓展,建立了一个基于模糊Horn子句有限集合的逻辑推理系统,并证明了该系统的正确性和完备性。 相似文献
1