3 ms·
> Failure as negation does have its place but it also is what will probably block strong-AI. Interesting, could you please explain more on this?
by readyplayernull 3y ago
> Failure as negation does have its place but it also is what will probably block strong-AI.
Interesting, could you please explain more on this?
- nyrikki 3y agoThe deduction principle turns out to be invalid for weak rejections and strong AI requires it. Consider strong negation: Did Homer write the Iliad? No, he did not. VS a too computationally expensive system with true,false,other with no knowledge of Homer: Did Homer write the Iliad? No, Homer did not exist. Vs negation as failure of binary threshold ANNs: Did Homer write the Iliad? No. Transformers explicitly can find known unknowns, unknowable unknowns (eg future unknowns), etc.. But exhaustive unknowns may or may not be valid. There is a lot more to it, but strong AI requires universal quantification, ML is existential quantification. The above is just one way to think about why Word sense disambiguation and ATP are though to be AI-complete.