MAVE (Multinet-based Answer VErification) is an answer validation system based on deep linguistic processing and logical inference originally developed for AVE 2006. Robustness of the entailment check is obtained by embedding the theorem prover in a constraint relaxation loop. The system can also be used for answer selection, which is then guided by the joint evidence of all available text pass...

The HDWiki is same as the famous Wikipedia but major in Chinese include vase investment of manual effort and judgment, we divided this structured information into three categories: concept, relationship and entity. This paper describe a novel symbol oriented search that facilitate user to format unambiguous query, especially to format complex logical query which need several query to get answer...

Deductive question answering, the extraction of answers to questions from machine-discovered proofs, is the poor cousin of program synthesis. It involves much of the same technology—theorem proving and answer extraction—but the bar is lower. Instead of constructing a general program to meet a given specification for any input—the program synthesis problem—we need only construct answers for spec...

HDWiki is similar to the famous Wikipedia but as being a major encyclopedia in Chinese, it includes vast investment of manual effort and judgment. This structured information is divided into three categories: concept, relationship and entity. This paper describes a novel symbol oriented search that facilitates the user to format unambiguous query, especially to format complex logical query whic...

Question answering system can be seen as the next step in information retrieval, allowing users to pose question in natural language and receive compact answers. For the Question answering system to be successful, research has shown that the correct classification of question with respect to the expected answer type is requisite. We propose a novel architecture for question classification and s...