GeoS,
SAT- 11 . , - - : GeoS «» . , ( 4 )
.
El porcentaje de tareas que el sistema hace frente y considera que la solución es confiable es del 96%. Al mismo tiempo, al resolver la prueba SAT oficial, GeoS muestra una precisión del 49%. En otras palabras, resulta que fuera del número máximo posible de puntos, que es igual a 800, el sistema puede obtener alrededor de 500. Hasta ahora, GeoOS se enfrenta exitosamente solo a las tareas de planimetría, se planea mejorarlo a tareas estereométricas en los próximos tres años. En el artículo ( pdf ) se presenta una presentación rigurosa de los principios del sistema .Si intenta seguir el proceso de resolución de un problema geométrico, puede encontrar que en el proceso de analizar el dibujo y el texto que lo acompaña, GeoS crea un conjunto de declaraciones, "comprensión", por ejemplo, la redacción de la tarea "AB es 5" sobre lo siguiente: IsLine (AB) o longitud (AB) = 5. Al mismo tiempo, el sistema puede compensar las indicaciones implícitas de la relación de los elementos de dibujo en el texto, determinando que algunas líneas se cruzan en un punto dado, si es necesario para la solución. Un ejemplo de un dibujo de una tarea y el conjunto resultante de declaraciones es el siguiente:
Como resultado, el subsistema de solución recibe aproximadamente el siguiente "código" como entrada: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
Todos los materiales que se utilizaron en la preparación de GeoS, videos, artículos y software fuente están disponibles para todos.