Decentralized Reasoning in Ambient Intelligence