Razonamiento automático

Razonamiento automático

Razonamiento automático

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.

Contenido

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

Conferencias y congresos

Revistas

Comunidades

Referencias

  1. Portoraro, Frederic Automated Reasoning. The Stanford Encyclopedia of Philosophy (Winter 2008 Edition), Edward N. Zalta (ed.).
Obtenido de "Razonamiento autom%C3%A1tico"

Wikimedia foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Mira otros diccionarios:

  • Razonamiento automatizado — Saltar a navegación, búsqueda 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… …   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

  • Watson (inteligencia artificial) — Para el laboratorio, véase Thomas J. Watson Research Center. Watson es un sistema informático de inteligencia artificial que es capaz de responder a preguntas formuladas en lenguaje natural,[1] desarrollado por la corporación estadounidense IBM.… …   Wikipedia Español

  • Wikipedia:Café (todos) — Atajos WP:CWP:C …   Wikipedia Español

  • David Hume — Saltar a navegación, búsqueda Para otros usos de este término, véase Hume. David Hume Retrato de David Hume, por Allan Ramsay, en el año 1766, Galería Nacional de Escocia …   Wikipedia Español

  • Automatismo — ► sustantivo masculino 1 Cualidad de automático. 2 SICOLOGÍA Ejecución normal o patológica de actos sin intervención de la voluntad. * * * automatismo (del gr. «automatismós») m. Cualidad de automático. ⊚ Ejecución de actos sin intervención de la …   Enciclopedia Universal

  • Emoción — Saltar a navegación, búsqueda Las emociones son fenómenos psicofisiológicos que representan modos eficaces de adaptación a ciertos cambios de las demandas ambientales. Psicológicamente, las emociones alteran la atención, hacen subir de rango… …   Wikipedia Español

  • Libre albedrío — El libre albedrío o libre elección es la creencia de aquellas doctrinas filosóficas que sostienen que los humanos tienen el poder de elegir y tomar sus propias decisiones. Muchas autoridades religiosas han apoyado dicha creencia, mientras que ha… …   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

  • Constitución española de 1978 — Ejemplar de la Constitución conservado en el Congreso de los Diputados. Creación 31 de octubre de 1978 Ratifi …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”