Formalization and representation of knowledge of semantics and pragmatics

[Alex]

Everyone who is interested in how language works, should read 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 - two great textbooks about linguistic domains called semantics and pragmatics. My question is - are you aware about some efforts to formalize and represent (e.g. with logics) those kind of linguistic knowledge (knowledge of semantics and pragmatics).

I also asked this question in Stackexchnage

https://linguistics.stackexchange.com/questions/26341/formalization-and-representation-of-semantic-and-pragmatic-knowledge

I you have answers I would be glad to hear them here or there.

If someone is able to combine commonsense and linguistic knowledge then one is able to build really, really strong system of natural language comprehension.

[Linas Vepstas]

I am about half-way through writing a paper on how to formalize semantics, even now. I'm about half-way done. You can view a rough draft here: https://github.com/opencog/atomspace/blob/master/opencog/sheaf/docs/sheaves.pdf

I suspect that my definition of semantics is probably very different from yours. The definition I am using is the one used by the various references listed at the end of that pdf.  I've got less than zero on pragmatics, I'm trying to get past the earlier stages, first.

--lnas

--
You received this message because you are subscribed to the Google Groups "opencog" group.
To unsubscribe from this group and stop receiving emails from it, send an email to opencog+unsubscribe@googlegroups.com.
To post to this group, send email to ope...@googlegroups.com.
Visit this group at https://groups.google.com/group/opencog.
To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/c29e528a-7097-4b90-aaf1-b296e24785bb%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

--

"The problem is not that artificial intelligence will get too smart and take over the world," computer scientist Pedro Domingos writes, "the problem is that it's too stupid and already has."