AAAI Publications, The Thirtieth International Flairs Conference

Font Size: 
Synthesis of Solutions for Shaded Area Geometry Problems
Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay

Last modified: 2017-05-03


We motivate and address the task of automatically solving shaded area geometry problems. Our approach consists of identifying atomic regions in a coordinate-based geometry figure, building an analysis hypergraph representing all facts that can be derived of the figure (using saturation based reasoning), and then finding a path in the hypergraph from the given facts to the goal. On a corpus of 102 problems taken from popular high-school geometry textbooks, our tool GeoShader successfully solved and characterized all problems in an average time of 13.4 seconds.


hypergraph; solution synthesis; shaded area geometry problem

Full Text: PDF