An Ambient Agent Model Exploiting Workflow-Based Reasoning to Recognize Task Progress