AAAI Fall Symposium: Automated Scientific Discovery