@inproceedings{66c78ae6d3f64c408665641114172209,
title = "The architecture of why2-atlas: A coach for qualitative physics essay writing",
abstract = "The Why2-Atlas system teaches qualitative physics by having students write paragraph-long explanations of simple mechanical phenomena. The tutor uses deep syntactic analysis and abductive theorem proving to convert the student{\textquoteright}s essay to a proof. The proof formalizes not only what was said, but the likely beliefs behind what was said. This allows the tutor to uncover misconceptions as well as to detect missing correct parts of the explanation. If the tutor finds such a flaw in the essay, it conducts a dialogue intended to remedy the missing or misconceived beliefs, then asks the student to correct the essay. It often takes several iterations of essay correction and dialogue to get the student to produce an acceptable explanation. Pilot subjects have been run, and an evaluation is in progress. After explaining the research questions that the system addresses, the bulk of the paper describes the system{\textquoteright}s architecture and operation.",
author = "Kurt VanLehn and Jordan, {Pamela W.} and Ros{\'e}, {Carolyn P.} and Dumisizwe Bhembe and Michael B{\"o}ttner and Andy Gaydos and Maxim Makatchev and Umarani Pappuswamy and Michael Ringenberg and Antonio Roque and Stephanie Siler and Ramesh Srivastava",
year = "2002",
language = "English (US)",
isbn = "9783540437505",
volume = "2363",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "158--167",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
note = "6th International Conference on Intelligent Tutoring Systems, ITS 2002 ; Conference date: 02-06-2002 Through 07-06-2002",
}