Deduktive Datenbankarithmetik

Deductive Database Arithmetic Reasoning (DDAR) ist ein im Februar 2025 von Google DeepMind vorgeschlagener Algorithmus zur Berechnung der deduktiven Geschlossenheit, also der Menge aller aus einer Reihe grundlegender Ausgangsfakten ableitbaren Fakten. Die entsprechenden Forschungsergebnisse wurden in der Publikation „Goldmedaillengewinnerleistung beim Lösen von Olympiade-Geometrie mit AlphaGeometry2DDAR folgt einem festen Satz deduktiver Regeln, um diesen deduktiven Abschluss zu erstellen, und fügt dem deduktiven Abschluss iterativ neue Fakten hinzu, bis keine weiteren hinzugefügt werden können.

Diese Methode wird häufig verwendet, um automatisch auf Informationen in einer Datenbank zu schließen und diese zu analysieren, insbesondere wenn komplexe mathematische oder arithmetische Operationen erforderlich sind. Ziel ist es, Daten in der Datenbank durch Inferenzregeln und mathematische Operationen abzuleiten und zu berechnen.