Técnicas e algoritmos de Inteligência Artficial