DECKT: Epistemic Reasoning for Ambient Intelligence