决了这一问题。由于十年浩劫,这一结果没有发表出去,但它比国际上公认的解决这一

问题的罗森贝格定理整整早了6年。

在自动机理论方面,在他的指导下,他的学生使用他提出的代数方法,解决了自动

机的结构问题,在当时的国际上处于领先地位。

1971年在他的主持下,吉林大学研制出了吉林省第一台台式计算机,并在通化市投

入生产。在他的指导下,设计出吉林省第一台工业控制计算机,并使用在辽源石油化工

厂的生产控制上。1976年,在王湘浩教授倡议下,吉林大学建立了计算机科学系,并任

系主任,这是国内最早的计算机科学系之一。在"四人帮"统治时期,知识分子被歧视的

情况下,王湘浩为吉林省的计算机事业,做出了开创性贡献。

1977年,"四人帮"刚刚垮台,王湘浩又极有远见地提出要搞当代尖端技术之一――

人工智能。按照"四人帮"的哲学,人工智能被说成是反动的。在国际上已争先恐后地抓

住这个课题时,迫于"四人帮"的淫威,中国人没有抓住机会,落后了。但是,在粉碎"四

人帮"之后,王湘浩出于科学家的敏锐,在国内最早举起了人工智能的旗帜。实践已经证

明,王湘浩提出的这个倡议是多么正确,他使吉林大学的人工智能研究集体,在国内一

直处于领先地位。

在王湘浩指导下,吉林大学在以下三个方面开展了人工智能的研究。

1.定理机器证明:这是人工智能的一个基本而重要的理论课题,1977年王湘浩教授

在国内最早的开展了对归结方法和自然推导法的研究工作。目前,已在国内外学术刊物

上发表了40多篇论文,并建立了好几个使用启发策略的定理证明6系统,并出版了一本专

著。

2.知识工程:这是人工智能的一个极为活跃,极有实用价值的课题。吉林大学是国

内最早开展实用专家系统研制的单位之一。现在已建立了10多个医疗、气象、石油勘探

等专家系统,并且开始了第二代专家系统的研制,并在国内外刊物上发表了40多篇论文



3.计算机绘画:用计算机中国画和进行书法,这是吉林大学在国内外的首创。在王

罗森贝格 可能工作过的组织/机构/部门/团队: 吉林大学   辽源石油化工   计算机科学系   四人帮   人帮  

罗森贝格 可能工作过的同事:

粤ICP备17091748号-3