-
题名中介谓词逻辑系统的λ-归结
被引量：12
- 1
-
-
作者
潘正华
-
机构
江南大学理学院
-
出处
《软件学报》
EI
CSCD
北大核心
2003年第3期345-349,共5页
-
基金
Supported by the Basic Research Foundation of Southern Yangtze University of China under Grant No.JYJ01-01-08 (江南大学基础研究基金)
-
文摘
给出中介逻辑谓词演算系统MF的一种无穷值语义解释,即无穷值的λ解释,将λ-归结方法引入到MF中,讨论了MF的λ-归结原理,并证明了它的完备性.
-
关键词
中介谓词逻辑系统
Λ-归结
语义解释
无穷值语义解释
λ-可满足性
半可判定算法
-
Keywords
medium predicate logic system
semantic interpretation
semantic interpretation of infinitely value
l-satisfiability
l-resolution
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名中介谓词逻辑一种改进的语义解释及λ-归结
- 2
-
-
作者
张胜礼
潘正华
-
机构
兴义民族师范学院计算机科学系
江南大学理学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2011年第22期41-43,56,共4页
-
基金
国家自然科学基金No.60973156
兴义民族师范学院科研基金资助项目研究成果(No.11XYYZ07)~~
-
文摘
潘给出的中介谓词逻辑系统MF的无穷值语义解释,不同于MF的其他任何语义解释。但在该无穷值语义解释下,"当Afuz时～A真"这种情况并未得到反映,并且该解释在模糊知识推理中必须作适当的修改才能更符合客观思维。给出了中介谓词逻辑系统MF一种真值域为(0,1-λ)∪(1-λ,λ)∪(λ,1)(λ∈(0.5,1))的无穷值语义解释,重新定义了MF的文字,提出了一种新的MF的λ-归结原理,证明了其完备性。该解释进一步表明用中介逻辑作为模糊知识的表示与推理的工具是可行的。
-
关键词
中介谓词逻辑
语义解释
λ-解释
Λ-归结
-
Keywords
medium predicate logic
semantic interpretation
λ-interpretation
λ-resolution
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
