Proof Theory For a Linguistically Motivated Logic
|
Supervisor |
|
|
Suitable for |
MSc in Computer Science
|
Abstract
A collaborator at Google has developed a logical language aimed at representing some aspects of the meaning of sentences in a linguistically motivated way, derivable from a dependency parse. You can read about it here: http://aclweb.org/anthology-new/W/W11/W11-0103.pdf
While the logic can be given a denotational semantics, it has yet to be provided with a proof theory in order that inferences can be drawn from sentences translated into it. This project aims to develop a proof theory for at least part of this logic, and if possible, test it via an implementation.
Prerequisites: only suitable for someone who has done BOTH the Computational Linguistics AND the Knowledge Representation and Reasoning courses.