Issues in the Design of AI-Based Schedulers: A Workshop Report