Open Access
Modeling students' Reasoning about qualitative physics: Heuristics for abductive proof search
Maxim Makatchev,Pamela W. Jordan,Kurt VanLehn +2 more
- Vol. 3220, pp 699-709
Reads0
Chats0
TLDR
A theorem prover is described that is used in the Why2-Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback to the student.Abstract:
We describe a theorem prover that is used in the Why2-Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback to the student. The weighted abduction framework of the prover is augmented with various heuristics to assist in searching for a proof that maximizes measures of utility and plausibility. We focus on two new heuristics we added to the theorem prover: (a) a specificity-based cost for assuming an atom, and (b) a rule choice preference that is based on the similarity between the graph of cross-references between the propositions in a candidate rule and the graph of cross-references between the set of goals. The two heuristics are relevant to any abduction framework and knowledge representation that allow for a metric of specificity for a proposition and cross-referencing of propositions via shared variables.read more
Citations
More filters
Proceedings ArticleDOI
An efficient incremental architecture for robust interpretation
TL;DR: The ROSENHEIM parser as discussed by the authors uses a layered scheduling algorithm to ensure that when edits are made to already processed portions of text, only the minimum changes are made, so that the parser can take advantage of the user's typing or speaking time so that it can complete the majority of the work of parsing an input text before the user enters the last word.
References
More filters
Journal ArticleDOI
An introduction to latent semantic analysis
TL;DR: The adequacy of LSA's reflection of human knowledge has been established in a variety of ways, for example, its scores overlap those of humans on standard vocabulary and subject matter tests; it mimics human word sorting and category judgments; it simulates word‐word and passage‐word lexical priming data.
Proceedings Article
A comparison of event models for naive bayes text classification
Andrew McCallum,Kamal Nigam +1 more
TL;DR: It is found that the multi-variate Bernoulli performs well with small vocabulary sizes, but that the multinomial performs usually performs even better at larger vocabulary sizes--providing on average a 27% reduction in error over the multi -variateBernoulli model at any vocabulary size.
Journal ArticleDOI
A theory of diagnosis from first principles
TL;DR: The theory accommodates diagnostic reasoning in a wide variety of practical settings, including digital and analogue circuits, medicine, and database updates, and reveals close connections between diagnostic reasoning and nonmonotonic reasoning.
Book
Readings in qualitative reasoning about physical systems
Daniel S. Weld,Johan de Kleer +1 more
TL;DR: "Readings in Qualitative Reasoning About Physical Systems" is an introduction and source book for this dynamic area, presenting reprints of key papers chosen by the editors and a group of expert referees.
Journal ArticleDOI
Probabilistic Horn abduction and Bayesian networks
TL;DR: It is shown how any probabilistic knowledge representable in a discrete Bayesian belief network can be represented in this framework, and it is argued that it is better to invent new hypotheses to explain dependence rather than having to worry about dependence in the language.