【模糊逻辑和推理的研究及直觉逻辑中的证明方法和实现的研究】石生利.pdf
分类号:C/TP31 密级:内部 模糊逻辑和推理的研究及直觉逻辑 中的证明方法和实现的研究 石生利 指导教师:王湘浩教授,吉林大学计算机系 刘叙华教授,吉林大学计算机系 专业各称:计算机软件(人工智能)论文答辨日期:一九九〇年十二月十一日 授予学位日期:-do年十=月=+六日 答辩委员会主席:陆汝铃教授(中科院数学所) 论文评阅人:陆汝钞教授 美 授(中科院软伴所 刘应明教授(四川大学 吉林大学 一九九0年十月
目录 提要 第一部分.关于模糊逻辑及其推理的研究 第一章.引论1.人工智能中的不精确和不确定性推理1.模糊逻辑与形式化模糊推理1.本文第-部分的工作第二章.算子模糊逻辑OFL2.算子格2.OFL的公式2.OFL的模型2.可满足性与恒真性2.OFL公式的Skolem范式2.-互补和一相似第三章.模糊逻辑中的推理3.引言3.-MATRIX证明方法3.完全性定理第四章.
第十三章.直觉逻辑证明系统ILP 13.系统概述13.编辑证明13.模型剪枝技术与ND证明过程 13.MP证明过程13.证明的例13.