An agent-based infrastructure for monitoring aviation pilot's situation awareness