[编程技术] [合集] 人工智能会演绎吗，还是只是归纳

发信人: javaboy (喝了咖啡就话多-_-;), 信区: Programming
标 题: [合集] 人工智能会演绎吗，还是只是归纳
发信站: 水木社区 (Thu Sep 28 00:19:30 2017), 站内

☆─────────────────────────────────────☆
stub (stub) 于 (Mon Sep 18 17:35:31 2017) 提到:

能不能演绎出勾股定理


☆─────────────────────────────────────☆
pccq2002 (pccq_2002) 于 (Wed Sep 20 16:30:13 2017) 提到:

20多年前就可以了，搜索几何定理机器证明就可以，比如用Grobner基方法、吴方法、面积法等


☆─────────────────────────────────────☆
siegfried415 (更号2) 于 (Thu Sep 21 21:47:58 2017) 提到:


你说的是机器定理证明，这件事本质上是搜索，机器当然能做。
我觉得lz的意思是，如果不告诉计算机有勾股定理，计算机能自己推导出勾股定理吗？

【 在 pccq2002 的大作中提到: 】
: 20多年前就可以了，搜索几何定理机器证明就可以，比如用Grobner基方法、吴方法、面积法等



☆─────────────────────────────────────☆
Compile (annals 是个穷逼) 于 (Fri Sep 22 08:25:08 2017) 提到:

不能。


☆─────────────────────────────────────☆
zli07 (Anonymous) 于 (Fri Sep 22 11:02:46 2017) 提到:

也许计算机能发现这种“规律”，比如它画出若干个直角三角形，发现有这么个近似的规律。


☆─────────────────────────────────────☆
siegfried415 (更号2) 于 (Fri Sep 22 15:57:58 2017) 提到:



from 水木社区 电脑技术区十大热门话题 http://ift.tt/2xLxhYr
via IFTTT