Razonamiento automático

Razonamiento automático

Saltar a navegación, búsqueda

El razonamiento automático es un área de la ciencias de la computación dedicada a comprender diferentes aspectos del razonamiento de manera que permita la creación de programas informáticos que posibiliten a los ordenadores razonar de forma completamente automática, o casi automática. Se le considera habitualmento como una subárea de la Inteligencia artificial, pero además posee fuertes conexiones con la Teoría de la computación e incluso con la filosofía.

Subáreas

Las subáreas más desarrolladad del razonamiento automático son probablemente la demostración automática de teoremas (y la menos automática pero más pragmática demostración interactiva de teoremas y la verificación de demostraciones (que garantiza que un razonamiento es correcto). Además, se ha realizado un trabajo enorme en el razonamiento por analogía, inducción y abducción. Otros temas importantes son el razonamiento con incertidumbre y el razonamiento no monótono. Una parte importante del razonamiento con incertidumbre es la argumentación, donde se aplican restricciones de minimalidad y de consistencia sobre el razonamiento automático clásico. El sistema Oscar de John Pollock es un ejemplo de argumentación automática que es má específico que un "simple" demostrador automático de teoremas. La argumentación formal es un subárea de la inteligencia artificial.

Las herramientas y las técnicas del razonamiento automático incluyen las lógicas y los cálculos clásicos de demostración automática de teoremas, así como la lógica difusa, la inferencia bayesiana el razonamiento por el principio de entropía maximal y un gran número de técnicas ad-hoc menos formales.

Referencias

• Todo o parte de este artículo fue creado a partir de la traducción del artículo Automated reasoning de la Wikipedia en inglés, bajo licencia Creative Commons Compartir Igual 3.0. y GFDL.
• Todo o parte de este artículo fue creado a partir de la traducción del artículo Raisonnement automatisé de la Wikipedia en francés, bajo licencia Creative Commons Compartir Igual 3.0. y GFDL.

Conferencias y congresos

• International Joint Conference on Automated Reasoning(IJCAR)
• Conference on Automated Deduction (CADE)
• International Workshop on the Implementation of Logics
• Workshop Series on Empirically Successful Topics in Automated Reasoning

Revistas

• Journal of Automated Reasoning

Comunidades

• Association for Automated Reasoning (AAR)

Referencias

1. Portoraro, Frederic Automated Reasoning. The Stanford Encyclopedia of Philosophy (Winter 2008 Edition), Edward N. Zalta (ed.).

Obtenido de "Razonamiento autom%C3%A1tico"