A Computer Tutor for Logic Semantics
Loading...
Authors
Rowe, Neil C.
Subjects
Advisors
Date of Issue
1999-11
Date
November 10-13, 1999
Publisher
Monterey, California. Naval Postgraduate School
Language
Abstract
We report on a computer tutor for the semantics of the Prolog subset of predicate calculus. It gives students statements in English to
represent in a single line of Prolog, parses their answers, and compares the parses to the parses of correct answers. The tutor focuses
on the correct choice of predicates, variables, and links between expressions. Tests show that students learn predicate calculus
significantly better using the tutor than with paper and pencil exercises.
Type
Conference Paper
Description
IEEE Frontiers in Education Conference, San Juan, PR, November 10-13, 1999
Series/Report No
Department
Organization
Identifiers
NPS Report Number
Sponsors
Funder
Format
Citation
IEEE Frontiers in Education Conference, San Juan, PR, November 10-13, 1999
Distribution Statement
Approved for public release; distribution is unlimited.