Spatiotemporal Knowledge Representation and Reasoning under Uncertainty for Action Recognition in Smart Homes