12 Artificial Intelligence for Space Applications