Synthesis of solutions for shaded area geometry problems

Document Type

Conference Proceeding

Publication Date

1-1-2017

Abstract

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.

Publication Source (Journal or Book title)

Flairs 2017 Proceedings of the 30th International Florida Artificial Intelligence Research Society Conference

First Page

14

Last Page

19

This document is currently not available here.

Share

COinS