Joe Allen: Artificial intelligence in a military context