ATMS在基于约束的产品配置问题中的研究和应用

论文摘要

面对全球化浪潮和个性化买方市场的冲击,越来越多的企业认识到针对市场瞬息万变的顾客需求快速进行产品配置以争取顾客将成为未来企业间竞争的焦点。产品配置问题的核心是产品配置方法,基于约束的产品配置方法主要集中在对约束满足问题(Constraint Satisfaction Problem)的研究上,由于CSP框架具有领域无关和使用简单等优点,其本身又具有成熟的求解技术,是目前得到广泛研究的产品配置方法。但是目前对CSP的研究一般仅限于二维约束满足问题,然而在产品配置中产品配置知识一般都包含有大量的非二维约束,不能用二维约束满足问题进行直接表示,如果将非二维约束满足问题转换为等价的二维约束满足问题将不能直接描述所代表的知识,而且转换过程也将导致问题求解效率的下降,从而制约了基于CSP产品配置方法的实际应用。ATMS是de Kleer提出的一种基于假设的真值维护系统,属于人工智能中非单调推理领域研究的成果,由于理论上任何离散型约束满足问题都可以转化为利用ATMS求解的问题,所以本文尝试采用ATMS解决基于约束的产品配置问题,ATMS的优势体现在对产品约束的描述上比CSP灵活,与产品配置的知识表示更加一致。本论文研究并分析了CSP转化为利用ATMS求解的问题的可行性,并在ATMS之上建立了相应的问题求解器,同时利用自己开发出来的ATMS引擎从实现的角度印证了这种可行性。结合研究工作,本文提出了一种以ATMS引擎为核心的B/S架构的产品配置模型,并从用户界面层、问题求解转化层和ATMS知识库管理层

论文目录

• 摘要
• ABSTRACT
• 第一章 绪论
• 1.1 研究背景和现状
• 1.1.1 产品配置概念
• 1.1.2 产品配置方法
• 1.1.3 基于约束的产品配置问题
• 1.1.4 产品配置研究现状
• 1.2 论文主要工作
• 1.3 论文组织安排
• 第二章 理论基础
• 2.1 约束满足问题（CONSTRAINT SATISFACTORY PROBLEM）
• 2.1.1 概念
• 2.1.2 定义
• 2.1.3 发展
• 2.1.4 应用
• 2.1.5 问题求解方法
• 2.2 基于假设的真值维护系统（ATMS）
• 2.2.1 非单调推理
• 2.2.2 基本原理
• 2.2.3 ATMS 的主要应用
• 2.3 本章小结
• 第三章 ATMS 求解基于约束的产品配置问题的研究
• 3.1 CSP 模型与ATMS 模型介绍
• 3.2 CSP 模型与ATMS 模型的映射分析
• 3.2.1 CSP 知识表示和ATMS 知识表示的映射分析
• 3.2.2 CSP 推理技术和ATMS 推理技术的映射分析
• 3.3 ATMS 对约束满足问题的求解方法
• 3.3.1 回溯求解问题
• 3.3.2 回溯算法框架
• 3.3.3 简单回溯和回跳回溯
• 3.3.4 回溯法的效率分析
• 3.4 利用ATMS 解决经典CSP 问题（八皇后问题）
• 3.4.1 八皇后问题描述
• 3.4.2 八皇后问题的分析和求解
• 3.5 本章小结
• 第四章 基于ATMS 的产品配置模型的设计
• 4.1 架构平台的整体设计
• 4.1.1 设计思想
• 4.1.2 体系结构
• 4.2 用户界面层
• 4.3 问题求解转化层
• 4.4 ATMS 知识库管理层（ATMS 引擎）
• 4.4.1 ATMS 数据结构的实现
• 4.4.2 ATMS 算法的实现
• 4.5 本章小结
• 第五章 基于ATMS 的产品配置系统的实现
• 5.1 ATMS 引擎的优化
• 5.2 电脑产品配置实例
• 5.2.1 场景说明
• 5.2.2 数据录入
• 5.2.3 界面演示
• 5.2.4 对nogoods 优化的分析比较
• 5.3 本章小结
• 第六章 结束语
• 参考文献
• 致谢
• 攻读硕士期间的科研及学术论文
• 科研项目
• 学术论文
• 附录1：电脑配置原始数据
• 附录2：电脑配置NOGOODS 库（优化前）
• 附录3：电脑配置NOGOODS 库（优化后）