Algoritmos da guerra: uso de inteligência artificial para tomar decisões em conflitos armados