El estudio de cómo los ordenadores pueden ser programados para percibir, razonar y actuar. Existen dos visiones complementarias: una como disciplina de ingeniería que se ocupa de la creación de máquinas inteligentes, y la otra como una ciencia empírica que se ocupa de la modelización computacional de la inteligencia humana.