Concept and Realization of a Diagnostic System for Smart Environments Topics: Knowledge Representation and Reasoning; Model-Based Reasoning In Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, 318-329, 2017 , Porto, Portugal