Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Formal methods for the analysis of the meaning of natural language expressions have long been restricted to the ivory tor built by semanticists, logicians, and philosophers of language. It is only in exceptional cases that these methods make their way straight into open-domain natural language processing tools. Recently, hover, this situation has changed. Thanks to (i) the development of treebanks, i.e., large collections of texts annotated with syntactic structures, (ii) robust statistical parsers trained on such treebanks, and (iii) the development of large-scale semantic lexica such as WordNet [1], VerbNet [2], PropBank [3], and FrameNet [4],  now have witnessed the development of wide-coverage systems that are able to produce formal semantic representations for open-domain texts.
['Johan Bos']
I am writing a research paper on a idea Formal Semantics in the Real World
[{"from": "human", "value": "I am writing a research paper on a idea Formal Semantics in the Real World"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Formal methods for the analysis of the meaning of natural language expressions have long been restricted to the ivory tor built by semanticists, logicians, and philosophers of language. It is only in exceptional cases that these methods make their way straight into open-domain natural language processing tools. Recently, hover, this situation has changed. Thanks to (i) the development of treebanks, i.e., large collections of texts annotated with syntactic structures, (ii) robust statistical parsers trained on such treebanks, and (iii) the development of large-scale semantic lexica such as WordNet [1], VerbNet [2], PropBank [3], and FrameNet [4],  now have witnessed the development of wide-coverage systems that are able to produce formal semantic representations for open-domain texts."}]