Modeling Intention in Creative Systems: Logics and Generative Art