DocumentCode
351741
Title
A computer tutor for logic semantics
Author
Rowe, Neil C.
Author_Institution
US Naval Postgraduate Sch., Monterey, CA, USA
Volume
2
fYear
1999
fDate
10-13 Nov. 1999
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Frontiers in Education Conference, 1999. FIE '99. 29th Annual
Conference_Location
San Juan, Puerto Rico
ISSN
0190-5848
Print_ISBN
0-7803-5643-8
Type
conf
DOI
10.1109/FIE.1999.841632
Filename
841632
Link To Document