面向创新推理的功能树无损简化与求解方法研究-计算机软件与理论专业毕业论文.docxVIP

面向创新推理的功能树无损简化与求解方法研究 面向创新推理的功能树无损简化与求解方法研究 摘要 产品创新推理是制造业在市场竞争中取胜的关键，而产品的创新性主要取 决于产品设计的概念设计阶段。功能模型是概念设计的核心处理对象，因此功 能模型创新推理是概念设计中的关键问题。目前带与、或分解的功能树(简称 为与或功能树)是概念设计中典型的、应用极其广泛的一种功能模型，其中， 功能树简化与求解是功能树创新推理的一大核心问题。但是，创新推理是通过 消除冲突来解决问题，即对“非”的考虑，因此需研究带与、或、非分解的功 能树(简称为与或非功能树)。同时，功能树可视为布尔代数理论的一种应用。 经研究发现：利用布尔代数理论进行简化会造成创新能力的损失，因此针对与 或功能树初步提出了无损的思想，可是尚存在不足。基于此，本论文重点针对 与或非功能树的无损简化与求解这一问题展开研究。研究内容主要包括如下几 个方面： 1)提出二值命题逻辑的无损简化理论。利用布尔代数与经典二值命题逻辑之间 的密切联系，从二值命题逻辑角度研究创新推理理论，给出了初始解空间的 严格定义；分析了二值命题逻辑在创新推理中造成的创新能力损失，在此基 础上给出了无损简化定理。 2)研究了与或非功能树的无损简化理论。在给出功能树、无损简化和AND／OR 树等相关定义的基础上，利用AND／OR树处理问题的方便性，将功能树转 化为AND／OR树，然后面向AND／OR树提出无损简化的若干定理，最后给 出了与或非功能树无损简化的算法。 3．)研究了与或非功能树的无损求解理论。提出多值矩阵、扩展多值矩阵的概念， 定义了多值矩阵的与、或、非运算，并证明了多值矩阵代数系统的性质。基 于无损简化理论，提出了多值矩阵的无损简化规则，并证明了多值矩阵展开 定理，由此给出了基于扩展多值矩阵的无损求解算法。 关键词：概念设计，创新推理，人工智能，功能树，无损简化，逻辑推理 本文受到国家自然科学基金项目“科学计算中面向建模的多态机理研究”、国家自然科学 基金国际合作交流项目的资助。 Research Research on Lossless Simplifying and Solving Methods of Funcfion Tree for Innovative Reasoning Abstract As the key factor for manufacturing to get victory in market competition， products’innovative reasoning lies on the conceptual design phase in product design，and function models are the main operating obj ects of conceptual design，SO innovative reasoning of function models becomes the key problem of conceptual design．Nowadays，function tree with and／or decomposition(function tree for short) is a typical，popular function model in conceptual design，and moreover simplifying and solving problems of function tree are kernel problems in innovative reasoning of function tree．However,the essence of innovative reasoning is to solve problems by eliminating conflicts，which are equivalent to the situation of“not”，therefore function tree with and／or／not decomposition(and／or／not function tree for short) need to be investigated．Meanwhile，function tree is able to be regarded as an application of Boolean algebra theory,but it was found that simplification based on that theory leads to loss of innovative