(These are excerpts from my book "Intelligence is not Artificial")
The Frame Problem
A stumbling block towards the creation of truly intelligent machines is still the frame problem, formulated by John McCarthy in "Some Philosophical Problems from the Standpoint of Artificial Intelligence" (1969): he asked whether it is possible, in principle, to calculate all the effects on the world of an action. David Chapman perhaps proved mathematically the impossibility of artificial general intelligence when he proved that the frame problem is NP-complete (it belongs to the class of "nondeterministic polynomial" problems) and hence probably inherently unsolvable ("Planning for Conjunctive Goals", 1987).
To be fair, mathematicians still haven't proven whether it is, in principle, possible to construct an efficient algorithm that can solve NP-complete problems: the majority consensus is that it is not possible, but the jury is still out.
Of course, it all depends on what we mean by "solving a problem", as Wim Hordijk has discussed in "The Algorithmic Mind and what it Means to Solve a Problem" (2014) in response to Stuart Kauffman's claim that that the mind is not algorithmic ("Minds And Machines", 2011).
Back to the Table of Contents
Purchase "Intelligence is not Artificial")