Real time knowledge representation and reasoning about real tasks