Towards Human-centric AutoML via Logic and Argumentation