CS @ CU CS @ CU

Towards A Tableaux Machine for Language Understanding

Michael Kohlhase and Alexander Koller

Proceedings of ICOS-2, Dagstuhl, 2000.

We outline an abstract inference machine for producing discourse models in natural language understanding. This machine has tableaux as its central data structure and can operate in model generation and theorem proving modes. Search spaces are controlled by keeping track of NP saliences and equipping proof rules with costs.


Download: Download (83 K)

BibTex Entry

@InProceedings{KohKol00, 
   author = {Michael Kohlhase and Alexander Koller}, 
   title  = {Towards A Tableaux Machine for Language Understanding}, 
   year   = 2000, 
   booktitle = {Proceedings of ICOS-2}, 
   address = {Dagstuhl} 
} 

Back: Publications