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...
4 KB (481 words) - 22:30, 27 November 2024
J. (1980). The complete problem solver. Philadelphia: The Franklin Institute Press. Huber, O. (1995). "Complex problem solving as multistage decision making"...
87 KB (9,930 words) - 05:09, 2 August 2025
spanning tree problems Combinatorial optimization Game solvers for problems in game theory Three-body problem The General Problem Solver (GPS) is a particular...
5 KB (531 words) - 23:05, 1 June 2024
the Logic Theorist, and was one of the developers of General Problem Solver (universal problem solver machine) and Information Processing Language (a programming...
3 KB (241 words) - 12:43, 6 June 2025
of the earliest AI programs, the Logic Theorist (1956) and the General Problem Solver (1957). He and Simon were awarded the ACM's A.M. Turing Award in...
17 KB (1,540 words) - 17:48, 27 April 2025
problem solving Cyc Deductive reasoning Divergent thinking Educational psychology Executive function Facilitation (business) General Problem Solver Inductive...
4 KB (433 words) - 20:08, 23 June 2025
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...
11 KB (1,286 words) - 15:27, 8 November 2023
problem solving Cyc Deductive reasoning Divergent thinking Educational psychology Executive function Facilitation (business) General Problem Solver Inductive...
2 KB (137 words) - 16:25, 18 April 2025
CSPs represent the entities in a problem as a homogeneous collection of finite constraints over variables, which is solved by constraint satisfaction methods...
29 KB (3,364 words) - 22:02, 19 June 2025
In computing, the Two Generals' Problem is a thought experiment meant to illustrate the pitfalls and design challenges of attempting to coordinate an...
13 KB (1,835 words) - 19:06, 21 November 2024
and optimization problems, are at most as difficult to solve as SAT. There is no known algorithm that efficiently solves each SAT problem (where "efficiently"...
45 KB (4,824 words) - 07:05, 3 August 2025
science and formal methods, a SAT solver is a computer program which aims to solve the Boolean satisfiability problem (SAT). On input a formula over Boolean...
30 KB (3,628 words) - 02:41, 18 July 2025
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 problems in...
63 KB (7,797 words) - 07:17, 31 July 2025
"The Problem Solvers" is the fifth episode of the fourth season of the American television comedy series 30 Rock, and the 63rd overall episode of the...
26 KB (2,888 words) - 01:15, 5 January 2025
TRIZ (redirect from Theory of Inventive Problem Solving)
lit. 'theory of inventive problem solving') is a methodology that combines an organized, systematic method of problem-solving with analysis and forecasting...
20 KB (1,831 words) - 21:35, 18 July 2025
Means–ends analysis (redirect from Problem-solving as search)
Allen Newell and Herbert A. Simon in their computer problem-solving program General Problem Solver (GPS). In that implementation, the correspondence between...
5 KB (754 words) - 14:50, 2 October 2023
List of algorithms (redirect from List of differential equation solving algorithms)
heuristic function is used General Problem Solver: a seminal theorem-proving algorithm intended to work as a universal problem solver machine. Iterative deepening...
72 KB (7,951 words) - 17:13, 5 June 2025
2005, the travelling salesman problem of visiting all 33,810 points in a circuit board was solved using Concorde TSP Solver: a tour of length 66,048,945...
87 KB (11,604 words) - 02:24, 25 June 2025
The Problem Solvers Caucus is a group in the United States House of Representatives that has included members equally divided between Democrats and Republicans...
42 KB (3,395 words) - 10:19, 8 July 2025
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...
12 KB (1,296 words) - 17:02, 24 June 2025
and symbolic representations. One approach is to solve this "Binding problem" (that is, the problem of dynamically representing conjunctions of informational...
74 KB (8,639 words) - 12:02, 29 July 2025
In planning and policy, a wicked problem is a problem that is difficult or impossible to solve because of incomplete, contradictory, and changing requirements...
33 KB (3,700 words) - 12:17, 13 July 2025
The general group problem solving model (GGPS model) is a problem solving methodology, in which a group of individuals will define the desired outcome...
13 KB (1,655 words) - 13:17, 20 February 2024
sharing, an algorithm to fairly share computer processing time General Problem Solver, a 1959 computer program Satellite navigation, GPS (global positioning...
2 KB (337 words) - 14:59, 9 September 2024
state of the art solver for moderately-sized, hard instances is the Glasgow Subgraph Solver (McCreesh, Prosser & Trimble (2020)). This solver adopts a constraint...
15 KB (1,857 words) - 07:01, 25 June 2025
computerized knowledge representation was focused on general problem-solvers such as the General Problem Solver (GPS) system developed by Allen Newell and Herbert...
42 KB (5,382 words) - 21:31, 31 July 2025
Reasoning system (category Problem solving)
system were general problem solvers. These were systems such as the General Problem Solver designed by Newell and Simon. General problem solvers attempted...
17 KB (1,945 words) - 21:42, 13 June 2025
chess problem, also called a chess composition, is a puzzle created by the composer using chess pieces on a chessboard, which presents the solver with...
29 KB (4,308 words) - 02:25, 21 July 2025
a mechanical device to solve the problem. Later mathematicians, starting with Jack M. Elkin [de] in 1965, solved the problem algebraically as the solution...
37 KB (4,062 words) - 02:53, 30 July 2025
Symbolic artificial intelligence (section The Frame Problem: knowledge representation challenges for first-order logic)
this work to create a domain-independent problem solver, GPS (General Problem Solver). GPS solved problems represented with formal operators via state-space...
88 KB (11,042 words) - 18:53, 27 July 2025