Löse deine Matheprobleme!
Das Hauptziel von Polynom war es, Matheprobleme möglichst “menschlich” zu lösen und zu erklären. In vielen Fällen bedeutet das, aus einer vielzahl möglicher Lösungswege für ein gegebenes Problem den intuitivsten auszuwählen.
Um dieses Ziel zu erreichen war es notwendig, einen zielorientierten Lösungsalgorithmus zu entwickeln, der die Vorgehensweise eines menschlichen Nachhilfelehreres imitiert. Ziele (z.B. “Löse diese Gleichung”) werden durch wiederholtes Anwenden von Produktionsregeln auf den aktuellen Lösungsstand erreicht, wobei jede dieser Produktionsregel gegebenfalls wieder neue Zwischenziele (z.B. “Finde einen gemeinsamen Faktor”) erzeugen. Dieser Vorgang wird so lange ausgeführt, bis das letzte Ziel erreicht wurde.
Als Nebenprodukt dieser Vorgehensweise wird auch eine detaillierte Erklärung für jeden einzelnen Rechenschrit erzeugt. Diese Erklärungen beschreiben die Lösung ausführlich.
Polynom kann eine weite Bandbreite an Matheproblemen auf Unterstufen-Niveau lösen wie z.B. das Lösen von linearen und quadratischen Gleichungen, Finden von Wurzeln, Faktorieren von Brüchen oder die Behandlung von einfachen Exponentailrechnungen. Dafür sind ca. 90 Ziele und 180 Produktionsregeln notwendig.
Eigens implementiert wurde auch die gesamte Benutzeroberfläche inklusive der Formeleingabe und der Lösungsausgabe, die auch ein- und ausblendbare Zwischenschritte und schrittweise Erklärungen unterstützt.