王湘浩的人工智能贡献

Question

如题所述

Answer 1

1977年王湘浩在国内最早提出要开展人工智能的研究，并于1980年受教育部委托，在吉林大学举办了全国性的人工智能讨论班，随之成立了全国高校人工智能研究会。王湘浩在定理机器证明的归结方法上做出了研究成果。1982年王湘浩和他的学生研究了归结方法中的取因子问题并提出了广义归结方法。广义归结方法包含了普通归结方法（J．A．鲁宾逊，1965）和非子句归结方法（N．V．默里，1982）。在王湘浩的指导下，他的学生在归结方法的研究中提出了一些有用的改进策略。
在计算机代数的研究中，王湘浩和他的学生提出了代数方程实根分离的一种较好算法。