General Problem Solver

General Problem Solver

El General Problem Solver (GPS), en español Solucionador General de Problemas, es un programa de ordenador creado en 1957 por Herbert Simon, J.C. Shaw, y Allen Newell con el objetivo de construir una máquina capaz de resolver problemas de carácter general. Cualquier problema simbólico formal puede ser resuelto, en principio, por el GPS. Por ejemplo: probar teoremas, resolver problemas geométricos, trabajar con lógica proposicional y jugar al ajedrez. Se basaba en el trabajo teórico previo de Simon y Newell sobre máquinas lógicas. El GPS fue el primer programa de computadora en el que se separó el conocimiento de los problemas de su estrategia sobre cómo resolverlos. Se implementó en el lenguaje de programación IPL (Information Processing Language).

El GPS consiguió resolver problemas sencillos, como el de las Torres de Hanoi, que podía ser expresado de una manera lo suficientemente formalizada, pero no podía resolver los problemas del mundo real.

El usuario definía los objetos y las operaciones que se podría hacer con y sobre los objetos y el GPS generaba la heurística mediante un análisis de los medios y los objetivos, a fin de resolver los problemas. Para ello, se centraba en las operaciones disponibles, encontrando qué entradas eran aceptables, y qué resultados se generaban. Se creaban entonces sub-objetivos para conseguir aproximarse más y más a la meta anteriormente definida.

El paradigma GPS evolucionó hasta convertirse en la arquitectura simbólico-cognitiva SOAR (State Operator And Result).

Proceso

Simon y Newell proponen el ejemplo sobre cómo transformar la proposición lógica L1= R*(-P => Q) en L2=(Q \/ P)*R (Newell y Simon, 1972, página 420). Esta transformación sería procesada por el GPS de la siguiente manera:

  • Objetivo 1: Transforma L1 en L0
  • Objetivo 2: Reduce la diferencia entre L1 y L0
  • Objetivo 3: Aplica R1 a L1
  • Objetivo 4: Transforma L1 en una condición (R1)
  • Producto L2: (-P => Q) *R
  • Objetivo 5: Transforma L2 en L0
  • Objetivo 6: Reduce la diferencia entre (L2) y (L0)
  • Objetivo 7: Aplica R5 a (L2)
  • Objetivo 8: Transforma (L2) en una condición (R5)
  • Objetivo 9: Reduce la diferencia entre (L2) y (R5)
  • Rechazado: No es más simple que el Objetivo 6
  • Objetivo 10: Aplica R6 a (L2)
  • Objetivo 11: Transforma (L2) en una condición (R5)
  • Producto L3: (P \/ Q) *R
  • Objetivo 12: Transforma L3 en L0
  • Objetivo 13: Reduce la diferencia entre (L3) y (L0)
  • Objetivo 14: Aplica R1 a (L3)
  • Objetivo 15: Transforma (L3) en una condición (R1)
  • Producto L4: (Q \/ P)*R
  • Objetivo 16: Transforma L4 en L0
  • Identifica, QED

Referencias

  • Newell, A.; Shaw, J.C.; Simon, H.A. (1959). Report on a general problem-solving program. Proceedings of the International Conference on Information Processing. pp. 256-264.
  • A. Newell y H. A. Simon (1961). GPS, a program that simulates human thought, en E. Feigenbaum y J. Feldmann, Hrsg. (1995) Computers and Thought, ISBN 0262560925.
  • Newell, A. (1963). A guide to the general problem-solver program GPS-2-2. RAND Corporation, Santa Monica, California. Technical Report No. RM-3337-PR.
  • Ernst, G.W. y Newell, A. (1969). GPS: a case study in generality and problem solving. Academic Press. (versión revisada de una disertación de Ernst de 1966, Carnegie Institute of Technology.)
  • Newell, A., y Simon, H. A. (1972) Human problem solving. Englewood Cliffs, NJ: Prentice-Hall.
  • Norvig, Peter. (1992). Paradigms of artificial intelligence programming: case studies in Common Lisp. pp 109-110.

Véase también


Wikimedia foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Mira otros diccionarios:

  • General Problem Solver — (GPS) was a computer program created in 1957 by Herbert Simon and Allen Newell to build a universal problem solver machine. Any formalized symbolic problem can be solved, in principle, by GPS. For instance: theorems proof, geometric problems and… …   Wikipedia

  • General Problem Solver —   [engl.], künstliche Intelligenz …   Universal-Lexikon

  • General Problem Solver — Der General Problem Solver (GPS) ist eine von Herbert Simon und Allen Newell ab 1957 entwickelte Software zur Realisierung einer allgemeinen Problemlösungsmethode im Rahmen der damals beginnenden Forschung zur Künstlichen Intelligenz. Die… …   Deutsch Wikipedia

  • General Problem Solver —  Pour l’article homonyme, voir GPS.  Le General Problem Solver (GPS) est un programme informatique créé en 1957 par Herbert Simon et Allen Newell dans le but de construire un résolveur de problème universel. N importe quel problème… …   Wikipédia en Français

  • Problem solving — forms part of thinking. Considered the most complex of all intellectual functions, problem solving has been defined as higher order cognitive process that requires the modulation and control of more routine or fundamental skills (Goldstein Levin …   Wikipedia

  • Problem finding — means problem discovery. It is part of the larger problem process that includes problem shaping and problem solving. Problem finding requires intellectual vision and insight into what is missing. This involves the application of creativity.… …   Wikipedia

  • Problem shaping — means revising a question so that the solution process can begin or continue. It is part of the larger problem process that includes problem finding and problem solving. Problem shaping (or problem framing) often involves the application of… …   Wikipedia

  • General Algebraic Modeling System — Infobox Software name = GAMS developer = [http://www.gams.com GAMS Development Corporation] latest release version = 22.8.1 latest release date = August 1, 2008 platform = Cross platform status = Active license = Proprietary genre = Algebraic… …   Wikipedia

  • Wicked problem — The concept of wicked problems was originally proposed by Horst Rittel (a pioneering theorist of design and planning, and late professor at the University of California, Berkeley) and M. Webber ref|1 in a seminal treatise for social planning,… …   Wikipedia

  • Chess problem — Part of a series on Puzzles …   Wikipedia

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”