El razonamiento automatizado es un campo de la informática y la inteligencia artificial que tiene como objetivo diseñar sistemas de software que puedan pensar, razonar y sacar conclusiones. El razonamiento automatizado utiliza técnicas de diversas ramas de las matemáticas, la lógica y la inteligencia artificial mientras analiza problemas complejos del mundo real.
El campo del razonamiento automatizado tiene sus raíces en la lógica matemática, una rama de las matemáticas que se ocupa de los límites del razonamiento adecuado. Las primeras investigaciones en este campo se centraron en el desarrollo de sistemas lógicos que pudieran razonar correctamente a través de problemas matemáticos y otros problemas simbólicos. A medida que las computadoras se volvieron más poderosas, los investigadores se dieron cuenta de que esos mismos sistemas podían usarse para razonar problemas más complejos.
En los últimos años, los sistemas de razonamiento automatizados se han convertido en una parte importante de los servicios informáticos automatizados, como los asistentes personales inteligentes y los sistemas expertos. Estos sistemas están diseñados para utilizar el razonamiento automatizado para comprender y resolver los problemas que les plantean los humanos. Pueden razonar problemas basándose en grandes bases de datos de hechos o utilizando heurísticas, un conjunto de reglas generales, para tomar decisiones.
El razonamiento automatizado es un campo de investigación activo y en rápido desarrollo, y a menudo se lo considera un componente clave de la inteligencia artificial general. Los sistemas actuales pueden razonar a través de problemas simbólicos, problemas causales y problemas no simbólicos como el procesamiento del lenguaje natural. A medida que la tecnología y el campo se desarrollen, los sistemas de razonamiento automatizados se volverán cada vez más sofisticados y poderosos, lo que permitirá que las máquinas ayuden mejor o incluso reemplacen a los humanos en muchos tipos de tareas.
