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.