El documento describe los orígenes de la inteligencia artificial en los esquemas de razonamiento lógico de Aristóteles. Explica que la traducción lógica intenta desarrollar programas que puedan describir problemas en notación lógica y encontrar soluciones para crear sistemas inteligentes. Sin embargo, hay dos obstáculos: no es fácil expresar conocimiento informal en términos formales, y existe una diferencia entre resolver un problema teóricamente y hacerlo prácticamente.
2. Sistemas que piensan racionalmente Aristóteles codificó la “manera correcta de pensar”, procesos de pensamiento irrefutables. Sus silogismos son esquemas de estructuras de argumentación mediante a las que siempre se llega a conclusiones correctas, sí se parte de premisas correctas. Aristóteles se imaginó el campo de la lógica. En la inteligencia artificial, la traducción logística se esfuerza por elaborar programas, que contando con tiempo y memoria suficiente puedan describir un problema en notación lógica y encontrarle solución para crear sistemas inteligentes.. El estudio de las facultades mentales a través del estudio de modelos computacionales (Charniak y McDermott, 1985)
3. Sistemas que piensan racionalmente El enfoque tiene dos obstáculos. Primero no es fácil recibir un conocimiento informal y expresarlo en los términos formales. En segundo lugar, hay una diferencia entre la posibilidad de resolver un problema “en principio” y realmente hacerlo en la práctica.
4. Sistemas que piensan racionalmente Si bien los dos obstáculos anteriores están presentes en todo intento de construir sistemas de razonamiento computacional, fue en la traducción logística en donde surgieron por primera vez , debido a que la capacidad de los sistemas de representación y de razonamiento está bien definido y estudiado.