Un groupe de scientifiques de l'Institut d'Intelligence Artificielle Paul Allen et de l'Université de Washington a annoncé la création d'un système d'intelligence artificielle appelé GeoS, qui est capable de passer le test SAT américain en géométrie au niveau de l'élève du milieu de la 11e année. Et il ne s'agit pas du fait que les tâches doivent être préparées d'une manière spéciale et entrées dans l'ordinateur sous la forme d'une sorte de schéma: GeoS utilise la vision par ordinateur pour analyser les dessins et un système de traitement de texte en clair pour "comprendre" l'essence du problème. Un exemple de la façon dont l'IA résout le problème d'un triangle inscrit dans un cercle (et 4 autres problèmes) peut être trouvé ici.Le pourcentage de tâches que le système gère et considère comme fiables est de 96%. Dans le même temps, en résolvant le test SAT officiel, GeoS affiche une précision de 49%. En d'autres termes, il s'avère que sur le nombre maximum de points possible, qui est égal à 800, le système est capable d'en obtenir environ 500. Jusqu'à présent, GeoOS ne réussit à gérer que les tâches de planimétrie, il est prévu de l'améliorer en tâches stéréométriques au cours des trois prochaines années. Une présentation rigoureuse des principes du système est donnée dans l'article ( pdf ).Si vous essayez de suivre le processus de résolution d'un problème géométrique, vous pouvez constater que dans le processus d'analyse du dessin et du texte qui l'accompagne, GeoS construit un ensemble d'énoncés, «comprendre», par exemple, le libellé de la tâche «AB is 5» sur les éléments suivants: IsLine (AB) ou longueur (AB) = 5. Dans le même temps, le système est en mesure de compenser les indications implicites de la relation des éléments de dessin dans le texte, en déterminant que certaines lignes se coupent à un point donné, si nécessaire pour la solution.
Voici un exemple de dessin d'une tâche et de l'ensemble d'instructions qui en résulte: Par conséquent, le sous-système de solution lui-même reçoit approximativement le "code" suivant en entrée: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
Tous les matériaux qui ont été utilisés dans la préparation de GeoS, les vidéos, les articles et les logiciels sources sont accessibles à tous.