Title

Logicpad: A Pen-Based Application For Visualization And Verification Of Boolean Algebra

Keywords

Inferring user intent; Mathematical sketching; Sketch recognition; Sketch-based user interfaces

Abstract

We present PhysicsBook, a prototype system that enables users to solve physics problems using a sketch-based interface and then animates any diagram used in solving the problem to show that the solution is correct. PhysicsBook recognizes the diagrams in the solution and infers relationships among diagram components through the recognition of mathematics and annotations such as arrows and dotted lines. For animation, PhysicsBook uses a customized physics engine that provides entry points for hand-written mathematics and diagrams. We discuss the design of PhysicsBook, including details of algorithms for sketch recognition, inference of user intent and creation of animations based on the mathematics written by a user. Specifically, we describe how the physics engine uses domain knowledge to perform data transformations in instances where it cannot use a given equation directly. This enables PhysicsBook to deal with domains of problems that are not directly related to classical mechanics. We provide examples of scenarios of how PhysicsBook could be used as part of an intelligent tutoring system and discuss the strengths and weaknesses of our current prototype. Lastly, we present the findings of a preliminary usability study with five participants. Copyright © 2012 ACM.

Publication Date

4-26-2012

Publication Title

International Conference on Intelligent User Interfaces, Proceedings IUI

Number of Pages

265-268

Document Type

Article; Proceedings Paper

Personal Identifier

scopus

DOI Link

https://doi.org/10.1145/2166966.2167014

Socpus ID

84860008704 (Scopus)

Source API URL

https://api.elsevier.com/content/abstract/scopus_id/84860008704

This document is currently not available here.

Share

COinS