King – man + woman is queen; but why?

Re:King – man + woman is queen; but why? by chewxy on Saturday January 07, 2017 @05:56PM (#13347174)

What you listed is called a logical form (and there can be many). A common logical form is CCG/DRS. But yet another representation structure that is a logical form that I don't see many people admit to it being a logical form is the RDF triple, used in freebase etc. You could represent the entire freebase in your notation.

There is work being done to merge the formal/structural semantics and distributional semantics. I have been working on that for over a year at my startup (not necessarily having successes, mind).

The benefit of using distributional semantics (word embeddings, etc) is GPU processing and libraries. My logical form parsing library uses dynamic programming and chart parsing with a LOT of tree pruning to parse a simple sentence, while distributed semantics merely require me to multiply 2 matrices/vectors together - something GPUs excel at.

[ Parent | on HN ]

Re:King – man + woman is queen; but why? by DonaldFisk on Saturday January 07, 2017 @06:53PM (#13347392)

The frames in my previous post could be implemented in a graph database, or RDF triples. It's similar to the representation used in Cyc.

I'm quite happy with a hybrid symbolic/statistical approach, which could be useful for disambiguating words and phrases in context.

I think the trick is to avoid generating the parse tree in the first place.

Today's hardware is pessimized for symbol and list processing. They can't be done on GPUs, and CPUs work better on contiguous data.

[ Parent | on HN ]