A Belief Update System Using an Event Model for Location of People in a Smart Home