General Problem Solver: diferenças entre revisões

O '''General Problem Solver''' ('''GPS'''), ou Solucionador de problemas gerais, foi um [[programa de computador]] criado em 1957 por [[Herbert Simon]], [[Cliff Shaw|J. C. Shaw]] e [[Allen Newell]] destinado a funcionar como uma máquina universal de solucionar de problemas. Qualquer problema simbólico formalizado poderia ser resolvido, em princípio, pelo GPS. Por exemplo: provas de teoremas, problemas em geometria e o jogo de [[xadrez]]. O programa GPS foi baseado no trabalho teórico de Simon e Newell em máquinas lógicas. GPS foi o primeiro programa de computador que separava seu conhecimento dos problemas (regras representadas como dados de entrada) de sua estratégia de como resolver os problemas (um máquina solucionadora genérica). Foi implementado na linguagem de baixo nível [[Information Processing Language|IPL]]. Peter Norvig implementou uma versão do GPS e a demonstrou em seu livro sobre Inteligência Artificial em [[Common Lisp]].<ref name="norvig">{{Referência a livro|autor=Norvig, Peter|título=Paradigms of Artificial Intelligence Programming|subtítulo=Case Studies in Common Lisp|idioma=|edição=|local=[[San Francisco]], [[California]]|editora=Morgan Kaufmann|ano=1992|páginas=109-149|volumes=|volume=|id=ISBN 1-55860-191-0}}</ref>

 

 

O usuário definia os e as operações que poderiam ser feitas sobre os objetos e o GPS gerava as [[heurística]]s por meio de análises meio-fim, a fim de resolver problemas. O programa focava-se sobre as operações disponíveis, encontrando quais entradas eram aceitáveis e que saídas seriam geradas. Em seguida, criava submetas para chegar cada vez mais perto do objetivo.