Disciplina central da inteligência artificial que se dedica ao estudo e ao desenvolvimento de algoritmos e programas que permitem dotar o computador da capacidade de efectuar determinada tarefa sem recurso à intervenção humana (por exemplo, classificação de emails como lixo, reconhecimento de voz, etc.).