策略生成是决策科学的难点,对策略生成理论与方法的研究,有助于决策的科学性和正确性。目前对策略生成的研究,还没有单独提出和详细探讨利用逆向思维生成策略,而逆向思维是一种冲破常规、寻求变异的创造性思维方式,它是有意识地从常规思维的反方向或通过否定常规思维的结论去思考问题,它与正向思维相对应。长期单一使用正向思维容易形成思维定势,从而阻碍思维的发展,甚至有可能导致思维僵化。而运用逆向思维去解决问题往往能够突破常规的束缚,获得意想不到的优秀策略。目前对逆向思维的研究,基本上是运用自然语言对其进行定性研究,用于解决问题时,通常提出解决策略多,但对逆向策略的生成机理、生成规律和方法研究较少。因此,人们很难用其进行形式化分析和操作,无法告诉人们如何按照一定程序生成逆向策略,更不能用计算机帮助人们生成逆向策略。针对这些问题,本文研究了如下内容：(1)为了将逆向思维形式化,本文从物、事、关系的最小单位开始,利用可拓学中形式化描述事、物和关系的基本元——物元、事元和关系元,提出了逆向物元、逆向事元和逆向关系元,又在可拓变换的基础上,提出了逆向变换。同时结合逆向基元和逆向变换,构造了逆向思维的形式化模型。(2)为了人们在使用逆向策略生成方法解决矛盾问题过程中建立更准确的矛盾度函数和逆向策略评价函数,特别是当该矛盾问题具有两个或多个相关的评价特征时,本文改进了现有的二维可拓距,研究了三区域套下的二维初等关联函数的构造方法,为矛盾问题的判定函数和策略评价函数的建立提供更恰当的建立方法。(3)为了使人们能够按照一定的程序生成逆向策略,本文研究了解决矛盾问题的逆向策略生成方法,其主要的操作过程是：先建立问题的可拓模型,并找到核问题；然后对核问题中的目标或条件实施逆向变换,获得逆向策略集；再利用逆向变换引起的传导变换的最终效应评价逆向策略的优劣性；最后选出满意的策略解决最初的矛盾问题。(4)针对论文各个部分的理论和方法,本文进行了大量的案例分析,展示了它们的应用和操作方法,证明了这些理论或方法的有效性及实际应用价值。本文的创新点：(1)本文从事、物、关系的最小单元出发,研究了逆向基元以及基元的逆向变换,并以此构造了逆向思维的形式化模型,弥补了现有逆向思维的形式化研究的不足。(2)本文改进和拓展了初等关联函数的构造方法,为建立更完善更恰当的矛盾问题的判定函数和策略的评价函数提供理论依据。(3)本文首次研究了解决矛盾问题的逆向策略生成方法,为将来人们按照一定的程序快速地获得逆向策略奠定理论基础,同时也弥补了可拓策略生成方法的不足。本文希望通过以上的研究,为人们将来按照一定的程序运用逆向思维解决矛盾问题或获得创意提供一定的理论和方法依据,也为将来进行逆向策略生成方法软件的研制提供一定的理论依据,进而为推动矛盾问题智能化处理与决策科学化、智能化的发展做出一定的贡献。本项目得到了国家自然科学基金项目“基于可拓学和HowNet的策略生成方法与系统研究(61273306)”和广东省科技计划项目“可拓创新方法的应用与推广(2012B061000012)”的资助。