MATH PROBLEM CHECKER

Patent №

US 7,752,148

Granted

2010-07-06

Filed 2007

Owner

MICROSOFT CORPORATION

AI components

4

ml · nlp · kr · planning

Assignment

Recorded

Dataset

AIPD

2023_r1 edition

Application

11776565

A problem checker architecture that monitors user progress during a problem-solving process and assists the user through the process (e.g., when requested) using common human methods of solving the problem. Assistance can be in the form of detecting errors during the process, and providing context-sensitive help information when the user gets stuck or makes a mistake. The problem checker can walk the user through the process of solving a math problem one step at a time allowing the user to learn to solve math problems according to a number of different methods. Rather than simply calculating and displaying the answer, the problem checker allows the user to attempt to solve math problems, providing direction only when asked and correction only when required. The problem checker can recognize multiple solution methods for many common math problems and guide the user to the solution via any of the methods.

AI classification

Natural language1.00
Knowledge representation1.00
Planning1.00
Machine learning1.00
Vision0.37
AI hardware0.17
Speech0.04
Evolutionary computation0.02

Ownership

MICROSOFT CORPORATION

assignment · 199030984

Assignors

YU, JINSONG, ATKINSON, SETH R., KELLY, LUKE, KUNZ, WILLIAM B., ISRAEL, LARRY J., LI, XIN

On an employer assignment, the assignors are typically the inventors.

© 2026 NYSGPT2525 LLC