基于改进的无穷值语义解释的中介谓词逻辑的λ-归结 |
| |
作者姓名: | 张胜礼 潘正华 |
| |
作者单位: | 1. 兴义民族师范学院计算机科学系,贵州兴义,562400 2. 江南大学理学院,江苏无锡,214122 |
| |
基金项目: | 国家自然科学基金资助项目(60973156);兴义民族师范学院科研基金资助项目研究成果(11XYYZ07) |
| |
摘 要: | 中介谓词逻辑系统MF的无穷值语义解释,反映了反对对立概念之间的可变过程,并且该解释不同于MF的其他任何语义解释。但在该无穷值语义解释下,"当A fuz时~A真"这种情况并未得到反映。在此基础上,进一步研究得到了中介谓词逻辑系统MF一种真值域为[0,1-λ)∪(1-λ,λ)∪(λ,1](λ∈(0.5,1))的无穷值语义解释,重新定义了MF的文字,给出了MF中λ-互补文字及弱无中介集的定义,提出了一种新的MF的λ-归结原理,并证明了其可靠性和完备性。在改进的MF的无穷值语义解释下,不仅较好的表达了"当A fuz时~A真"的情形,而且其λ值的确定,可根据一定的实例知识计算出来,具有客观性。该解释进一步表明用中介逻辑作为模糊知识的表示与推理的工具是可行的。
|
关 键 词: | 中介谓词逻辑系统 λ-解释 归结原理 λ-归结 |
收稿时间: | 2011-03-25 |
本文献已被 CNKI 万方数据 等数据库收录! |
| 点击此处可从《山东大学学报(理学版)》浏览原始摘要信息 |
|
点击此处可从《山东大学学报(理学版)》下载全文 |
|