Georgia Tech Final Project for Knowledge-Based AI to solve Raven's Progressive matrices problems