Eine Gruppe von Wissenschaftlern des Instituts für künstliche Intelligenz Paul Allen und der University of Washington kündigte die Schaffung eines künstlichen Intelligenzsystems namens GeoS an, das den amerikanischen SAT- Test in Geometrie auf der Ebene des mittleren Schülers der 11. Klasse bestehen kann. Dabei geht es nicht darum, dass die Aufgaben auf besondere Weise vorbereitet und in Form eines Schemas in den Computer eingegeben werden müssen: GeoS verwendet Computer Vision zur Analyse von Zeichnungen und ein einfaches Textverarbeitungssystem, um das Wesentliche des Problems zu "verstehen". Ein Beispiel dafür, wie die KI mit der Lösung des Problems eines in einen Kreis eingeschriebenen Dreiecks (und 4 anderer Probleme) umgeht, finden Sie hier.Der Prozentsatz der Aufgaben, die das System bewältigt und die Lösung für zuverlässig hält, beträgt 96%. Gleichzeitig zeigt GeoS bei der Lösung des offiziellen SAT-Tests eine Genauigkeit von 49%. Mit anderen Worten, es stellt sich heraus, dass das System von der maximal möglichen Anzahl von Punkten, die 800 entspricht, ungefähr 500 erreichen kann. Bisher hat GeoOS nur die Aufgaben der Planimetrie erfolgreich bewältigt, es ist geplant, es in den nächsten drei Jahren auf stereometrische Aufgaben zu verbessern. Eine ausführliche Darstellung der Prinzipien des Systems findet sich im Artikel ( pdf ).Wenn Sie versuchen, den Prozess der Lösung eines geometrischen Problems zu verfolgen, stellen Sie fest, dass GeoS bei der Analyse der Zeichnung und des Begleittextes eine Reihe von Anweisungen erstellt, beispielsweise den Wortlaut der Aufgabe „AB ist 5“ über Folgendes: IsLine (AB) oder Länge (AB) = 5. Gleichzeitig kann das System implizite Verweise auf die Beziehung von Zeichnungselementen im Text ausgleichen und bestimmen, dass sich einige Linien an einem bestimmten Punkt schneiden, falls dies für die Lösung erforderlich ist. Ein Beispiel für eine Zeichnung einer Aufgabe und den daraus resultierenden Satz von Anweisungen lautet wie folgt:
Als Ergebnis erhält das Lösungssubsystem selbst ungefähr den folgenden "Code" als Eingabe: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
Alle Materialien, die bei der Erstellung von GeoS, Videos, Artikeln und Quellensoftware verwendet wurden, stehen allen zur Verfügung .