基于直觉模糊命题逻辑的（α，β）-广义锁归结方法

摘要	第1-5页
Abstract	第5-8页
1 绪论	第8-14页
·研究背景	第8-9页
·国内外相关研究综述	第9-12页
·直觉模糊推理的研究现状	第9-11页
·归结自动推理的研究现状	第11-12页
·本文研究内容	第12页
·文章结构	第12-14页
2 预备知识	第14-19页
·直觉模糊集	第14页
·直觉模糊逻辑	第14-19页
3 直觉模糊逻辑的(α, β)-广义锁归结方法	第19-28页
·直觉模糊逻辑的(α, β)-归结方法	第19-21页
·直觉模糊逻辑的(α, β)-广义锁归结方法	第21-23页
·直觉模糊逻辑的(α, β)-广义锁归结算法	第23-27页
·本章小结	第27-28页
4 直觉模糊逻辑的(α, β)-准锁语义归结方法	第28-37页
·直觉模糊逻辑的(α,β)-准锁语义互撞	第28-29页
·直觉模糊逻辑的(α, β)-准锁语义归结方法	第29-32页
·直觉模糊逻辑的(α, β)-准锁语义归结算法	第32-36页
·本章小结	第36-37页
5 总结与展望	第37-39页
参考文献	第39-42页
攻读硕士学位期间发表学术论文情况	第42-43页
致谢	第43页