Answer Set编程及其应用研究
| 摘要 | 第1-7页 |
| ABSTRACT | 第7-13页 |
| 第一章 绪论 | 第13-30页 |
| ·理论朔源 | 第13-20页 |
| ·逻辑编程 | 第13-16页 |
| ·非单调推理 | 第16-20页 |
| ·非单调逻辑编程 | 第20-22页 |
| ·Answer Set编程及研究现状 | 第22-27页 |
| ·理论研究 | 第23-24页 |
| ·计算方法与编程系统实施 | 第24-25页 |
| ·应用研究 | 第25-27页 |
| ·研究重点和贡献 | 第27-29页 |
| ·全文组织结构 | 第29-30页 |
| 第二章 Answer Set编程理论 | 第30-56页 |
| ·一阶逻辑 | 第30-34页 |
| ·一阶语言 | 第30-32页 |
| ·解释及模型 | 第32-34页 |
| ·Herbrand理论 | 第34-37页 |
| ·Horm编程 | 第37-40页 |
| ·语法 | 第37-38页 |
| ·语义 | 第38-40页 |
| ·Answer Set程序 | 第40-41页 |
| ·Answer Set语义 | 第41-46页 |
| ·正规非析取程序 | 第41-44页 |
| 2..5.2 正规析取程序 | 第44-45页 |
| ·扩展析取程序 | 第45-46页 |
| ·推理 | 第46页 |
| ·语法及语义特征 | 第46-49页 |
| ·层次性 | 第48-49页 |
| ·头无圈性 | 第49页 |
| ·程序分割 | 第49-50页 |
| ·权约束编程 | 第50-55页 |
| ·语法 | 第51-52页 |
| ·语义 | 第52-54页 |
| ·优化机制 | 第54-55页 |
| ·本章小结 | 第55-56页 |
| 第三章 策略冲突消解 | 第56-76页 |
| ·ECA策略 | 第56-59页 |
| ·形式定义 | 第57-58页 |
| ·Horn编程 | 第58-59页 |
| ·冲突 | 第59-65页 |
| ·行动约束 | 第59-61页 |
| ·优化消解 | 第61-62页 |
| ·冲突类型 | 第62-65页 |
| ·Chomicki方法的局限性 | 第65-67页 |
| ·冲突消解权约束程序 | 第67-72页 |
| ·基数最优消解 | 第68-70页 |
| ·权值最优消解 | 第70-72页 |
| ·事件取消 | 第72-73页 |
| ·应用模型框架及其流程 | 第73-75页 |
| ·本章小结 | 第75-76页 |
| 第四章 Web服务自动组合 | 第76-100页 |
| ·SELS | 第77-78页 |
| ·组合方案 | 第78-85页 |
| ·基本服务 | 第78-80页 |
| ·复杂服务 | 第80-83页 |
| ·组合服务 | 第83-85页 |
| ·语义及Answer Set编程表示 | 第85-93页 |
| ·组合方案的语义 | 第85-86页 |
| ·Answer Set程序编码 | 第86-93页 |
| ·互斥约束 | 第93-96页 |
| ·示范举例 | 第96-98页 |
| ·本章小结 | 第98-100页 |
| 第五章 ER模型表示 | 第100-121页 |
| ·ER模型 | 第100-105页 |
| ·概述 | 第100-101页 |
| ·模型要素 | 第101-104页 |
| ·多样性及弱实体类型性质 | 第104-105页 |
| ·基本模式 | 第105-110页 |
| ·语法 | 第105-107页 |
| ·语义 | 第107-110页 |
| ·Answer Set编程表示 | 第110-118页 |
| ·编码 | 第111-114页 |
| ·正确性证明 | 第114-118页 |
| ·扩展 | 第118-120页 |
| ·本章小结 | 第120-121页 |
| 第六章 全文总结及进一步的工作 | 第121-124页 |
| ·全文总结 | 第121-122页 |
| ·未来工作 | 第122-124页 |
| 致谢 | 第124-125页 |
| 参考文献 | 第125-138页 |
| 个人简历、在学期间发表的学术论文及研究成果 | 第138-139页 |
