Online agent supervision in the situation calculus