[分享]机器证明平面几何定理——泰博定理
如何用计算机证明平面几何定理?下面举例说明:[attach]4977[/attach]
[attach]4978[/attach]
[attach]4979[/attach] 李涛是张景中的高徒,研究机器证明。本人看到过李涛关于机器证明的论文,与他有过书信交往。 这个本质还是把证明转成计算,不过这是能通过图形一步步作图构造出来的情况,如果作图不能被一步步构造性的作出来,不知道这种情况应该怎么办 这个算不上是机器证明吧,这其实是人提供思路由机器提供计算,真正的机器证明是过程中的思路和逻辑都是由机器给出的,这个是有专门理论的,我看到过人家给的代码,是由机器生成的逻辑推理代码。 [quote]这个算不上是机器证明吧,这其实是人提供思路由机器提供计算,真正的机器证明是过程中的思路和逻辑都是由机 ...
[size=2][color=#999999]zhcosin 发表于 2017-5-23 13:36[/color] [url=http://kuing.orzweb.net/redirect.php?goto=findpost&pid=21230&ptid=4622][img]http://kuing.orzweb.net/images/common/back.gif[/img][/url][/size][/quote]
我觉得这是比较初等的机器证明,因为人工参与的比例较大,以后人工智能发展了,可以直接把问题让机器人看一眼(扫描一下),机器瞬间就能给出纯几何证明或是代数式证明。
页:
[1]