A Computer Tutor for Logic Semantics
Rowe, Neil C.
MetadataShow full item record
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.
IEEE Frontiers in Education Conference, San Juan, PR, November 10-13, 1999
Showing items related by title, author, creator and subject.
Blair, Stuart R. (Monterey, California. Naval Postgraduate School, 2003-09);A thermal hydraulic analysis of the International Reactor Innovative and Secure (IRIS) core has been performed. Thermal margins for steady state and a selection of Loss Of Flow Accidents have been assessed using three ...
Martin, Jeremy; Rhame, Danny; Beverly, Robert; John McEachen (2013-11);The hardware identifiers of common wireless protocols can be exploited by adversaries for both tracking and physical device association. Rather than examining hardware identifiers in isolation, we observe that many modern ...
Bundy, David P. (Monterey, California: Naval Postgraduate School, 2017-06);This thesis analyzes the impact that reforms in civil-military relations can have on a military's effectiveness. Specifically, why did reforms undermine military effectiveness in Argentina but not in Chile? To answer this ...