Temporal abstraction mechanisms as KADS inferences