Transcript Grid Logic - Cognitive science

Grid Logic
Thoughts on Grid-Based
Logic Puzzle Engine Design
Joseph Moskie
Goals of the Research Project
 Understanding of Grid-Based Puzzles


Tree Tent, Nurikabe, Battleship, etc
Find Commonalities between games
 The creation of a “Grid-Based Logic Puzzle Engine”



An application that can be used to represent various logic puzzles
Utilize “games” like Tree Tent to teach fundamentals of logic
Uses are primarily educational
Commonalities
 Grid-Based


The boards are separated into discrete, separate squares
Each square has a “current state”
 Logic-Based


Each game has a complete set of logical rules, soundly based in
formal logic
These logic rules act on states of squares to deduce the states of
other squares
 Other

Labels surrounding game board (most games)
Tree Tent
 Possible States




Unknown
Grass
Tree
Tent
 Logical Rules

See other webpage
Nurikabe
 Possible States




Unknown
Numbered
Wall
Empty
 Logical Rules


Num(Left) ^ Num(Right)  Wall(This)
…
 Questions

How should we handle assumptions? Just another state?
Battleship
 Possible States




Unknown
Ship
Water
Ship Parts?
 Logical Rules

…
Picross
 Possible States




Unknown
Filled in
Vacant
Colors?
 Logical Rules

Tyler?
Basics of the GBLPE
 Java Applet
 XML-Based

“Game Modules”
 Interactive, Intuitive GUI
 Text-Based Formal Logic?
GBLPE GUI - Components
 Main Game Board


A matrix of squares
Graphically indicates the state of each square
 Label Areas


Located on all sides of the Main Game Board
Used for cell naming conventions, or “hints”
 Argument Composition Area

Where the user will create their logical argument for each step
 Logical Rule Buttons

Rules / functions the user will use in their argument
GBLPE GUI - Overview
GBLPE GUI - Nurikabe
Issues
 Representing Assumptions



May not be logically sound according to the given rules
Should we just let the users make assumptions without logical
backing?
Proof by Contradiction? Proof by Cases?