Proceso de razonamiento mediante el cual se pasa de unos datos (y/o premisas) a una conclusión. Equivalentemente: extraer una conclusión de los datos. (El término se aplica también a la conclusión que resulta de un proceso de inferencia.)
Los datos (en sentido amplio) pueden ser conclusiones extraídas con anterioridad (por ejemplo, teoremas, definiciones, axiomas). En este sentido, el proceso de inferencia procede de hechos conocidos a nuevos hechos mediante ciertas reglas.
Las dos formas de inferencia más conocidas son la deducción y la inducción. Pero también existe la retroducción o abducción, la cual es muy útil para generar conjeturas en solución de problemas.