Una vez que hayas realizado la fusión de contenidos, pide la fusión de historiales aquí. Este aviso fue puesto el 11 de febrero de 2016.
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.
Datos:Q6100930
Agosto 02, 2022
razonamiento, automatizado, sugerido, este, artículo, sección, fusionado, razonamiento, automático, para, más, información, véase, discusión, hayas, realizado, fusión, contenidos, pide, fusión, historiales, aquí, este, aviso, puesto, febrero, 2016, razonamient. Se ha sugerido que este articulo o seccion sea fusionado con Razonamiento automatico Para mas informacion vease la discusion Una vez que hayas realizado la fusion de contenidos pide la fusion de historiales aqui Este aviso fue puesto el 11 de febrero de 2016 El razonamiento automatizado o razonamiento automatico es un area de las ciencias de la computacion dedicado a comprender diferentes aspectos del razonamiento de forma que permita la creacion de programas con el objeto de permitir a los ordenadores razonar de forma autonoma o casi autonoma Como tal esta considerado como un subcampo de la inteligencia artificial pero tiene tambien conexiones con la ciencia computacional teorica e incluso filosofia Sus siglas en ingles son AR del termino Automated reasoning Las sub areas mas destacadas del razonamiento automatico son probablemente la demostracion automatica de teoremas y la menos automatizada pero mas pragmatica demostracion interactiva de teoremas y la comprobacion automatizada de pruebas considerada como razonamiento correcto garantizado bajo condiciones fijas pero se ha desarrollado tambien un trabajo extenso en el razonamiento por analogia induccion y abduccion Otros temas importantes son el razonamiento con incertidumbre y razonamiento no monotono Datos Q6100930 Obtenido de https es wikipedia org w index php title Razonamiento automatizado amp oldid 133245842, wikipedia, wiki, leyendo, leer, libro, biblioteca,
