General Problem Solver

General Problem Solver בראשי תיבות GPS היא תוכנת מחשב שנוצרה בשנת 1957 על ידי הרברט סיימון, ג'יי.סי. שו ואלן ניואל (תאגיד ראנד) שנועדה לפעול כמכונה אוניברסלית לפתרון בעיות. בניגוד לפרויקט הקודם של Logic Theorist, ה-GPS עובד בשיטת ניתוח אמצעים-מטרות.
)
סקירה כללית
כל בעיה שניתן לבטא כקבוצה של נוסחאות מעוצבות היטב (WFFs) או פסוקיות Horn, ומהווה גרף מכוון עם מקור אחד או יותר (כלומר, השערות) ומסקנות רצויות, ניתנת לפתרון, באופן עקרוני, באמצעות GPS.

הוכחות במרחבי בעיות של תחשיב הפרדיקטים וגאומטריה אוקלידית הן דוגמאות מובהקות לתחום הישימות של GPS. זה התבסס על עבודתם התאורטית של הרברט סיימון וניוול על מכונות לוגיקה. GPS הייתה תוכנת המחשב הראשונה שהפרידה את הידע שלה על בעיות (כללים המיוצגים כנתוני קלט) מהאסטרטגיה שלה כיצד לפתור בעיות (מנוע פתרון בעיות כללי). GPS יושם בשפת התכנות IPL. זוהי שפת תכנות מדור שלישי.
)

בעוד ש-GPS פתר בעיות פשוטות כמו מגדלי האנוי שניתן היה לנסח אותן באופן פורמלי ראוי, הוא לא הצליח לפתור בעיות מהעולם האמיתי משום שהחיפוש אבד בקלות בפיצוץ הקומבינטורי. במילים אחרות, מספר ה"הליכות" דרך הדיגרף ההסקתי הפך לבלתי נסבל מבחינה חישובית. (בפועל, אפילו חיפוש פשוט של מרחב מצבים כמו מגדלי האנוי יכול להפוך לבלתי אפשרי מבחינה חישובית, אם כי קיצוץ מושכל של מרחב המצבים יכול להתבצע באמצעות טכניקות בינה מלאכותית בסיסיות כמו A* ו-IDA*).

המשתמש הגדיר אובייקטים ופעולות שניתן לבצע עליהם, ו-GPS יצר היוריסטיקות באמצעות ניתוח אמצעים-מטרות על מנת לפתור בעיות. תוכנת ה-GPS התמקדה בפעולות הזמינות, במציאת קלטים קבילים ובפלטים שנוצרו. לאחר מכן היא יצרה יעדי משנה כדי להתקרב יותר ויותר למטרה.

פרדיגמת ה-GPS התפתחה בסופו של דבר לארכיטקטורת Soar עבור בינה מלאכותית.

ארכיטקטורת Soar לבינה מלאכותית היא ארכיטקטורה קוגניטיבית שפותחה על ידי John Laird, Allen Newell ופול רוזנבלום באוניברסיטת קרנגי מלון. מטרתה היא בניית אבני בניין מחשוביות קבועות לפיתוח סוכנים תבוניים מוחשבים המסוגלים לבצע מגוון רחב של משימות המבוצעות על ידי בני אדם.
לקריאה נוספת
 Newell, A., and Simon, H. A. (1972) Human problem solving Englewood Cliffs, NJ: Prentice-Hall
 Noyes, James L. (1992). Artificial Intelligence with Common Lisp. Lexington: D. C. Heath. pp. 343–371. .
 Ernst, G.W. and Newell, A. (1969). GPS: a case study in generality and problem solving. Academic Press. (Revised version of Ernst's 1966 dissertation, Carnegie Institute of Technology.)

קישורים חיצוניים
 Allen Newell (1963). [chrome-extension://oemmndcbldboiebfnladdacbdfmadadmkaj/https://stacks.stanford.edu/file/druid:zk239tp3547/zk239tp3547.pdf/ A Guide to The General Problem Solver Program GPS-2-2], RAND Corporation, Santa Monica, California

 הערות שוליים 

*
קטגוריה:היסטוריה של המחשוב
קטגוריה:אלגוריתמים