3 ms·
From what I understood, the author suggests that GOFAI or symbolic approach to the problem of AI, has fundamental theoretical problems: Gödel's Incompleteness T
by ducktective 3y ago
From what I understood, the author suggests that GOFAI or symbolic approach to the problem of AI, has fundamental theoretical problems: Gödel's Incompleteness Theorems and the Undecidability Problem. But:
1- ML approach is also inherently based on mathematical foundations like Linear Algebra and Statistical methods. Any natural limitations in GOFAI also applies here.
2- Do we even know how ML/DL methods really work? There is a Geoffrey Hinton interview about this and he seems to suggest that NN methods are actually a black box. So in this regard, NN-based methods are even less "confidence-inspiring" than symbolic reasoning.
- zmgsabst 3y agoI’m relatively sure that NNs are learning an implicit type theory anyway. But: 1. we don’t know which one; and, 2. you can only use fuzzy reasoning, not synthesize and compute results. I think the next breakthrough will be using statistical models to build effective type theories for the data we show them, but extracting them so we can “reason” explicitly.