可拓学是一门用形式化语言描述事物拓展可能性及开拓创新规律的学科。本文在分析当前智能设计及知识处理存在的不足的基础上,将可拓学理论应用到产品智能设计中,以期解决智能设计在建模、推理、评价与决策等方面存在的问题。论文首先基于可拓学理论建立了可拓智能设计模型,给出了该模型的定义、知识表示与中间代码,讨论了如何对可拓智能设计模型进行问题识别以及如何对不同的设计问题进行集成求解。针对现有推理方法和控制策略在智能设计应用方面的不足,将可拓学的菱形思维模式应用于智能设计的符号知识推理中,提出了可拓智能设计模型的菱形求解策略。菱形求解策略由物元拓展推理和条件可拓集合生成两部分组成,分别体现了菱形思维模式的发散和收敛两个过程。提出了可拓约束图的概念,给出了可拓约束图的性质、生成算法及冲突消解方法;详细论述了在可拓约束图基础上展开的物元拓展推理方法,给出了可拓继承推理、可扩推理、相关推理及蕴含推理的相关定理及实现算法,同时还给出了不同情况下的关联函数计算方法和条件可拓集合的生成算法。针对现有实例推理技术在实例表达、实例检索等方面的不足,将可拓智能设计模型应用于基于实例的设计中,建立了可拓实例推理模型,给出了高维空间上距的定义及计算方法,提出了用距来描述实例点到目标空间相似度的方法,实现了区间论域上的实例检索。针对工程优化设计在建模方面的困难,提出了基于可拓学相关网的智能优化建模方法。建立了基于可拓智能设计模型的优化知识表示方法,给出了优化系统相关网的建立过程,通过操作相关网中的物元结点和有向边集来确立优化模型的三要素,即目标函数、设计变量和约束条件,并讨论了智能建模后的优化计算方法。针对目前方案再设计中存在的分析困难、回溯信息缺乏等问题,将定性推理与可拓学的相关推理相结合来实现方案再设计的问题求解。提出了定性物元、物元-相关网和定性相关网的概念以及在此基础上的定性相关推理方法。详细论述了如何在定性相关推理基础上,通过物元-相关网生成目标相关物元集,通过定性相关网和目标机制进行定性相关推理来生成方案再设计的求解策略的方法。论文最后介绍了建立的可拓智能设计原型系统,给出了该系统的总体结构、功能模块及运行机制。将该系统的知识推理、实例推理、优化建模模块分别应用于张滩电站水轮发电机的参数预估、电磁设计及电磁参数优化中,应用效果表明了本文提出的可拓智能设计模型和方法在实际应用中的有效性与实用性。