Combining Bayesian Networks and Formal Reasoning for Semantic Classification of Student Utterances - Robotics Institute Carnegie Mellon University

Combining Bayesian Networks and Formal Reasoning for Semantic Classification of Student Utterances

Maxim Makatchev and Kurt VanLehn
Conference Paper, Proceedings of 13th International Conference on Artificial Intelligence in Education (AIED '07), pp. 307 - 314, July, 2007

Abstract

We describe a combination of a statistical and symbolic approaches for automated scoring of student utterances according to their semantic content. The proposed semantic classifier overcomes the limitations of bag-of-words methods by mapping natural language sentences into predicate representations and matching them against the automatically generated deductive closure of the domain givens, buggy assumptions and domain rules. With the goal to account for uncertainties in both symbolic representations of natural language sentences and logical relations between domain statements, this work extends the deterministic symbolic approach by augmenting the deductive closure graph structure with conditional probabilities, thus creating a Bayesian network. By deriving the structure of the network formally, instead of estimating it from data, we alleviate the problem of sparseness of training data. We compare the performance of the Bayesian network classifier with the deterministic graph matching-based classifiers and baselines.

BibTeX

@conference{Makatchev-2007-9780,
author = {Maxim Makatchev and Kurt VanLehn},
title = {Combining Bayesian Networks and Formal Reasoning for Semantic Classification of Student Utterances},
booktitle = {Proceedings of 13th International Conference on Artificial Intelligence in Education (AIED '07)},
year = {2007},
month = {July},
editor = {Jim Greer, Rose Luckin, Ken Koedinger},
pages = {307 - 314},
publisher = {IOS Press},
keywords = {Dialogue-based intelligent tutoring systems, Bayesian networks, formal methods, semantic classification},
}