* {{ Traducido reftraducción| enInglés|Automated reasoning |en}} ▼El '''razonamiento automatizado''' (o '''razonamiento automático''') es un área de lalas [[ciencias de la computación]] dedicadadedicado a comprender diferentes aspectos del [[razonamiento]] de maneraforma que permita la creación de programas informáticoscon queel objeto de posibilitenpermitir a los ordenadores razonar de forma completamente automática,autónoma o casi automáticaautónoma. SeComo letal, consideraestá habitualmentoconsiderado como unaun subáreasubcampo de la [[Inteligenciainteligencia artificial]], pero ademástiene, posee fuertestambién, conexiones con la [[Teoríaciencia decomputacional la computaciónteórica]] e incluso con la [[filosofía]]. Sus siglas en inglés son '''AR''', del término
[[w:en:Automated reasoning|Automated reasoning]].
Las subáreassub-áreas más desarrolladaddestacadas del razonamiento automático son , probablemente , la [[demostración automática de teoremas]] (y la menos automáticaautomatizada, pero más pragmática [[demostración interactiva de teoremas]] ) y la [[ verificacióncomprobación automatizada de demostracionespruebas]] ( queconsiderada garantizacomo querazonamiento uncorrecto razonamientogarantizado esbajo correcto).condiciones Ademásfijas), pero se ha realizadodesarrollado también un trabajo enormeextenso en el razonamiento por [[analogía]], [[Razonamiento inductivo|inducción]] y [[Razonamiento abductivo| abducción]]. Otros temas importantes son el razonamiento con [[incertidumbre ]] y el razonamiento [[Lógica no monotónica|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.▼== 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]], [[Razonamiento inductivo|inducción]] y [[Razonamiento abductivo|abducción]]. Otros temas importantes son el razonamiento con [[incertidumbre]] y el razonamiento [[Lógica no monotónica|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 ==
▲* {{Traducido ref|en|Automated reasoning}}
* {{Traducido ref|fr|Raisonnement automatisé}}
== Conferencias y congresos ==
* [http://www.ijcar.org/ International Joint Conference on Automated Reasoning](IJCAR)
* [http://www.cadeconference.org/ Conference on Automated Deduction] (CADE)
* [http://www.csc.liv.ac.uk/~konev/iwil2008/ International Workshop on the Implementation of Logics]
* [http://www.eprover.org/EVENTS/es_series.html Workshop Series on Empirically Successful Topics in Automated Reasoning]
== Revistas ==
* [http://www-unix.mcs.anl.gov/JAR/ Journal of Automated Reasoning]
== Comunidades ==
* [http://www.aarinc.org/ Association for Automated Reasoning] (AAR)
== Referencias ==
# Portoraro, Frederic [http://plato.stanford.edu/archives/win2008/entries/reasoning-automated/ Automated Reasoning]. ''The Stanford Encyclopedia of Philosophy (Winter 2008 Edition)'', Edward N. Zalta (ed.).
[[Categoría:Inteligencia artificial]]
[[fa:استدلال خودکار]]
[[fr:Raisonnement automatisé]]
[[it:Ragionamento automatico]]
[[ja:自動推論]]
[[sr:Аутоматско резоновање]]
| 