Using Markov Logic Network for On-line Activity Recognition from Non-Visual Home Automation Sensors