Studies conclude people's strategies cohere with their goals and stem from the natural process of comparing oneself with others.
The early experimental work of the Gestaltists in Germany placed the beginning of problem solving study (e.g., Karl Duncker in 1935 with his book The psychology of productive thinking The use of simple, novel tasks was due to the clearly defined optimal solutions and short time for solving, which made it possible for the researchers to trace participants' steps in problem-solving process.
Mental health professionals study the human problem solving processes using methods such as introspection, behaviorism, simulation, computer modeling, and experiment.
Social psychologists look into the person-environment relationship aspect of the problem and independent and interdependent problem-solving methods.
One such component is the emotional valence of "real-world" problems and it can either impede or aid problem-solving performance.
Researchers have focused on the role of emotions in problem solving , In conceptualization, human problem solving consists of two related processes: problem orientation and the motivational/attitudinal/affective approach to problematic situations and problem-solving skills.However, already in 1958, John Mc Carthy proposed the advice taker, to represent information in formal logic and to derive answers to questions using automated theorem-proving.A important step in this direction was made by Cordell Green in 1969, using a resolution theorem prover for question-answering and for such other applications in artificial intelligence as robot planning.Problem solving in psychology refers to the process of finding solutions to problems encountered in life.Solutions to these problems are usually situation- or context-specific.The process starts with problem finding and problem shaping, where the problem is discovered and simplified.The next step is to generate possible solutions and evaluate them.The use of computers to prove mathematical theorems using formal logic emerged as the field of automated theorem proving in the 1950s. Shaw, as well as algorithmic methods, such as the resolution principle developed by John Alan Robinson.It included the use of heuristic methods designed to simulate human problem solving, as in the Logic Theory Machine, developed by Allen Newell, Herbert A. In addition to its use for finding proofs of mathematical theorems, automated theorem-proving has also been used for program verification in computer science.Finally a solution is selected to be implemented and verified.Problems have a goal to be reached and how you get there depends upon problem orientation (problem-solving coping style and skills) and systematic analysis.