3 ms·
This. Symbolic AI (AKA GOFAI) died about 1985. But task-oriented AI will never die, because the need for intelligent agents with cutting-edge experise in nich
by randcraw 3y ago
This. Symbolic AI (AKA GOFAI) died about 1985. But task-oriented AI will never die, because the need for intelligent agents with cutting-edge experise in niche skill areas costs too much to embed all the available info on Earth into every foundational AI model, much less, keep it up-to-date.
As the old saw says, the only perfect model of the universe is the universe itself.
- cjauvin 3y agoIt didn't die per se I would say, it mainly got subsumed into more general programming and problem solving patterns (search, heuristics, A*, that sort of thing). What probably "died" is the dream that those would be sufficient to achieve general intelligence.
- PartiallyTyped 3y ago"Symbolic" AI is very much used wherever you have theorem provers e.g. z3, no?
- tensor 3y agoYes, and closely related are various forms of constraint solvers, things that LLMS are still fantastically poor at.
- PartiallyTyped 3y agoSMT Solvers are used extensively in certain parts of the industry, especially when working in security-mindful fields.
- horsh1 3y agoNothing existing only before 1985, that is, before the invention of the open source, was alive in the first place. The code for the classic programs is nowhere to be found. And if found, it is written in some interlisp dead language.