|
| EPSRC Reference: |
EP/D064015/1 |
| Title: |
Lexicalized Proof-Theoretic Semantics for Natural Language |
| Principal Investigator: |
Dr R Dyckhoff |
| Other Investigators: |
|
| Researcher Co-investigator: |
|
| Project Partner: |
|
| 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: |
| Fundamentals of Computing |
User Interface Technologies |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary |
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.
|
| Final Report Summary |
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.
|
| Further Information: |
|
| Organisation Website: |
http://www.st-and.ac.uk |
|
|