Model generator base on tableau for natural language understanding

Quan Liu,Yang Gao,Daoxu Chen,Wangshu S. Yao
2007-01-01
Journal of Computational Information Systems
Abstract:An abstract inference machine for producing discourse models in natural language understanding is be proposed. The machine has tableaux as it central data structure and can operate in model generation and theorem proving modes. In the method semantic analysis is be used analysis of semantic representations by inference on the basis of semantic information and world knowledge. Some potential applications of model generations and model generation theorem provers in the construction and analysis of natural language semantics are valuable sources of information.
What problem does this paper attempt to address?