带约束的认识缺省理论的动态特性研究

摘要	第1-5页
Abstract	第5-10页
第一章 绪论	第10-25页
·关于缺省逻辑的研究背景	第11-16页
·缺省理论的定义和基本性质	第11-12页
·带约束的缺省理论的定义和基本性质	第12-14页
·模态缺省理论的定义和基本性质	第14-16页
·关于认识逻辑（EL）的研究背景	第16-18页
·认识逻辑的公理和推理规则	第16-17页
·认识逻辑的语义	第17页
·认识逻辑的基本性质	第17-18页
·关于开放逻辑的研究背景	第18-21页
·开放逻辑的基本性质	第18-19页
·认识进程	第19-20页
·开放逻辑与缺省理论的关系	第20-21页
·关于缺省逻辑的动态特性研究	第21-23页
·关于AGM 的信念修正理论	第21-22页
·带约束的缺省理论的动态特性	第22-23页
·本文的主要研究内容	第23-25页
第二章 带约束的认识缺省逻辑（CEDL）	第25-36页
·带约束的认识缺省逻辑（CEDL）	第25-34页
·缺省推理的语义	第34页
·小结	第34-36页
第三章 带约束的认识缺省逻辑的动态特性	第36-56页
·Agent 关于扩充的知识更新	第36-46页
·新知识、有效知识和知识反驳的定义	第37-38页
·Agent 获得新知识所对应的扩充	第38-41页
·Agent 获得有效知识所对应的扩充	第41-44页
·Agent 受到知识反驳所对应的扩充	第44-46页
·Agent 关于扩充的约束更新	第46-53页
·新约束和约束反驳的定义	第47-48页
·Agent 遇到新约束下的扩充	第48-49页
·Agent 遇到约束反驳下的扩充	第49-53页
·Agent 的认识进程	第53-55页
·讨论和小结	第55-56页
第四章 比较与分析	第56-58页
第五章 结束语	第58-60页
[参考文献]	第60-63页
附录	第63-64页
致谢	第64页