CSCK502 Reasoning and Intelligent Systems