On rule based solvers - this is true if you simply stop at "be within the rules" and do strict constraint solving ala the coloring problem. I think there is po

On rule based solvers - this is true if you simply stop at "be within the rules" and do strict constraint solving ala the coloring problem. I think there is potential to do something by blending all 3 (rules and constraint checking, rewards (perhaps based on idioms, riffs, and cliches), and some additional discriminator/critic/metric learning) if you narrow the criteria sufficiently (3 voice counterpoint in the style of Josquin de Prez for example). I would really be pleased to see something that can fill out "theory 101" counterpoint worksheets against a cantus firmus, even if the results would be poorly graded on "style" it is someplace to start getting feedback and collecting data to try and quantify that it factor for a narrow narrow subsection of the wide world of music.