决了这一问题。由于十年浩劫，这一结果没有发表出去，但它比国际上公认的解决这一
问题的罗森贝格定理整整早了6年。
在自动机理论方面，在他的指导下，他的学生使用他提出的代数方法，解决了自动
机的结构问题，在当时的国际上处于领先地位。
1971年在他的主持下，吉林大学研制出了吉林省第一台台式计算机，并在通化市投
入生产。在他的指导下，设计出吉林省第一台工业控制计算机，并使用在辽源石油化工
厂的生产控制上。1976年，在王湘浩教授倡议下，吉林大学建立了计算机科学系，并任
系主任，这是国内最早的计算机科学系之一。在"四人帮"统治时期，知识分子被歧视的
情况下，王湘浩为吉林省的计算机事业，做出了开创性贡献。
1977年，"四人帮"刚刚垮台，王湘浩又极有远见地提出要搞当代尖端技术之一――
人工智能。按照"四人帮"的哲学，人工智能被说成是反动的。在国际上已争先恐后地抓
住这个课题时，迫于"四人帮"的淫威，中国人没有抓住机会，落后了。但是，在粉碎"四
人帮"之后，王湘浩出于科学家的敏锐，在国内最早举起了人工智能的旗帜。实践已经证
明，王湘浩提出的这个倡议是多么正确，他使吉林大学的人工智能研究集体，在国内一
直处于领先地位。
在王湘浩指导下，吉林大学在以下三个方面开展了人工智能的研究。
1．定理机器证明：这是人工智能的一个基本而重要的理论课题，1977年王湘浩教授
在国内最早的开展了对归结方法和自然推导法的研究工作。目前，已在国内外学术刊物
上发表了40多篇论文，并建立了好几个使用启发策略的定理证明6系统，并出版了一本专
著。
2．知识工程：这是人工智能的一个极为活跃，极有实用价值的课题。吉林大学是国
内最早开展实用专家系统研制的单位之一。现在已建立了10多个医疗、气象、石油勘探
等专家系统，并且开始了第二代专家系统的研制，并在国内外刊物上发表了40多篇论文
。
3．计算机绘画：用计算机中国画和进行书法，这是吉林大学在国内外的首创。在王
罗森贝格 可能工作过的组织/机构/部门/团队： 吉林大学 辽源石油化工 计算机科学系 四人帮 人帮
罗森贝格 可能工作过的同事：