信息技术的普及,特别是互联网的蓬勃发展,将使人类告别以土地、能源和材料为主要生产资料的农业社会和工业社会,逐步进入以信息为关键生产要素的信息社会。面对这一场涉及经济、政治、文化等各方面的社会变革,从事信息科学技术研究的科技工作者不仅需要关心微观层次具体技术的实现与应用,还应当重视宏观层次上利用信息技术实现对社会问题的研究。社会诊断问题是基于对社会问题的研究,是根据每个社会成员之间的相互证词实现对社会成员的划分。对社会诊断我们必须先将问题符号化,或是数字化,在满足可计算性和较低计算复杂性的条件下,实现对社会问题的计算。本文研究工作主要包括以下三个方面:1、概述了多值逻辑发展现状和主要研究成果,指出了社会诊断研究背景。2、分析了二值社会诊断模型的t可诊断性,介绍和比较了解决二值诊断模式的三种算法:基于集团的系统级诊断算法,方程诊断算法和高效遗传算法,并指出了二值诊断模型的不足。3、在二值模型的基础上,本文又研究了三值社会诊断模型,并且论证了三值社会诊断模型的(t,x),t/(x),t/{x}和t/x可诊断性,实现了用计算机来判断一个任意的n顶点诊断系统G(V,A)是否是t/{x}可诊断的。同时,通过对三值模型的数字化,解决了三值模型诊断模式的方程表示。最后深入研究了社会诊断模型的人-事件-人模型。