2012 | OriginalPaper | Buchkapitel
Towards an Actual Gödel Machine Implementation: a Lesson in Self-Reflective Systems
verfasst von : Bas R. Steunebrink, Jürgen Schmidhuber
Erschienen in: Theoretical Foundations of Artificial General Intelligence
Verlag: Atlantis Press
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Recently, interest has been revived in self-reflective systems in the context of Artificial General Intelligence (AGI). An AGI system should be intelligent enough to be able to reason about its own program code, and make modifications where it sees fit, improving on the initial code written by human programmers. A pertinent example is the Gödel Machine, which employs a proof searcher—in parallel to its regular problem solves duties—to find a self-rewrite of which it can prove that it will be beneficial.