General Problem Solver
General Problem Solver (GPS) to program komputerowy stworzony w 1957 roku przez Herberta Simona i Allena Newella dla udowadniania teorematów, bazujący na teoretycznych pracach tych naukowców dotyczących maszyn logicznych. Pozwolił on m.in. udowodnić prostsze, dające się sformalizować problemy, jak Wieże Hanoi, ale okazał się nieskuteczny w rozwiązywaniu rzeczywistych problemów. Użytkownik definiował obiekty i operacje wykonywane… Dowiedz się więcej »