La ciencia no se define, sino que se reconoce. Para la evolución de la Inteligencia Artificial las dos fuerzas más importantes son la lógica matemática, la cual se desarrolla rápidamente, y las nuevas ideas acerca de computación los avances en electrónica que permiten la construcción de los primeros computadores en 1940. También son fuente de la inteligencia artificial: la filosofía, la neurociencia y la lingüística. La lógica matemática ha continuando siendo un área muy activa en la inteligencia artificial. Incluso antes de la existencia de los ordenadores con los sistemas lógicos deductivos.
es por esto que si nos adentramos a este tipo disciplina nos conlleva a una serie de aplicar normas y técnicas que nos permitan determinar los argumentos si son validos o no. sin embargo la lógica permite saber el significado correcto.
se puede definir que la maquina de TURING es capaz de simular otro tipo de maquinas mediante una serie de cintas finitas marcados por cuadros que son capaces de alterar la simbologia, pero lo mas importante esque no altera el comportamiento de la maquina. tenemos un claro ejemplo:
La máquina de Turing modela matemáticamente a una máquina que opera mecánicamente sobre una cinta. En esta cinta hay símbolos que la máquina puede leer y escribir, uno a la vez, usando un cabezal lector/escritor de cinta.
