Comment on A gentle introduction to automated reasoningComments−rhelz2yInteresting that Amazon still thinks there is a place for symbolic, logic-based reasoning, in this era of LLMs.−cubefox2yI somewhat doubt they still think that. This post is from 2021, before ChatGPT came out.−lgas2yInteresting that so many people are still interested in fishing rods in this era of guns.−KuriousCat2yHow and why do LLMs get to eliminate symbolic/logic based reasoning?−rhelz2yI'm thinking about how LLMs like chatGPT did a complete end-run around the more historical attempts of formulating a grammar, translating English into some kind of logical form, using that to query a database, etc etc.
Comments
Interesting that Amazon still thinks there is a place for symbolic, logic-based reasoning, in this era of LLMs.
I somewhat doubt they still think that. This post is from 2021, before ChatGPT came out.
Interesting that so many people are still interested in fishing rods in this era of guns.
How and why do LLMs get to eliminate symbolic/logic based reasoning?
I'm thinking about how LLMs like chatGPT did a complete end-run around the more historical attempts of formulating a grammar, translating English into some kind of logical form, using that to query a database, etc etc.