โปรแกรม แก้ปัญหาทั่วไป ( GPS ) เป็นโปรแกรมคอมพิวเตอร์ที่สร้างขึ้นในปี พ.ศ. 2490 โดยHerbert A. Simon , JC ShawและAllen Newell ( RAND Corporation ) โดยมีจุดประสงค์เพื่อเป็น เครื่องมือ แก้ ปัญหาแบบสากล ซึ่งแตกต่างจากโครงการLogic Theorist ก่อนหน้านี้ ตรง ที่ GPS ทำงานโดยใช้การวิเคราะห์วิธีการและเป้าหมาย^{[ 1 ]}

ปัญหาใดๆ ที่สามารถแสดงได้ในรูปของชุดสูตรที่มีรูปแบบดี (WFFs) หรือข้อความฮอร์นและที่ประกอบเป็นกราฟทิศทางที่มีแหล่งที่มา (นั่นคือสมมติฐาน ) และปลายทาง (นั่นคือ ข้อสรุปที่ต้องการ) อย่างน้อยหนึ่งแหล่ง สามารถแก้ไขได้โดยหลักการด้วย GPS การพิสูจน์ในตรรกศาสตร์เชิงประพจน์และ ปัญหา เรขาคณิตยุคลิดเป็นตัวอย่างสำคัญของขอบเขตการใช้งานของ GPS GPS มีพื้นฐานมาจากงานเชิงทฤษฎีของ Simon และ Newell เกี่ยวกับ เครื่องจักร ตรรกะ GPS เป็นโปรแกรมคอมพิวเตอร์เครื่องแรกที่แยกความรู้เกี่ยวกับปัญหา (กฎที่แสดงเป็นข้อมูลป้อนเข้า) ออกจากกลยุทธ์ในการแก้ปัญหา ( กลไก การแก้ปัญหาทั่วไป) GPS ถูกนำไปใช้ในภาษาการ ^{เขียน}โปรแกรมลำดับที่สามIPL [ ^{2 ]}

แม้ว่า GPS จะสามารถแก้ปัญหาที่เรียบง่าย เช่น ปัญหาหอคอยฮานอยซึ่งสามารถกำหนดรูปแบบได้อย่างเหมาะสม แต่ก็ไม่สามารถแก้ปัญหาในโลกแห่งความเป็นจริงได้ เพราะการค้นหาจะสูญหายไปได้ง่ายในการระเบิดเชิงการจัดเรียง (combinatorial explosion ) กล่าวอีกนัยหนึ่ง จำนวน "การเดิน" ผ่านกราฟระบุทิศทางเชิงอนุมานกลายเป็นสิ่งที่คำนวณไม่ได้ (ในทางปฏิบัติ แม้แต่การค้นหาในพื้นที่สถานะ ที่ตรงไปตรงมา เช่น ปัญหาหอคอยฮานอย ก็อาจคำนวณไม่ได้ แม้ว่าการตัดแต่งพื้นที่สถานะอย่างรอบคอบจะทำได้ด้วยเทคนิค AI พื้นฐาน เช่นA*และIDA*ก็ตาม)

ระบบจะกำหนดวัตถุและการดำเนินการที่ผู้ใช้สามารถทำได้กับวัตถุเหล่านั้น และระบบ GPS จะสร้างฮิวริสติกส์โดยการวิเคราะห์วิธีการและเป้าหมายเพื่อแก้ปัญหา โดยมุ่งเน้นไปที่การดำเนินการที่มีอยู่ ค้นหาว่าอินพุตใดที่ยอมรับได้และเอาต์พุตใดที่เกิดขึ้น จากนั้นจึงสร้างเป้าหมายย่อยเพื่อเข้าใกล้เป้าหมายหลักมากขึ้นเรื่อยๆ

รูปแบบของระบบ GPS ได้พัฒนาไปสู่ สถาปัตยกรรม Soarสำหรับปัญญาประดิษฐ์ใน ที่สุด

• นักทฤษฎีตรรกศาสตร์
• ประวัติศาสตร์ของปัญญาประดิษฐ์