封面
声明
目录
中文摘要
英文摘要
第1章 绪论
1.1选题的背景及意义
1.2基于回答集程序的协商形式化方法的研究现状
1.3本文的主要工作
1.4 本文的章节安排
第2章 相关理论
2.1回答集程序
2.2有序析取逻辑程序
2.3协商中的博弈
2.4 Agent的知识与需求表示方法
第3章 回答集的优先排序方法
3.1 规则依赖图
3.2协商需求文字排序
3.3 回答集的选择
第4章 异步协商模型
4.1协商过程
4.2卖方回答集程序的更新
第5章 买卖双方之间的博弈
第6章 实验设计
6.1协商实验设计
6.2卖方回答集程序更新实验设计
第7章 总结与展望
参考文献
致谢
硕士期间发表论文及参加课题情况