Razonamiento automatizado
- Razonamiento automatizado
-
Razonamiento automatizado
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.
Categoría: Inteligencia artificial
Wikimedia foundation.
2010.
Mira otros diccionarios:
Razonamiento (desambiguación) — Saltar a navegación, búsqueda La palabra Razonamiento hace referencia a varios artículos en la wikipedia: Razonamiento Razonamiento a partir de las Escrituras Razonamiento abductivo Razonamiento analógico Razonamiento aproximado Razonamiento… … Wikipedia Español
Premio Herbrand — Saltar a navegación, búsqueda Entregado desde 1992 el Premio Herbrand se otorga anualmente a un científico o a un grupo de investigación por sus contribuciones en el área de razonamiento automatizado. El premio lleva el nombre del matemático y… … Wikipedia Español
Larry Wos — es un científico y matemático de la división de informática en el Laboratorio Nacional Argonne; ingresó a dicho laboratorio en febrero de 1957. Escribió más de 70 artículos sobre la automatización del razonamiento, ha dado cientos de conferencias … Wikipedia Español
Demostración automática de teoremas — Saltar a navegación, búsqueda Para otros usos de este término, véase Demostración. La demostración automática de teoremas (de siglas ATP, por el término en inglés … Wikipedia Español
Ciencias de la computación — Las ciencias de la computación son aquellas que abarcan el de las bases teóricas de la información y la computación, así como su aplicación en sistemas computacionales.[1] [2] [3] Existen diversos campos o disciplinas dentro de las Ciencias de la … Wikipedia Español
Base de conocimiento — Saltar a navegación, búsqueda Una Base de Conocimiento (o knowledgebase en inglés; KB, kb or Δ) es un tipo especial de base de datos para la gestión del conocimiento. Provee los medio para la recolección, organización y recuperación computarizada … Wikipedia Español
Premio Herbrand — Entregado desde 1992 el Premio Herbrand se otorga anualmente a un científico o a un grupo de investigación por sus contribuciones en el área de razonamiento automatizado. El premio lleva el nombre del matemático y lógico francés Jacques Herbrand… … Enciclopedia Universal
AdSense — Google AdSense Desarrollador Google Inc. www.google.com/adsense Información general … Wikipedia Español
Ajuste de curvas — El ajuste de curvas consiste en encontrar una curva que contenga una serie de puntos y que posiblemente cumpla una serie de restricciones adicionales. Esta sección es una introducción tanto a la interpolación (cuando se espera un ajuste exacto a… … Wikipedia Español
Teoría triárquica de la inteligencia — La teoría triárquica de la inteligencia ha sido desarrollada por Robert J. Sternberg, una figura destacada en la investigación de la inteligencia humana. La teoría fue de las primeras en ir contra el enfoque psicométrico y adoptar un acercamiento … Wikipedia Español
