Drbobcameraguy wrote:
...but it found that solution by trying every possible combination of the data it had been programmed with. It didn't actually come up with an idea.
I’ll begin by accepting, for now, your premise, that Logic Theorist (LT) was essentially a search algorithm. It seems to me that your conclusion, that this is not human creativity, may be non sequitur. It is quite possible that search is a large, even major, part of intelligence and creativity. First, there is the statement, purportedly Edison’s, that “invention was 99% perspiration and 1% inspiration”. Similarly, many of the contestants on Shark Tank mention the many product iterations they went through to come up with a final recipe or consumer gadget. Those statements all imply that some form of search is part of the creative process.
Earlier in this thread there were several posts that talked about how some people solve problems while they sleep, waking up to an “aha” moment. This is not a universal phenomenon. There are some geniuses who have reported that kind of thinking, but there are others who have said they don’t have that experience. A very informative discussion of genius creativity (and the role of sleep) can be found in a book “The Psychology of Invention in the Mathematical Field” by Jacques Hadamard published in 1944 (
http://worrydream.com/refs/Hadamard%20-%20The%20psychology%20of%20invention%20in%20the%20mathematical%20field.pdf)
A reasonable hypothesis suggests itself – when we sleep our brain is far less busy processing sensory stimuli. Perhaps this frees it to carry out more extensive searches, leading to the aha moment.
Moving to the larger question, can AI be creative? For example, can AI compose music? Well it has! Check out
https://www.youtube.com/watch?v=lv9W7qrYhbk which plays two short pieces, one composed by Bach the other by an AI program that learned from Bach's compositions how to compose like Bach. It turns out that AI musical composition and performance is already a rich area with lots of interesting results. Ditto for AI creations in other fine arts.
Returning, finally, to the premise that LT was a search algorithm. Since LT employed backtracking, to that extent I would have to agree as backtracking implies trying out different branches in a search tree. However, it most certainly did not try “every possible combination.” That would not have been possible with the computers of the late 1950’s! So there are other aspects to it, including how the branches in the search tree are generated and also the heuristics employed by LT to eliminate many of the “possible combinations”. The heuristics were intentionally modeled by Newell et al to mimic what they thought might be the human problem-solving process, namely, to hypothesize intermediate steps that, if successful, could be incorporated into a proof. For example, let’s say I’m trying to prove assertion A from a set of axioms, X. The proof, if I can find it, might be to generate a sequence of statements, each following from the preceding statement by applying one or more of the axioms in X. So my proof would be in the form of a series of statements B, C, D, E… A, where the starting point B is one of the axioms in X, C is proved by applying one of the axioms in X to B, etc., and the final statement is A, thereby proving A. LT uses this framework by generating a likely intermediate statement, say D, and then looking for, first, a proof that will prove A from D and then, second, looking for a proof that will prove D from B. The two proofs together, then prove A.
By the way, I hope you can find the article you referred to as I would be very interested in reading it.