1956 e. c.
Logic Theorist y la demostración automática
Inteligencia artificial · IA simbólica
Allen Newell, Herbert Simon y Cliff Shaw desarrollaron Logic Theorist para demostrar teoremas mediante búsqueda heurística. El informe de 1956 documentó una vía simbólica de IA en la que el razonamiento se representa como operaciones sobre símbolos.
Precisión, calendario y revisión
- Inicio
- año · sin calificador de incertidumbre en la ficha
- Calendario y convención
- Años de la era histórica; el calendario de origen no está identificado. No se presupone una conversión de días.
- Año cero
- La escala pasa de 1 a. C. a 1 d. C. sin año cero. Cambiar el nombre de la era solo cambia las etiquetas.
- Revisión documental
- 2026-09-20
Lectura de la fecha: acontecimiento puntual.
Fuentes
- www.rand.org (abre en una pestaña nueva)
Procedencia y alcance de la fuente
- Fecha de publicación
- 1956-07-12
- A qué corresponde la fecha
- A la fuente o edición citada; puede ser posterior al acontecimiento histórico.
- Revisión de la fecha bibliográfica
- 2026-09-23
- Cómo consta la fecha
- Declarada en los metadatos editoriales de la fuente citada.
- Fecha de consulta
- 2026-09-20
La correspondencia entre esta referencia y cada afirmación aún no está desglosada.
Esta ficha es una síntesis editorial. Consulta las fuentes para comprobar las afirmaciones y sus límites. Las relaciones cronológicas por sí solas no prueban causalidad.