为了求解问题，人们提出了各种处理精确信息、随机信息和模糊信息的方法，并且解决了不少问题。然而，在人类社会中还存在矛盾问题和矛盾信息，这种问题是对立的和不相容的。可拓学的发展为处理矛盾问题提供了基本理论和方法，目前正沿矛盾问题智能化处理方向发展。但是，国内外对矛盾信息的研究，还是处于初步和零星状态，尚未存在系统地深入和形式化研究矛盾信息的文献和成果。本文结合可拓学的相关理论，从信息处理的智能化角度出发，描述矛盾问题中的矛盾信息。主要研究矛盾问题中矛盾信息的形式化模型及其量度机制，从而为计算机智能化处理矛盾问题提供可靠和优化的矛盾信息。研究对象主要由矛盾信息的定义、矛盾信息可拓模型的建立、矛盾信息的性质、矛盾信息量化方法的分析与评价四大部分组成。具体研究内容主要包括： 1、基于可拓学的基本理论，讨论了物元的可拓性和可拓变换规律，研究了定性与定量相结合的可拓模型，并建立了可拓集合论，作为描述事物“是”与“非”的相互转化及量变与质变过程的定量化工具。可拓集合的可拓域和关联函数为研究矛盾问题，发展定量化的数学方法奠定基础。 2、运用可拓方法对矛盾问题进行分析、变换、推理、判断，最终生成解决矛盾问题的策略。以此为基础，把解决矛盾问题的过程程式化，用形式化模型完成“发现问题→建立问题模型→分析问题→生成解决问题的策略”的过程，并可通过人-机结合的方式，实现矛盾问题的智能化处理。 3、通过研究矛盾信息的定义、分类和特征给出矛盾信息概念性的内容，为矛盾信息形式化模型的研究奠定理论基础。利用可拓物元模型来表示矛盾信息，进而对矛盾信息的性质进行深入的研究。借鉴可拓学中关联函数的生成方法量化矛盾信息，给出矛盾信息特有的概念——矛盾度，用来评价矛盾信息的矛盾程度。 4、为了研究矛盾问题中矛盾信息的形式化模型及其量度机制，本文以如何建立营销决策系统为例，阐述矛盾信息建模和量化的过程及其意义，并总结展望。