General Problem Solver (GPS) is a computer program created in 1957 by Herbert A. Simon, J. C. Shaw, and Allen Newell (RAND Corporation) intended to work...

J. (1980). The complete problem solver. Philadelphia: The Franklin Institute Press. Huber, O. (1995). "Complex problem solving as multistage decision making"...

spanning tree problems Combinatorial optimization Game solvers for problems in game theory Three-body problem The General Problem Solver (GPS) is a particular...

Social problem-solving, in its most basic form, is defined as problem solving as it occurs in the natural environment. More specifically it refers to the...

The Problem Solvers Caucus is a group in the United States House of Representatives that has included members equally divided between Democrats and Republicans...

of the earliest AI programs, the Logic Theorist (1956) and the General Problem Solver (1957) (with Herbert A. Simon). He was awarded the ACM's A.M. Turing...

Allen Newell and Herbert A. Simon in their computer problem-solving program General Problem Solver (GPS). In that implementation, the correspondence between...

the Logic Theorist, and was one of the developers of General Problem Solver (universal problem solver machine) and Information Processing Language (a programming...

In computing, the Two Generals' Problem is a thought experiment meant to illustrate the pitfalls and design challenges of attempting to coordinate an...

izobretatelskikh zadach, lit. 'theory of inventive problem solving') combines an organized, systematic method of problem-solving with analysis and forecasting techniques...

analysis or general morphological analysis is a method for exploring possible solutions to a multi-dimensional, non-quantified complex problem. It was developed...

science and formal methods, a SAT solver is a computer program which aims to solve the Boolean satisfiability problem. On input a formula over Boolean...

systems became an important n-body problem. The n-body problem in general relativity is considerably more difficult to solve due to additional factors like...

CSPs represent the entities in a problem as a homogeneous collection of finite constraints over variables, which is solved by constraint satisfaction methods...

co-written, such as Logic Theorist and the General Problem Solver, and his psychological research on human problem solving. AI research in the 1950s and 60s had...

Unsolved problem in computer science: If the solution to a problem is easy to check for correctness, must the problem be easy to solve? (more unsolved...

the DPLL-based SAT solver which, in turn, interacts with a solver for theory T through a well-defined interface. The theory solver only needs to worry...

and optimization problems, are at most as difficult to solve as SAT. There is no known algorithm that efficiently solves each SAT problem, and it is generally...

How to Solve It (1945) is a small volume by mathematician George Pólya, describing methods of problem solving. This book has remained in print continually...

problem solving Cyc Deductive reasoning Divergent thinking Educational psychology Executive function Facilitation (business) General Problem Solver Inductive...

Unlike the two-body problem, the three-body problem has no general closed-form solution, meaning there is no equation that always solves it. When three bodies...

In planning and policy, a wicked problem is a problem that is difficult or impossible to solve because of incomplete, contradictory, and changing requirements...

The general group problem solving model (GGPS model) is a problem solving methodology, in which a group of individuals will define the desired outcome...

complicated, instances of the problem, or as a way to explain a particular, more general, problem solving technique. A toy problem is useful to test and demonstrate...

problem solving Cyc Deductive reasoning Divergent thinking Educational psychology Executive function Facilitation (business) General Problem Solver Inductive...

and y. A method for solving a decision problem, given in the form of an algorithm, is called a decision procedure for that problem. A decision procedure...

problem solving attempts to explain why and how an individual communicates during a problematic situation. The situational theory of problem solving (STOPS)...

system were general problem solvers. These were systems such as the General Problem Solver designed by Newell and Simon. General problem solvers attempted...

The second way that people attempt to solve these puzzles is the representational change theory. The problem solver initially has a low probability for...

computerized knowledge representation was focused on general problem-solvers such as the General Problem Solver (GPS) system developed by Allen Newell and Herbert...