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