基于数理逻辑的工艺推理与决策逻辑方法研究
| 摘要 | 第1-7页 |
| ABSTRACT | 第7-9页 |
| 目录 | 第9-14页 |
| 图目录 | 第14-16页 |
| 表目录 | 第16-17页 |
| 1 绪论 | 第17-41页 |
| ·引言 | 第17-18页 |
| ·课题背景 | 第18-23页 |
| ·制造业背景 | 第18-19页 |
| ·工艺规划 | 第19-20页 |
| ·CAPP系统研究现状及其分析 | 第20-23页 |
| ·国内外研究现状 | 第23-35页 |
| ·工艺规划中制造资源研究 | 第23-25页 |
| ·工艺选择性系统研究 | 第25-27页 |
| ·工艺推理方法研究 | 第27-31页 |
| ·经验式模糊推理 | 第27-28页 |
| ·派生式推理 | 第28-29页 |
| ·创成式推理 | 第29-31页 |
| ·决策逻辑方法研究 | 第31-35页 |
| ·基于相似性的方法 | 第31-32页 |
| ·决策表与决策树 | 第32-33页 |
| ·基于AI的决策逻辑方法 | 第33-35页 |
| ·本文的选题意义及主要内容 | 第35-41页 |
| ·课题来源 | 第35页 |
| ·选题意义 | 第35-37页 |
| ·论文的主要研究内容 | 第37-38页 |
| ·论文的体系结构 | 第38-41页 |
| 2 基于知识的工艺决策逻辑模型研究 | 第41-54页 |
| ·基于工艺知识客户化的整体方案策略 | 第41-43页 |
| ·工艺知识简介与分析 | 第41-42页 |
| ·工艺知识的客户化策略 | 第42页 |
| ·基于知识客户化的工艺规划整体方案策略 | 第42-43页 |
| ·基于多智能体的工艺决策逻辑模型 | 第43-47页 |
| ·智能体技术简要介绍 | 第43-46页 |
| ·工艺规划的多智能体系统框架结构 | 第46-47页 |
| ·智能体之间的协作原理 | 第47页 |
| ·智能体的知识化模型 | 第47-50页 |
| ·单个智能体的结构模型 | 第47-48页 |
| ·任务域的数学模型 | 第48-49页 |
| ·原子级任务之间的关系模型 | 第49-50页 |
| ·构建知识表示本体 | 第50-53页 |
| ·知识表示与分析 | 第50-51页 |
| ·智能体的知识表示本体建模方法 | 第51-53页 |
| ·基本术语定义 | 第51页 |
| ·知识表示本体建模方法 | 第51-53页 |
| ·本章小结 | 第53-54页 |
| 3 面向工艺规划的制造资源聚类方法研究 | 第54-73页 |
| ·聚类分析方法及研究现状 | 第54-55页 |
| ·面向工艺规划的制造资源聚类研究 | 第55-62页 |
| ·制造资源聚类的基本术语定义 | 第55-57页 |
| ·制造资源的聚类分析策略 | 第57-59页 |
| ·聚类算法过程描述 | 第59-62页 |
| ·聚类粒度参数确定 | 第62页 |
| ·归属唯一性的确定方法 | 第62-63页 |
| ·算例验证与分析 | 第63-72页 |
| ·聚类样本空间 | 第63-65页 |
| ·聚类算法过程 | 第65-68页 |
| ·聚类粒度参数确定 | 第68-69页 |
| ·聚类样本的归属唯一性确定 | 第69-70页 |
| ·聚类结果分析 | 第70-72页 |
| ·本章小结 | 第72-73页 |
| 4 基于数理逻辑的制造资源元建模方法研究 | 第73-101页 |
| ·数理逻辑 | 第73-77页 |
| ·句法与语义 | 第73-74页 |
| ·逻辑建模方法 | 第74-75页 |
| ·一阶逻辑 | 第75-76页 |
| ·二阶逻辑 | 第76-77页 |
| ·基于数理逻辑的元建模方法 | 第77-86页 |
| ·制造资源的元建模方法研究 | 第77-81页 |
| ·设备工艺元的基础结构模型 | 第77-79页 |
| ·设备工艺元的信息模型 | 第79-80页 |
| ·设备工艺元的逻辑域 | 第80-81页 |
| ·创建工艺知识的关系模型 | 第81-86页 |
| ·映射模型的理论基础 | 第81-83页 |
| ·映射关系的数学模型 | 第83-86页 |
| ·设备工艺元的创建与分析 | 第86-99页 |
| ·设备工艺元信息的一阶逻辑表示 | 第87-90页 |
| ·创建逻辑域 | 第90页 |
| ·二阶逻辑创建映射关系 | 第90-99页 |
| ·创建函数的逻辑关系 | 第99页 |
| ·本章小结 | 第99-101页 |
| 5 基于逆向链推理的决策逻辑方法研究 | 第101-118页 |
| ·数理逻辑中的逻辑推理 | 第101-103页 |
| ·逻辑推理基本概念 | 第101-102页 |
| ·逻辑推理机制 | 第102-103页 |
| ·制造特征分析建模 | 第103-106页 |
| ·制造特征分析建模策略 | 第103-104页 |
| ·制造特征模型 | 第104-106页 |
| ·决策逻辑流程 | 第106-111页 |
| ·决策逻辑流程 | 第106-107页 |
| ·选择性决策逻辑 | 第107-110页 |
| ·选择性决策的次级原则 | 第108-109页 |
| ·选择性决策的系统决策逻辑模型 | 第109-110页 |
| ·排序性决策逻辑 | 第110-111页 |
| ·基于逆向链推理的决策逻辑方法 | 第111-115页 |
| ·逆向决策逻辑策略 | 第111-112页 |
| ·基于逆向推理链的决策逻辑方法 | 第112-114页 |
| ·决策逻辑目标─制造特征 | 第112页 |
| ·推理关系 | 第112-114页 |
| ·阶段性目标分解与例化 | 第114页 |
| ·逻辑程序 | 第114-115页 |
| ·原子推理引擎模型 | 第115-117页 |
| ·原子推理引擎系统 | 第115-116页 |
| ·推理机制 | 第116-117页 |
| ·本章小结 | 第117-118页 |
| 6 决策逻辑方法分析及验证 | 第118-139页 |
| ·引言 | 第118-119页 |
| ·逆向链决策逻辑的目标锁定 | 第119-122页 |
| ·决策逻辑目标 | 第119-121页 |
| ·选择性决策逻辑目标 | 第121-122页 |
| ·逆向链决策逻辑分析 | 第122-134页 |
| ·逆向链决策逻辑目标 | 第122-123页 |
| ·第二阶段性目标的决策逻辑分析 | 第123-125页 |
| ·阶段性目标的决策逻辑分析 | 第123页 |
| ·逆向链决策逻辑的推理机制分析 | 第123-125页 |
| ·与事例中决策逻辑相关的制造资源元建模分析 | 第125-130页 |
| ·创建设备工艺元 | 第125-127页 |
| ·创建逻辑域的映射关系 | 第127-129页 |
| ·映射关系的推理机制分析 | 第129页 |
| ·函数关系的推理机制分析 | 第129-130页 |
| ·第三阶段性目标的决策逻辑分析 | 第130-134页 |
| ·原子推理引擎模型方法分析 | 第134-138页 |
| ·原子推理引擎模型分析 | 第134-137页 |
| ·原子级任务之间的关系分析 | 第137-138页 |
| ·本章小结 | 第138-139页 |
| 7 总结与展望 | 第139-142页 |
| ·研究总结 | 第139-140页 |
| ·研究展望 | 第140-142页 |
| 致谢 | 第142-143页 |
| 参考文献 | 第143-162页 |
| 攻读博士学位期间发表论文和参加科研情况 | 第162页 |
