Formalizing context-based reasoning: A modeling paradigm for representing tactical human behavior.