One current challenge in the CAIRA project, which is devoted to the relationship between creativity, logic and spontaneity in musical environments, is to provide logically provable recommendations to a creative agent based ...