最新2019-人工智能50年63-PPT课件
专家系统。 16. 16符号主义方法 1977年吴文俊院士给出了一类平面几何问题的机械化证明理论,在计算机上证明了一大批平面几何定理。1984年科学出版社出版了他的《几何定理机器证明的基本原理》一书,被称为吴方法。
2019-05-08
1804
0