Using a Bayesian knowledge base for hint selection on domain specific problems

Educational Data Mining 2010 - 3rd International Conference on Educational Data Mining

Volumn , Issue , 2010, Pages 327-328

  Stamper, John C ^a   Barnes, Tiffany ^b   Croy, Marvin ^c  

^a Carnegie Mellon University   (United States)

^b University of North Carolina at Charlotte   (United States)

^c UNIVERSITY OF NORTH CAROLINA AT CHARLOTTE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DOMAIN SPECIFIC; KNOWLEDGE BASE; MARKOV DECISION PROCESSES; PROPOSITIONAL LOGIC;

BAYESIAN NETWORKS; DATA MINING; EDUCATION; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS; MARKOV PROCESSES;

PROBLEM SOLVING;

EID: 84857467395     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (3)

1. Barnes, T., Stamper, J., Croy, M., Lehman, L. (2008). A Pilot Study on Logic Proof Tutoring Using Hints Generated from Historical Student Data. In Baker, Barnes, Beck (Eds.) Procs of the 1st Intl Conf on Educational Data Mining (EDM 2008), pp. 197-201.
2. McCune, W. and Shumsky O., "Ivy: A Preprocessor and Proof Checker for Firstorder Logic". Chapter 16 in Computer-Aided Reasoning: ACL2 Case Studies (ed. M. Kaufmann, P. Manolios, and J Moore), Kluwer Academic Publishers, 2000.
3. Santos, E. Jr., & Santos, E. (1996) Bayesian Knowledge-bases. Technical report AFIT/EN/TR96-05, Department of Electrical and Computer Engineering, Air Force Institute of Technology.