Design an intelligent problem solver in solid geometry based on knowledge model about relations | IEEE Conference Publication | IEEE Xplore