Title :
A computer tutor for logic semantics
Author_Institution :
US Naval Postgraduate Sch., Monterey, CA, USA
Abstract :
The authors 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 link between expressions. Students seem to learn predicate calculus better using the tutor than with paper and pencil exercises.
Keywords :
PROLOG; computational linguistics; computer aided instruction; computer science education; logic programming; teaching; CAI; Prolog subset; computer tutor; expression links; logic semantics; parsing; predicate calculus; predicates; students; variables; Artificial intelligence; Boolean algebra; Calculus; Circuit synthesis; Computer languages; Error correction; Logic; Mathematics; Shape; Software;
Conference_Titel :
Frontiers in Education Conference, 1999. FIE '99. 29th Annual
Conference_Location :
San Juan, Puerto Rico
Print_ISBN :
0-7803-5643-8
DOI :
10.1109/FIE.1999.841632
