信息技术迅猛发展,计算机的应用领域也越来越广泛,已经从过去单纯的科学计算发展到了很多其他的领域,例如过程检测与控制、信息管理以及计算机辅助设计等。这就对计算机的智能性提出了更大的要求,甚至要能独立的帮助人们解决矛盾问题。　　 人类的历史就是一部发现问题、解决问题的历史。在社会发展中,人们提出了各种各样的方法,用于解决各种各样的问题。精确性问题、随机性问题、模糊性问题都有了各自科学的、可行的解决方法。但是,除了上述三种问题之外,在客观世界中还存在着矛盾问题。可拓学用形式化的模型分析事物拓展的可能性和开拓创新的规律,形成解决矛盾问题的方法,对于提高人类智能有很重要的意义。可拓学从定性与定量两个方面来研究矛盾本身,寻求解决矛盾问题的方法。矛盾信息是矛盾问题的信息化描述。它表述了矛盾问题的矛方、盾方以及矛盾度,是对矛盾问题的一种抽象描述、形式化描述。　　 矛盾信息的整个理论体系包括矛盾问题的分类,矛盾信息的定义、性质、形式化模型、矛盾的量化方法和度量机制等。对矛盾信息理论的系统化研究,是建立在可拓学的基础之上的。可拓学的基元给矛盾信息理论提供了形式化描述方法,可拓学的可拓集合和关联函数为矛盾信息提供了度量机制,可拓学的可拓变换、共轭分析等为矛盾信息弱化提供了大量的思路和方法。　　 本文的主要研究方向是矛盾问题中矛盾信息的弱化策略研究。首先介绍了可拓学的理论基础:基元理论、可拓集合以及关联函数。然后讲述矛盾问题的相关理论,主要有矛盾问题的基本概念、矛盾问题的三种分类和矛盾问题的可拓变换。在矛盾问题的基础上,接着对矛盾信息进行了详细讲述,主要包括矛盾信息的概念及其物元模型、矛盾问题的界定、矛盾信息的特征提取、矛盾信息的分类、弱化方法以及弱化策略的评价方法。最后给出了矛盾问题弱化的框架,并且对一些实际问题进行了弱化,同时,还简单介绍了矛盾问题弱化策略的计算机实现。