Managing smart buildings is a challenging task, particularly in presence of contrasting goals, such as satisfying users' needs and reducing the energy consumption. Artificial Intelligence allows to design smart buildings really capable of proactively support the users to reach their goals. Intelligent systems should be capable of exploiting the information gathered by sensors pervading the building, understanding the context, selecting the best actions to perform, and actively modifying the environment. The design of such systems is a complex task, because of the possibly wide set of functional and non-functional requirements, and the dependences among intelligent functionalities and their embodiment in the building's cyber physical space.