AAAI Fall Symposium: Integrating Reasoning into Everyday Applications