Answering questions about dynamic domains from natural language using ASP
Abstract
Answer Set Programming (ASP) is a knowledge representation methodology that has well-established theoretical foundations and good practical uses. The goal of my dissertation was to build an automatic system for answering non-trivial questions from texts in natural language. This is an important task, because the results are very useful in many areas.
The final result of this work is an elaboration tolerant question answering system MQA capable of giving provably correct answers. We also used this research to test our reasoning techniques, such as reasoning in dynamic domains, where movement is involved, and reasoning about changes in cardinalities. The original discourse was written in our controlled language MCL , which allowed us to remove a variety of natural language phenomena and to focus on limited grammar rules and on a restricted vocabulary. For the actual reasoning, we used ASP, because of its nonmonotonic features, and its ability to represent defaults and dynamic domains.
Thus, given a discourse and a question in our controlled natural language MCL, we first generated a new logic form representation. We represented the knowledge using action language ALM and we included background information not found in the original text. After that, we performed commonsense reasoning using ASP axioms. Finally, we obtained the correct and expected answer to the question.