Are there efforts to formalize and formally represent (e.g. as semantic network, as some kind of logic) of semantic of pragmatic knowledge. It is known, that every speaker/listener has two types of knowledge - linguistic/semantic knowledge (and pragmatic knowledge - sense about context) and everyday knowledge (commonsense knowledge). There are many efforts in computer science to formalize and represent commonsense knowledge. But what about efforts for formalize and represent linguistic/semantic/pragmatic knowledge?
If there are such efforts then combination of linguistic and commonsense knowledge processing can lead to really, really strong natural language processing and generation system.
Some examples of semantic knowledge (I know, that better list can be generated but I am only starting to learn semantics):
- knowing that 'A above B' means the same as 'B under A'.
- knowing popular metaphors, ability to differentiate between direct and indirect meaning of sentences
- extraction of propositions from the sentences
Google is no help for me, because it return everything that is connected with the Web Semantics and description logics but it is completely unrelated to the semantics of natural language.
Computer science has managed to formalized 20 types of emotions and put human personality in 5 dimensional models, there are efforts of consciousness modeling, so - why not to formalize linguistic knowledge and use it for automation of natural language?
I am aware about formal semantics and categorial grammars but they are about technical parsing of the sentences and the knowledge represented by formal semantics of NL/combinatory categorial grammars (CCG) do not come near the completeness of the knowledge that is described in https://www.amazon.co.uk/Semantics-Introducing-Linguistics-John-Saeed/dp/1118430166/ and https://www.amazon.co.uk/Pragmatics-Oxford-Textbooks-Linguistics-Huang/dp/0199577765 So - my question is - are there efforts to formalize knowledge included in usual textbooks of NL semantics and pragmatics?
I am interested in logical methods of semantics and pragmatics, I have no belief in statistical methods.