Title: A generalized intelligent problem solving system based on a relational model for knowledge representation