Description: said that the use of space rcc8 model spatial reasoning, problem solving csp. csp can be generated automatically, and then resolved, the use of different algorithms and made a comparison, a simulation test.
File list (Check if you may need any files):