| EPSRC Reference: |
EP/D064015/1 |
| Title: |
Lexicalized Proof-Theoretic Semantics for Natural Language |
| Principal Investigator: |
Dyckhoff, Dr R |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
University of St Andrews |
| Scheme: |
Standard Research |
| Starts: |
01 February 2007 |
Ends: |
31 August 2007 |
Value (£): |
59,304
|
| EPSRC Research Topic Classifications: |
| Comput./Corpus Linguistics |
Fundamentals of Computing |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
A theory of language needs to deal with (at least) two facets: form and meaning. Form is the territory of Syntax. This research focuses on a theory of meaning (semantics), which attempts to replace denotation in complicated mathematical domains by proof, again alluding to form. The research is based on the old idea (of the philosopher Wittgenstein) that the meaning of a word is its use in language, together with ideas from logicians about harmony between rules for introducing and using logical symbols.The intended application is to allow development of better computational techniques for making sense of fragments of natural language.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
http://www.st-and.ac.uk |