LEGUP (Logic Engine for Grid-Using Puzzles) is an Undergraduate Research Project under Dr. Bram van Heuveln in the department of Cognitive Science. It is under the greater classification of "Visual Logic", as it is a system of logic that is based purely on applying rules to objects visual in nature.
Objectives
To research and categorize various grid-based logic puzzles, with the intention of creating a formal system of "grid logic" applicable to various puzzles of different formats. To do this, several well-known logical puzzles will be studied, and the commonalities between them will be used as the framework for a system that can be used to represent them.
The end result of this research will be a single application that will be capable of representing many of these grid-based logical puzzles. This application would utilize a dynamic "grid-based logical engine", with programmable "modules" that allowed the introduction or modification of puzzles on the fly.
Such an application would be very useful in the field of education, as children and adults alike could be taught the basics of formal logic while seemingly playing a game. Through manipulating the objects in the puzzle and attempting to win, users will be constructing logical proofs.
