En המשלוח שלנו בעבר סיפרנו כיצד סיימון, תיאורטיקן של מדע המדינה יחד עם פיזיקאי בשם ניואל ואקטואר שהפך למתכנת בשם שו החלו בבניית תוכנית הבינה המלאכותית הראשונה הידועה בשם תיאורטיקן לוגי. זה הצריך את ההמצאה של שפת התכנות הספציפית הראשונה לבינה מלאכותית
השארנו את הסיפור הזה עם השלישייה יחד עם משתפי פעולה ומשפחה המדמים את ההתנהגות של החלקים השונים של התוכנית באמצעות אנשים וכרטיסים בכתב יד.
לאחר מספר סימולציות כאלו, התוכנית יושמה במחשב אמיתי. הבדיקה הצליחה כ התוכנה הצליחה להוכיח שלושים ושמונה משפטים של אחד מפרקי הספר Principia Matemática מאת ראסל ווייטהד. גם באחד המקרים (וללא שיש לו הנחיות ספציפיות לעשות זאת) הוא מצא דרך לבדוק את זה הרבה יותר "אלגנטי" ממחברי הספר.
שפת התכנות הראשונה לבינה מלאכותית
העובדה שלסיימון ולצוות שלו לקח כל כך הרבה זמן לכתוב את התוכנית שלהם היא בגלל הם היו זקוקים לשפת תכנות ספציפית שיש לה מספיק כוח וגמישות למטרותיהם. שפה זו נקראה IPL (שפת עיבוד מידע) והיא הציגה לראשונה את טכניקת עיבוד הרשימות לתכנות.
ה-IPL היה שונה מהשפות הגבוהות של התקופה בכך הוא לא דרש הגדרת סמלים מראש והייתה לו את היכולת לשייך ולשנות מבני סמלים.
מה שנקרא טכניקת עיבוד רשימה מורכבת מ אחסון כל פיסת מידע יחד עם הנחיות כיצד למצוא חלקי מידע הקשורים אליהם. על ידי שינוי האינדיקציות, ניתן לבנות אסוציאציות חדשות.
"פותר הבעיות הכללי"
כדי ליצור את התוכנה הבאה שלהם, סיימון וניואל החליטו לנסות גישה אחרת. באותה תקופה הסתובב תחקיר פסיכולוגי שהזמין את המשתתפים להסביר בקול את הדרך שבה הם פותרים בעיות לוגיות. הצמד גילה שהטפסים האלה שונים לחלוטין מאלה שבהם השתמשו התוכנה שלהם אז הם החליטו לעשות גרסה משלהם של החקירה ליצור תוכנה המבוססת על השיטות המתוארות על ידי המשתתפים. התוכנית (המכונה GPS for General Problem Solver) קודדה על בסיס ארגון של מידע והיוריסטיקה ללא תלות במשימות שהם התבקשו לבצע.
מתודולוגיה חדשה זו קיבלה את השם "ניתוח אמצעים למטרה" והיא מורכבת מ להשוות את המצב הנוכחי לאידיאל ולעשות פעולות שמקטינות את ההבדל ביניהם ואז להעריך מחדש עד שההפרש יצטמצם לאפס. מתודולוגיה זו מאפשרת לתוכנית להגיב לשינויים במשתני הבעיה. המתכנת מציין את הבעיה ומה שנקרא טבלת הבדלים שבה מצוינים דרכי הפעולה האפשריות ובאילו נסיבות הן.
GPS הצליח לפרק בעיה לתת-בעיות וליישם את גישת החזרה לאחור, כלומר, אם דרך אחת לא הייתה עובדת, הוא יחזור והלך באחר.
במהלך 11 השנים שבהן הוא פעל, GPS פתר חידות, ביצע אינטגרציה סמלית ושבר קודים סודיים.
בזמן שסיימון וניואל בידרו את עצמם עם זה, סטודנט בשם רוברט ק. לינדזי פיתח תוכנית הידועה בשם SAD SAM. הרך הצליח לחלץ מידע ממשפטים מהסוג "חואן הוא הבן של פפה" ו"חואן הוא אחיו של אלברטו" ולבנות אילן יוחסין שלמלמד שאלברטו הוא גם בנו של פפה (אין לי מושג איך הוא יסתדר עם המשפחות החורגות של העולם של היום.
כמובן שענקית תעשיית המחשבים דאז, IBM, לא יכלה להתרחק ממחקר על בינה מלאכותית, תחום שבאמצע המלחמה הקרה כבר חשף פוטנציאל עצום ליישומים צבאיים ובמאמר הבא ידבר על תרומותיו הראשונות בתחום.