Adversarial and Uncertain Reasoning for Adaptive Cyber Defense