非单调逻辑的可判定性与可译性
| 摘要 | 第1-5页 |
| Abstract | 第5-10页 |
| 第1章 引言 | 第10-17页 |
| ·从Advice Taker说起 | 第10-13页 |
| ·主要研究的问题 | 第13-15页 |
| ·本文的结构 | 第15-17页 |
| 第2章 预备知识 | 第17-33页 |
| ·经典逻辑 | 第17-20页 |
| ·无穷长公式逻辑 | 第20-21页 |
| ·阶逻辑 | 第21-23页 |
| ·限定理论 | 第23-25页 |
| ·稳定语义 | 第25-30页 |
| ·逻辑程序 | 第30-33页 |
| 第3章 可判定与不可判定类 | 第33-53页 |
| ·基本定义及性质 | 第33-36页 |
| ·强不可判定类 | 第36-46页 |
| ·强可判定类 | 第46-50页 |
| ·小结与相关工作 | 第50-53页 |
| 第4章 模型论性质 | 第53-65页 |
| ·下降Lowenheim-Skolem性质 | 第53-63页 |
| ·上升Lowenheim-Skolem性质 | 第63-64页 |
| ·小结 | 第64-65页 |
| 第5章 可译性与语言表达力 | 第65-93页 |
| ·基本定义及性质 | 第65-67页 |
| ·稳定理论与逻辑程序 | 第67-80页 |
| ·量词消去 | 第67-77页 |
| ·否定消去 | 第77-79页 |
| ·否定消去 | 第79-80页 |
| ·稳定理论与二阶逻辑 | 第80-84页 |
| ·限定理论与稳定理论 | 第84-89页 |
| ·CIRC[FO]到SM[FO] | 第84-85页 |
| ·SM[FO]到CIRC~v[FO] | 第85-89页 |
| ·小结与相关工作 | 第89-93页 |
| 第6章 翻译优化与一阶答集求解 | 第93-106页 |
| ·量词消去优化 | 第93-95页 |
| ·限定理论嵌入优化 | 第95-96页 |
| ·USO到SM[FO]的另一种翻译 | 第96-98页 |
| ·一阶答集求解 | 第98-104页 |
| ·团染色问题 | 第99-101页 |
| ·QBF可满足问题 | 第101-102页 |
| ·实验结果 | 第102-104页 |
| ·小结及相关工作 | 第104-106页 |
| 第7章 结论与展望 | 第106-108页 |
| 参考文献 | 第108-114页 |
| 致谢 | 第114-115页 |
| 个人简历、在学期间发表的学术论文与研究成果 | 第115页 |
