This paper applies resolution theorem proving to natural language semantics. The aim is to circumvent the computational complexity triggered by natural language ambiguities like pronoun binding, by interleaving pronoun binding with resolution deduction. Therefore disambiguation is only applied to expression that actually occur during derivations.
🔥 Discover incredible developments in machine intelligence
🤖 Quickly get code for any ML model
🔑 Get help from authors, engineers & researchers
Add to Chrome
Add to Firefox
Continue with email
Continue with Google