Diferencia entre revisiones de «Razonamiento automático»

← Ir a diferencia anterior Ir a siguiente diferencia →

Contenido eliminado Contenido añadido

En renglón

Revisión del 19:19 24 jun 2009

El razonamiento automatizado (o razonamiento automático) es un área de las ciencias de la computación dedicado a comprender diferentes aspectos del razonamiento de forma que permita la creación de programas con el objeto de permitir a los ordenadores razonar de forma autónoma o casi autónoma. Como tal, está considerado como un subcampo de la inteligencia artificial, pero tiene, también, conexiones con la ciencia computacional teórica e incluso filosofía. Sus siglas en inglés son AR, del término Automated reasoning.

Las sub-áreas más destacadas del razonamiento automático son, probablemente, la demostración automática de teoremas (y la menos automatizada, pero más pragmática demostración interactiva de teoremas) y la comprobación automatizada de pruebas (considerada como razonamiento correcto garantizado bajo condiciones fijas), pero se ha desarrollado también un trabajo extenso en el razonamiento por analogía, inducción y abducción. Otros temas importantes son el razonamiento con incertidumbre y razonamiento no monótono.

@@ Línea 1: / Línea 1: @@
+{{traducción|Inglés|Automated reasoning|en}}
-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]].
+El '''razonamiento automatizado''' (o '''razonamiento automático''') es un área de las [[ciencias de la computación]] dedicado a comprender diferentes aspectos del razonamiento de forma que permita la creación de programas con el objeto de permitir a los ordenadores razonar de forma autónoma o casi autónoma. Como tal, está considerado como un subcampo de la [[inteligencia artificial]], pero tiene, también, conexiones con la [[ciencia computacional teórica]] e incluso [[filosofía]]. Sus siglas en inglés son '''AR''', del término
+[[w:en:Automated reasoning|Automated reasoning]].
+Las sub-áreas más destacadas del razonamiento automático son, probablemente, la [[demostración automática de teoremas]] (y la menos automatizada, pero más pragmática [[demostración interactiva de teoremas]]) y la [[comprobación automatizada de pruebas]] (considerada como razonamiento correcto garantizado bajo condiciones fijas), pero se ha desarrollado también un trabajo extenso en el razonamiento por [[analogía]], [[Razonamiento inductivo|inducción]] y [[Razonamiento abductivo| abducción]]. Otros temas importantes son el razonamiento con incertidumbre y razonamiento [[Lógica no monotónica|no monótono]].
-== 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]]
@@ Línea 35: / Línea 12: @@
 [[fa:استدلال خودکار]]
 [[fr:Raisonnement automatisé]]
-[[it:Ragionamento automatico]]
 [[ja:自動推論]]
 [[sr:Аутоматско резоновање]]