来自人工智能研究所的保罗·艾伦（Paul Allen）和华盛顿大学的一组科学家宣布创建了一个名为GeoS的人工智能系统，该系统能够通过11年级中学生在几何学方面的美国SAT测试。这与以下事实有关：必须以某种特殊的方式来准备任务，并以某种方案的形式将其输入计算机：GeoS使用计算机视觉来分析图形，并使用纯文本处理系统来“理解”问题的实质。在这里可以找到 AI如何解决圆内接三角形（以及其他4个问题）的示例。系统应付并认为解决方案可靠的任务百分比为96％。同时，通过解决官方SAT测试，GeoS显示出49％的准确性。换句话说，事实证明，在最大点数等于800的情况下，该系统最多可以得到500个点。到目前为止，GeoOS仅成功应对平面测量任务，并计划在未来三年内将其改进为立体测量任务。本文（pdf）中对系统原理进行了严格的介绍。如果您尝试遵循解决几何问题的过程，则会发现在分析图形和随附文本的过程中，GeoS会生成一组语句，“理解”，例如，任务“ AB is 5”的措词如下：IsLine（AB）或长度（AB）= 5。同时，系统可以弥补对文本中图形元素之间关系的隐式引用，并确定解决方案必要时，某些线在给定点处相交。绘制任务和生成的语句集的示例如下：
结果，解决方案子系统本身接收大约以下“代码”作为输入：IsDiameterLineOf(Line($point_0:point,$point_3:point),Circle($point_1:point,$radius_1_0:number)) IsCenterOf($point_1:point,Circle($point_1:point,$radius_1_0:number)) Equals(LengthOf(Line($point_0:point,$point_2:point)),LengthOf(Line($point_0:point,$point_1:point))) PointLiesOnCircle($point_2:point,Circle($point_1:point,$radius_1_0:number)) PointLiesOnCircle($point_3:point,Circle($point_1:point,$radius_1_0:number)) PointLiesOnLine($point_1:point,Line($point_0:point,$point_3:point)) Is(MeasureOf(Angle($point_1:point,$point_2:point,$point_0:point)),$What:number) IsInscribedIn(Triangle($point_3:point,$point_2:point,$point_0:point),Circle($point_1:point,$radius_1_0:number)) PointLiesOnCir
每个人都可以
使用在准备GeoS，视频，文章和源软件中使用的所有材料。