Raisonnement Arithmétique Déductif De Base De Données

Le raisonnement arithmétique déductif de base de données (DDAR) est un algorithme proposé par Google DeepMind en février 2025 pour calculer la clôture déductive, c'est-à-dire l'ensemble de tous les faits déductibles étant donné un ensemble de faits initiaux de base. Les résultats de recherches connexes ont été publiés dans l'article «Performance d'un médaillé d'or en résolution de géométrie olympique avec AlphaGeometry2DDAR suit un ensemble fixe de règles déductives pour construire cette clôture déductive et ajoute de manière itérative de nouveaux faits à la clôture déductive jusqu'à ce qu'il ne soit plus possible d'en ajouter.

Cette méthode est souvent utilisée pour déduire et raisonner automatiquement sur les informations d’une base de données, en particulier lorsque des opérations mathématiques ou arithmétiques complexes sont impliquées. Il vise à déduire et à calculer des données dans la base de données à travers des règles d'inférence et des opérations mathématiques.