Automatisierter Mathematiker - Automated Mathematician

Der Automated Mathematician (AM) ist eines der frühesten erfolgreichen Entdeckungssysteme . Es wurde von Douglas Lenat in Lisp entwickelt und führte 1977 dazu, dass Lenat der IJCAI Computers and Thought Award verliehen wurde .

AM arbeitete daran, kurze Lisp-Programme zu generieren und zu modifizieren, die dann als Definition verschiedener mathematischer Konzepte interpretiert wurden. zum Beispiel wurde ein Programm, das die Gleichheit der Länge zweier Listen testete, als das Konzept der numerischen Gleichheit angesehen, während ein Programm, das eine Liste erzeugte, deren Länge das Produkt der Längen zweier anderer Listen war, als das Konzept von Multiplikation. Das System verfügte über ausgefeilte Heuristiken für die Auswahl der zu erweiternden und zu modifizierenden Programme, basierend auf den Erfahrungen der arbeitenden Mathematiker bei der Lösung mathematischer Probleme.

Kontroverse

Lenat behauptete, das System bestehe aus Hunderten von Datenstrukturen, die als "Konzepte" bezeichnet werden, zusammen mit Hunderten von "heuristischen Regeln" und einem einfachen Kontrollfluss: "AM wählt wiederholt die oberste Aufgabe aus der Tagesordnung aus und versucht, sie auszuführen ist die gesamte Kontrollstruktur! " Die heuristischen Regeln wurden jedoch nicht immer als separate Datenstrukturen dargestellt. einige mussten mit der Kontrollflusslogik verflochten werden. Einige Regeln hatten Voraussetzungen, die von der Geschichte abhingen oder auf andere Weise nicht im Rahmen der expliziten Regeln dargestellt werden konnten.

Darüber hinaus enthalten die veröffentlichten Versionen der Regeln häufig vage Begriffe, die nicht weiter definiert sind, z. B. "Wenn zwei Ausdrücke strukturell ähnlich sind, ..." (Regel 218) oder "... ersetzen Sie den Wert, den andere erhalten ( sehr ähnlicher) Wert..." (Regel 129).

Eine weitere Informationsquelle ist der Benutzer gemäß Regel 2: "Wenn der Benutzer kürzlich auf X verwiesen hat, erhöhen Sie die Priorität aller Aufgaben, die X betreffen." Es erscheint daher durchaus möglich, dass ein Großteil der eigentlichen Entdeckungsarbeit in ungeklärten Verfahren vergraben ist.

Lenat behauptete, das System habe sowohl Goldbachs Vermutung als auch den Grundsatz der Arithmetik wiederentdeckt . Spätere Kritiker beschuldigten Lenat, die Ausgabe von AM überinterpretiert zu haben. In seiner Arbeit Warum AM und Eurisko zu funktionieren scheinen , räumte Lenat ein, dass jedes System, das genügend kurze Lisp-Programme generiert, solche generieren würde, die von einem externen Beobachter als gleich hoch entwickelte mathematische Konzepte interpretiert werden könnten. Er argumentierte jedoch, dass diese Eigenschaft an sich interessant sei – und dass eine vielversprechende Richtung für weitere Forschung darin bestünde, nach anderen Sprachen zu suchen, in denen kurze Zufallsstrings wahrscheinlich nützlich sein könnten.

Nachfolger

Diese Intuition war die Grundlage für AMs Nachfolger Eurisko , der versuchte, die Suche nach mathematischen Konzepten auf die Suche nach nützlichen Heuristiken zu verallgemeinern .

Siehe auch

Verweise

Externe Links