of Activities of Daily Living (ADL) in a smart home. We describe a procedure that uses raw
data from non visual and non wearable sensors in order to create a classification model
leveraging logic formal representation and probabilistic inference. SVM and Naive Bayes
methods were used as baselines to compare the performance of our implementation, as
they have proved to be highly efficient in classification tasks. The evaluation was carried out …