常识推理中非单调逻辑的研究

第一章 绪  论	第1-9页
1．1 常识推理与非单调推理	第6-7页
1．2 联想是人类思维的一种基本方式	第7-8页
1．3 内容梗概	第8-9页
第二章 联想逻辑	第9-18页
2．1 建立联想逻辑的动因	第9页
2．2 联想逻辑的语法结构	第9-12页
2．3 联想逻辑的语义结构	第12-18页
第三章 联想逻辑与模态逻辑的关系	第18-26页
3．1 知识的逻辑及其性质	第18-19页
3．2 将联想逻辑嵌入到模态逻辑框架	第19-23页
3．3 联想推理关系与非单调推理	第23-26页
第四章 广义信念修正的占先模型	第26-35页
4．1 引言	第26页
4．2 广义信念修正的假设系统	第26-28页
4．3 占先模型	第28-29页
4．4 广义信念修正的占先模型	第29-35页
第五章 开放逻辑中R-重构的表推演系统	第35-44页
5．1 引言	第35页
5．2 经典命题逻辑P的表推演系统及其等价形式	第35-37页
5．3 R-重构及其表推演系统	第37-43页
5．4 小结	第43-44页
第六章 总结	第44-46页
6．1 本文工作总结	第44页
6．2 存在问题与进一步研究内容	第44-46页
致  谢	第46-47页
攻读博士学位期间发表的论文	第47-48页
参考文献	第48-50页