带有事务管理的动态偏好逻辑
| 摘要 | 第1-6页 |
| Abstract | 第6-7页 |
| 文献综述 | 第7-13页 |
| 一、认知逻辑与问题逻辑介绍 | 第7-9页 |
| 二、偏好逻辑介绍 | 第9-11页 |
| 三、研究的问题和思路 | 第11-13页 |
| 引言 | 第13-15页 |
| 第一章 基本的认知逻辑和偏好逻辑 | 第15-29页 |
| ·基本的认知逻辑 | 第15-17页 |
| ·认知逻辑的语言 | 第15页 |
| ·认知逻辑的语义 | 第15-16页 |
| ·认知逻辑的公理化 | 第16-17页 |
| ·基本的偏好逻辑 | 第17-20页 |
| ·语言 | 第17页 |
| ·偏好模型 | 第17-18页 |
| ·偏好语言的解释 | 第18页 |
| ·偏好模型的表达力 | 第18页 |
| ·二元偏好序列 | 第18-19页 |
| ·偏好逻辑公理化 | 第19-20页 |
| ·CP(CETERIS PARIBUS)偏好逻辑 | 第20-27页 |
| ·作为其它条件正常的CP | 第20-22页 |
| ·作为其它条件均同的CP | 第22-23页 |
| ·基于"其它条件均同"的偏好逻辑(CPL) | 第23-24页 |
| ·CPL的公理化 | 第24-27页 |
| ·小结 | 第27-29页 |
| 第二章 事务管理逻辑 | 第29-37页 |
| ·静态的事务管理逻辑 | 第29-30页 |
| ·动态的事务管理逻辑 | 第30-33页 |
| ·公开的多主体的动态事务管理逻辑 | 第33-36页 |
| ·小结 | 第36-37页 |
| 第三章 带有事务管理的偏好逻辑 | 第37-49页 |
| ·介绍与动机 | 第37页 |
| ·静态的事务管理偏好逻辑 | 第37-42页 |
| ·介绍 | 第37-38页 |
| ·语言和语义 | 第38-41页 |
| ·证明系统和完全性 | 第41-42页 |
| ·动态的事务管理偏好逻辑 | 第42-47页 |
| ·关于动作的动态语言 | 第42-46页 |
| ·证明系统和完全性 | 第46-47页 |
| ·小结 | 第47-49页 |
| 结束语 | 第49-51页 |
| 参考文献 | 第51-53页 |
| 致谢 | 第53-55页 |
| 在学期间参与的课题和发表的文章 | 第55页 |
