automated reasoning 0 razonamiento automatizado Obtención de conclusiones a partir de los datos proporcionados, a menudo mediante un procedimiento de prueba que opera sobre los datos y un conjunto de axiomas. 2017-12-19 Artificial IntelligenceAI