นักทฤษฎีตรรกศาสตร์

Q: ข้อมูลสำคัญเกี่ยวกับ นักทฤษฎีตรรกศาสตร์

Logic Theorist เป็นโปรแกรมคอมพิวเตอร์ที่สร้างเสร็จในปี 1956 โดย Allen Newell , Herbert A.

Q: สถาปัตยกรรม

โปรแกรม Logic Theorist เป็นโปรแกรมที่ดำเนินการ กระบวนการ ทางตรรกะ กับ นิพจน์ ตรรกะ [ 15 ] โปรแกรม Logic Theorist ทำงานบนหลักการดังต่อไปนี้:

Logic Theoristเป็นโปรแกรมคอมพิวเตอร์ที่สร้างเสร็จในปี 1956 โดยAllen Newell , Herbert A. SimonและCliff Shaw [ ^{1 ] เป็น}โปรแกรมแรกที่ได้รับการออกแบบมาโดยเจตนาเพื่อทำการอนุมานอัตโนมัติและได้รับการอธิบายว่าเป็น " โปรแกรม ปัญญาประดิษฐ์ ตัวแรก " ^{[ 1 ]}^{[ a ]} Logic Theorist พิสูจน์ทฤษฎีบท 38 ข้อจาก 52 ข้อแรกในบทที่สองของPrincipia MathematicaของWhiteheadและBertrand Russellและค้นพบวิธีพิสูจน์ใหม่และสั้นกว่าสำหรับบางข้อ^[³^]

ประวัติศาสตร์

ในปี พ.ศ. 2498 เมื่อนิวเวลล์และไซมอนเริ่มทำงานกับทฤษฎีตรรกะ สาขาปัญญาประดิษฐ์ยังไม่เกิดขึ้น คำว่า "ปัญญาประดิษฐ์" จะยังไม่ถูกบัญญัติขึ้นจนกระทั่งฤดูร้อนปีถัดไป^{[ b ]}

ไซมอนเป็นนักรัฐศาสตร์ที่เคยศึกษาเกี่ยวกับการทำงานของระบบราชการและพัฒนาทฤษฎีความมีเหตุผลอย่างจำกัด (ซึ่งทำให้เขาได้รับรางวัลโนเบลสาขาเศรษฐศาสตร์ในปี 1978) เขาเชื่อว่าการศึกษาองค์กรธุรกิจนั้นจำเป็นต้องมีความเข้าใจในธรรมชาติของการแก้ปัญหาและการตัดสินใจ ของมนุษย์ เช่นเดียวกับปัญญาประดิษฐ์ ไซมอนกล่าวว่าเมื่อครั้งให้คำปรึกษาที่RAND Corporationในช่วงต้นทศวรรษ 1950 เขาเห็นเครื่องพิมพ์กำลังพิมพ์แผนที่โดยใช้ตัวอักษรและเครื่องหมายวรรคตอนธรรมดาเป็นสัญลักษณ์ สิ่งนี้ทำให้เขาคิดว่าเครื่องจักรที่สามารถจัดการสัญลักษณ์ได้นั้นสามารถจำลองการตัดสินใจและอาจรวมถึงกระบวนการคิดของมนุษย์ได้ด้วย^{[ 5 ]}^{[ 6 ]}

โปรแกรมที่พิมพ์แผนที่นั้นเขียนโดย Newell นักวิทยาศาสตร์ของ RAND ที่ศึกษาด้านโลจิสติกส์และทฤษฎีองค์กรสำหรับ Newell ช่วงเวลาสำคัญคือในปี 1954 เมื่อOliver Selfridgeมาที่ RAND เพื่ออธิบายงานของเขาเกี่ยวกับการจับคู่รูปแบบเมื่อดูการนำเสนอ Newell ก็เข้าใจในทันทีว่าปฏิสัมพันธ์ของหน่วยที่เรียบง่ายและสามารถตั้งโปรแกรมได้นั้นสามารถทำให้เกิดพฤติกรรมที่ซับซ้อนได้ รวมถึงพฤติกรรมที่ชาญฉลาดของมนุษย์ด้วย “ทุกอย่างเกิดขึ้นในบ่ายวันเดียว” เขาจะกล่าวในภายหลัง^{[ 2 ]}^{[ 7 ]}มันเป็นช่วงเวลาแห่งการตรัสรู้ทางวิทยาศาสตร์ที่หาได้ยาก

"ฉันรู้สึกชัดเจนมากว่านี่คือเส้นทางใหม่ และเป็นเส้นทางที่ฉันกำลังจะเดินไป ฉันไม่ค่อยรู้สึกแบบนั้นบ่อยนัก ฉันค่อนข้างสงสัย ดังนั้นโดยปกติฉันจึงไม่ค่อยทำอะไรเกินเลย แต่ครั้งนี้ฉันทำแบบนั้น ฉันจดจ่ออยู่กับมันอย่างสมบูรณ์—โดยไม่ดำรงอยู่กับระดับจิตสำนึกสองหรือสามระดับที่ทำให้คุณทำงาน รู้ตัวว่ากำลังทำงาน และรู้ตัวถึงผลที่ตามมาและผลกระทบ ซึ่งเป็นโหมดความคิดปกติ ไม่เลย ฉันจดจ่ออยู่กับมันอย่างสมบูรณ์เป็นเวลาสิบถึงสิบสองชั่วโมง" ^{[ 8 ]}

นิวเวลล์และไซมอนเริ่มพูดคุยกันถึงความเป็นไปได้ในการสอนเครื่องจักรให้คิด โครงการแรกของพวกเขาคือโปรแกรมที่สามารถพิสูจน์ทฤษฎีบททางคณิตศาสตร์ได้เช่นเดียวกับที่ใช้ในPrincipia Mathematicaของเบอร์แทรนด์ รัสเซลล์และอัลเฟรด นอร์ท ไวท์เฮด พวกเขาขอความช่วยเหลือจาก คลิฟฟ์ ชอว์โปรแกรมเมอร์คอมพิวเตอร์จาก RAND เพื่อพัฒนาโปรแกรม (นิวเวลล์กล่าวว่า "คลิฟฟ์เป็นนักวิทยาศาสตร์คอมพิวเตอร์ตัวจริงในสามคนนี้" ^[⁹^] )

เวอร์ชันแรกเป็นการจำลองด้วยมือ: พวกเขาเขียนโปรแกรมลงบนการ์ดขนาด 3x5 และไซมอนเล่าว่า:

ในเดือนมกราคม พ.ศ. 2499 เราได้รวบรวมภรรยาและลูกสามคนของผมพร้อมกับนักศึกษาปริญญาโทบางคน เรามอบการ์ดหนึ่งใบให้กับสมาชิกแต่ละคนในกลุ่ม เพื่อให้แต่ละคนกลายเป็นส่วนประกอบของโปรแกรมคอมพิวเตอร์โดยปริยาย ... นี่คือธรรมชาติที่เลียนแบบศิลปะที่เลียนแบบธรรมชาติ^{[ 10 ]}

พวกเขาประสบความสำเร็จในการแสดงให้เห็นว่าโปรแกรมดังกล่าวสามารถพิสูจน์ทฤษฎีบทได้อย่างมีประสิทธิภาพเทียบเท่ากับนักคณิตศาสตร์ผู้มากความสามารถ ในที่สุด ชอว์ก็สามารถใช้งานโปรแกรมดังกล่าวบนคอมพิวเตอร์ที่ศูนย์วิจัย RAND ในซานตาโมนิกาได้

ในฤดูร้อนปี 1956 จอห์น แมคคาร์ธี , มาร์วิน มินสกี , คลอดด์ แชนนอนและนาธาน โรเชสเตอร์ได้จัดงานประชุมในหัวข้อที่พวกเขาเรียกว่า "ปัญญาประดิษฐ์" (ซึ่งเป็นคำที่แมคคาร์ธีคิดขึ้นสำหรับโอกาสนี้) นิวเวลล์และไซมอนได้นำเสนอ Logic Theorist ให้กับกลุ่มด้วยความภาคภูมิใจ แต่กลับได้รับการตอบรับที่ไม่ค่อยดีนักพาเมลา แมคคอร์ดักเขียนว่า "หลักฐานคือไม่มีใครนอกจากนิวเวลล์และไซมอนเองที่รับรู้ถึงความสำคัญในระยะยาวของสิ่งที่พวกเขากำลังทำ" ^{[ 11 ]}ไซมอนสารภาพว่า "เราอาจจะค่อนข้างหยิ่งยโสเกี่ยวกับเรื่องทั้งหมดนี้" ^{[ 12 ]}และเสริมว่า:

พวกเขาไม่อยากฟังจากเรา และเราก็ไม่อยากฟังจากพวกเขาเช่นกัน: เรามีบางอย่างที่จะแสดงให้พวกเขาเห็น! ... ในแง่หนึ่งมันเป็นเรื่องที่น่าขัน เพราะเราได้ทำตัวอย่างแรกของสิ่งที่พวกเขาต้องการไปแล้ว และประการที่สอง พวกเขาไม่ได้ให้ความสนใจกับมันมากนัก^{[ 13 ]}

นักทฤษฎีตรรกศาสตร์พิสูจน์ทฤษฎีบท 38 ข้อแรกจาก 52 ข้อแรกในบทที่ 2 ของPrincipia Mathematica ได้ในไม่ช้า การพิสูจน์ทฤษฎีบท 2.85 นั้นสง่างามกว่าการพิสูจน์ที่ Russell และ Whitehead ทำด้วยมืออย่างยากลำบาก^{[ c ]} Simon สามารถแสดงการพิสูจน์ใหม่ให้ Russell เองดูได้ ซึ่ง Russell "ตอบรับด้วยความยินดี" ^{[ 3 ]}พวกเขาพยายามตีพิมพ์การพิสูจน์ใหม่ในThe Journal of Symbolic Logicแต่ถูกปฏิเสธโดยให้เหตุผลว่าการพิสูจน์ใหม่ของทฤษฎีบททางคณิตศาสตร์พื้นฐานนั้นไม่น่าสนใจ เห็นได้ชัดว่ามองข้ามข้อเท็จจริงที่ว่าหนึ่งในผู้เขียนเป็นโปรแกรมคอมพิวเตอร์^{[ 14 ]}^{[ 3 ]}

นิวเวลล์และไซมอนได้สร้างความร่วมมือที่ยั่งยืน โดยก่อตั้งหนึ่งในห้องปฏิบัติการปัญญาประดิษฐ์แห่งแรกๆ ที่สถาบันเทคโนโลยีคาร์เนกีและพัฒนาชุดโปรแกรมและแนวคิดปัญญาประดิษฐ์ที่มีอิทธิพลมากมาย รวมถึงโปรแกรมแก้ปัญหาทั่วไป (General Problem Solver) , โปรแกรมSoarและทฤษฎีการรับรู้แบบบูรณาการ ของพวกเขา

สถาปัตยกรรม

โปรแกรม Logic Theorist เป็นโปรแกรมที่ดำเนินการกระบวนการ ทางตรรกะ กับนิพจน์ตรรกะ^{[ 15 ]}โปรแกรม Logic Theorist ทำงานบนหลักการดังต่อไปนี้:

การแสดงออก

นิพจน์ประกอบด้วยองค์ประกอบต่างๆ
หน่วยความจำมีสองประเภท ได้แก่ หน่วยความจำใช้งานและหน่วยความจำจัดเก็บ
หน่วยความจำใช้งานแต่ละหน่วยประกอบด้วยองค์ประกอบเพียงหนึ่งเดียว โดยปกติแล้วนักทฤษฎีตรรกศาสตร์จะใช้หน่วยความจำใช้งาน 1 ถึง 3 หน่วย
หน่วยความจำจัดเก็บแต่ละหน่วยเป็นรายการที่แสดงถึงนิพจน์ที่สมบูรณ์หรือชุดขององค์ประกอบ โดยเฉพาะอย่างยิ่ง จะบรรจุสัจพจน์และทฤษฎีบททางตรรกศาสตร์ที่ได้รับการพิสูจน์แล้วทั้งหมด
นิพจน์คือโครงสร้างต้นไม้ไวยากรณ์นามธรรมโดยแต่ละโหนดเป็นองค์ประกอบที่มีแอตทริบิวต์ได้มากถึง 11 รายการ

ตัวอย่างเช่น นิพจน์ตรรกะจะถูกแสดงเป็นโครงสร้างต้นไม้ โดยมีองค์ประกอบรากแทนค่าโดยคุณลักษณะขององค์ประกอบรากนั้นประกอบด้วยตัวชี้ไปยังองค์ประกอบสองตัวที่แทนนิพจน์ย่อย และ $\neg P\to (Q\wedge \neg P)$ $\to$ $\neg P$ $Q\wedge \neg P$

กระบวนการ

มีกระบวนการอยู่สี่ประเภท ตั้งแต่ระดับต่ำสุดไปจนถึงระดับสูงสุด

คำสั่ง: คำสั่งเหล่านี้คล้ายกับโค้ดแอสเซมบลีโดยอาจทำการคำนวณพื้นฐานกับนิพจน์ในหน่วยความจำใช้งาน หรือทำการกระโดดแบบมีเงื่อนไขไปยังคำสั่งอื่น ตัวอย่างเช่น "ย้ายองค์ประกอบย่อยด้านขวาของหน่วยความจำใช้งาน 1 ไปยังหน่วยความจำใช้งาน 2"
กระบวนการพื้นฐาน: สิ่งเหล่านี้คล้ายกับซับรูทีน คือ ลำดับของคำสั่งที่สามารถเรียกใช้ได้
วิธีการ: ลำดับของกระบวนการพื้นฐาน มีทั้งหมด 4 วิธี:
- การแทนที่ : เมื่อกำหนดนิพจน์มาให้ วิธีนี้จะพยายามแปลงนิพจน์นั้นให้เป็นทฤษฎีบทหรือสัจพจน์ที่พิสูจน์ได้ โดยการแทนที่ตัวแปรและตัวเชื่อมทางตรรกะ
- การแยกส่วน: เมื่อกำหนดนิพจน์แล้วจะพยายามค้นหาทฤษฎีบทหรือสัจพจน์ที่พิสูจน์แล้วในรูปแบบซึ่งจะได้ผลลัพธ์หลังจากการแทนค่า จากนั้นจึงพยายามพิสูจน์โดยการแทนค่า $B$ $A\to B'$ $B'$ $B$ $A$
- การพิสูจน์แบบลูกโซ่: เมื่อกำหนดนิพจน์แล้วจะพยายามค้นหาทฤษฎีบทหรือสัจพจน์ที่พิสูจน์แล้วในรูปแบบจากนั้นจึงพยายามพิสูจน์โดยการแทนค่า $A\to C$ $A\to B$ $B\to C$
- การพิสูจน์ย้อนกลับ: เมื่อกำหนดนิพจน์แล้วจะพยายามค้นหาทฤษฎีบทหรือสัจพจน์ที่ได้รับการพิสูจน์แล้วในรูปแบบจากนั้นจึงพยายามพิสูจน์โดยการแทนค่า $A\to C$ $B\to C$ $A\to B$
วิธีการควบคุมเชิงบริหาร: วิธีนี้จะนำวิธีการทั้ง 4 วิธีมาประยุกต์ใช้ตามลำดับกับทฤษฎีบทแต่ละข้อที่จะพิสูจน์

อิทธิพลของนักทฤษฎีตรรกศาสตร์ต่อปัญญาประดิษฐ์

นักทฤษฎีตรรกศาสตร์ได้นำเสนอแนวคิดหลายประการที่จะเป็นหัวใจสำคัญของการวิจัยด้านปัญญาประดิษฐ์:

การให้เหตุผลแบบการค้นหา: โปรแกรม Logic Theorist ได้สำรวจโครงสร้างต้นไม้ค้นหาโดยที่รากคือสมมติฐาน เริ่มต้น และแต่ละกิ่งก้านคือการอนุมานตามกฎของตรรกะ เป้าหมายซึ่งก็คือข้อเสนอที่โปรแกรมตั้งใจจะพิสูจน์นั้น จะอยู่ตรงส่วนใดส่วนหนึ่งของต้นไม้ และเส้นทางตามกิ่งก้านที่นำไปสู่เป้าหมายนั้นก็คือการพิสูจน์ ซึ่งประกอบด้วยข้อความหลายชุด แต่ละชุดได้มาจากการอนุมานโดยใช้กฎของตรรกะ และนำไปสู่ข้อเสนอที่จะพิสูจน์จากสมมติฐาน
ฮิวริสติกส์: นิวเวลล์และไซมอนตระหนักว่าต้นไม้การค้นหาจะเติบโตแบบทวีคูณและพวกเขาจำเป็นต้อง "ตัด" บางกิ่งออก โดยใช้ " กฎเกณฑ์คร่าวๆ " เพื่อพิจารณาว่าเส้นทางใดไม่น่าจะนำไปสู่คำตอบ พวกเขาเรียก กฎเกณฑ์ เฉพาะกิจ เหล่านี้ว่า " ฮิวริสติกส์ " โดยใช้คำที่จอร์จ โพลยา แนะนำ ในหนังสือคลาสสิกของเขาเกี่ยวกับการพิสูจน์ทางคณิตศาสตร์How to Solve It (นิวเวลล์เคยเรียนหลักสูตรจากโพลยาที่สแตนฟอร์ด ) ^{[ 16 ]}ฮิวริสติกส์จะกลายเป็นสาขาการวิจัยที่สำคัญในปัญญาประดิษฐ์และยังคงเป็นวิธีการที่สำคัญในการเอาชนะการระเบิดเชิงการจัดเรียง ที่แก้ไข ไม่ได้ ของการค้นหาที่เติบโตแบบทวีคูณ
การประมวลผลรายการ: เพื่อนำทฤษฎีตรรกะไปใช้บนคอมพิวเตอร์ นักวิจัยทั้งสามได้พัฒนาภาษาโปรแกรมIPLซึ่งใช้รูปแบบการประมวลผลรายการสัญลักษณ์แบบเดียวกันกับที่ต่อมากลายเป็นพื้นฐานของ ภาษาโปรแกรม Lisp ของ McCarthy ซึ่งเป็นภาษาสำคัญที่นักวิจัย AI ยังคงใช้อยู่^{[ 17 ]}^{[ 18 ]}

นัยยะทางปรัชญา

พาเมลา แมคคอร์ดัก เขียนว่าทฤษฎีตรรกะเป็น "หลักฐานยืนยันอย่างชัดเจนว่าเครื่องจักรสามารถทำงานที่เคยถือว่าชาญฉลาด สร้างสรรค์ และเป็นเอกลักษณ์เฉพาะของมนุษย์ได้" ^{[ 3 ]}และด้วยเหตุนี้จึงถือเป็นก้าวสำคัญในการพัฒนาปัญญาประดิษฐ์และความเข้าใจของเราเกี่ยวกับสติปัญญาโดยทั่วไป

ไซมอนกล่าวกับนักศึกษาปริญญาโทในเดือนมกราคม พ.ศ. 2499 ว่า "ในช่วงคริสต์มาส อัล นิวเวลล์และผมได้ประดิษฐ์เครื่องจักรคิด" ^{[ 19 ]}^{[ 20 ]} และจะเขียนว่า:

[เรา] ได้คิดค้นโปรแกรมคอมพิวเตอร์ที่สามารถคิดแบบไม่ใช้ตัวเลข และด้วยเหตุนี้จึงแก้ปัญหาจิต-กาย อันเก่าแก่ โดยอธิบายว่าระบบที่ประกอบด้วยสสารสามารถมีคุณสมบัติของจิตได้อย่างไร^{[ 21 ]}

คำกล่าวที่ว่าเครื่องจักรสามารถมีจิตใจได้เช่นเดียวกับมนุษย์นั้น ต่อมาได้รับการตั้งชื่อว่า " ปัญญาประดิษฐ์ขั้นสูง" (Strong AI ) โดยนักปรัชญาจอห์น เซิร์ลและยังคงเป็นหัวข้อถกเถียงที่สำคัญมาจนถึงปัจจุบัน

พาเมลา แมคคอร์ดักยังมองเห็นในทฤษฎีตรรกะว่าเป็นการเปิดตัวทฤษฎีใหม่เกี่ยวกับจิตใจ นั่นคือ แบบจำลอง การประมวลผลข้อมูล (บางครั้งเรียกว่าลัทธิการคำนวณหรือลัทธิความรู้ ) เธอเขียนว่า "มุมมองนี้จะกลายเป็นศูนย์กลางของงานในภายหลังของพวกเขา และในความคิดเห็นของพวกเขา เป็นศูนย์กลางในการทำความเข้าใจจิตใจในศตวรรษที่ 20 เช่นเดียวกับหลักการคัดเลือกโดยธรรมชาติของดาร์วินที่มีต่อการทำความเข้าใจชีววิทยาในศตวรรษที่ 19" ^{[ 22 ]}นิวเวลล์และไซมอนจะทำให้ข้อเสนอนี้เป็นทางการในภายหลังในฐานะสมมติฐานระบบสัญลักษณ์ทางกายภาพ

หมายเหตุ

^โปรแกรม Logic theorist มักถูกพิจารณาว่าเป็นโปรแกรม AI ตัวแรกที่แท้จริง แม้ว่าโปรแกรมหมากรุกของ Arthur Samuel จะถูกปล่อยออกมาก่อนหน้านั้นก็ตาม Christopher Stracheyก็ได้เขียนโปรแกรมหมากรุกในปี 1951 เช่นกัน^{[ 2 ]}
^คำว่า "ปัญญาประดิษฐ์" ถูกบัญญัติขึ้นโดยจอห์น แมคคาร์ธีในข้อเสนอสำหรับการประชุมดาร์ทมัธ ในปี 1956 การประชุมดังกล่าว "ได้รับการยอมรับโดยทั่วไปว่าเป็นวันเกิดอย่างเป็นทางการของวิทยาศาสตร์ใหม่" ตามที่แดเนียล เครเวียร์กล่าว^{[ 4 ]}
^สิ่งที่เรียกว่าทฤษฎีบท 2.85 ในที่นี้ แท้จริงแล้วมีหมายเลขเป็น 2.53 ในหน้า 107 ของฉบับพิมพ์ปี 1963 ของสำนักพิมพ์มหาวิทยาลัยเคมบริดจ์ ( https://www.uhu.es/francisco.moreno/gii_mac/docs/Principia_Mathematica_vol1.pdf ) และปรากฏภายใต้หมายเลข 2.53 เดียวกันในหน้า 112 ของฉบับพิมพ์ปี 1910 ของสำนักพิมพ์มหาวิทยาลัยเคมบริดจ์ ตามข้อมูลดิจิทัลบนวิกิบุ๊ก ( https://en.wikisource.org/wiki/Russell_%26_Whitehead%27s_Principia_Mathematica/Part_1/Section_A#Discussion_2 ))

การอ้างอิง

^ ^a ^b McCorduck 2004 , หน้า 123–125, Crevier 1993 , หน้า 44–46 และRussell & Norvig 2021 , หน้า 17
^ ^a ^b Crevier 1993 , หน้า 44.
^ ^a ^b ^c ^d McCorduck 2004 , หน้า 167.
^ Crevier 1993 , หน้า 49–50.
^ Crevier 1993 , หน้า 41–44.
^ McCorduck 2004 , หน้า 148.
^ McCorduck 2004 , หน้า 157–158.
^ McCorduck 2004 , หน้า 158–159.
^ McCorduck 2004 , หน้า 169.
^เครเวียร์ 1993 , หน้า 45.
^ McCorduck 2004 , หน้า 124.
^ Crevier 1993 , หน้า 48.
^ Crevier 1993 , หน้า 49.
^ Crevier 1993 , หน้า 146.
^ Gugerty, Leo (ตุลาคม 2549). "ทฤษฎีตรรกะของ Newell และ Simon: ภูมิหลังทางประวัติศาสตร์และผลกระทบต่อการสร้างแบบจำลองทางปัญญา" . รายงานการประชุมประจำปีของสมาคมปัจจัยมนุษย์และสรีรศาสตร์ . 50 (9): 880– 884. doi : 10.1177/154193120605000904 . ISSN 2169-5067 .
^เครเวียร์ 1993 , หน้า 43.
^ Crevier 1993 , หน้า 46–48.
^ McCorduck 2004 , หน้า 167–168.
^อ้างอิงใน McCorduck (2004 , หน้า 138)
^ "Libraries/UnivArchives: Mind Models Exhibit/Problem Solving Research" . shelf1.library.cmu.edu .
^อ้างอิงใน Crevier 1993หน้า 46
^ McCorduck 2004 , หน้า 127.

ลิงก์ภายนอก

รายงานของ Newell และ Simon จาก RAND Corporation เกี่ยวกับนักทฤษฎีตรรกศาสตร์
รายงานฉบับเต็มของ Newell และ Simon จาก RAND Corporation เกี่ยวกับ Logic Theorist
ห้องสมุด CMU: จิตใจของมนุษย์และเครื่องจักร
ซอร์สโค้ดในรูปแบบ PDF บน Github
การนำ IPL-V มาใช้ในปี 2026 ด้วยภาษา Common Lisp ซึ่งสามารถรันโค้ดดั้งเดิมของ Logic Theorist ได้

[3] โปรแกรม Logic theorist มักถูกพิจารณาว่าเป็นโปรแกรม AI ตัวแรกที่แท้จริง แม้ว่าโปรแกรมหมากรุกของ Arthur Samuel จะถูกปล่อยออกมาก่อนหน้านั้นก็ตาม Christopher Stracheyก็ได้เขียนโปรแกรมหมากรุกในปี 1951 เช่นกัน^{[ 2 ]}

[6] คำว่า "ปัญญาประดิษฐ์" ถูกบัญญัติขึ้นโดยจอห์น แมคคาร์ธีในข้อเสนอสำหรับการประชุมดาร์ทมัธ ในปี 1956 การประชุมดังกล่าว "ได้รับการยอมรับโดยทั่วไปว่าเป็นวันเกิดอย่างเป็นทางการของวิทยาศาสตร์ใหม่" ตามที่แดเนียล เครเวียร์กล่าว^{[ 4 ]}

[16] สิ่งที่เรียกว่าทฤษฎีบท 2.85 ในที่นี้ แท้จริงแล้วมีหมายเลขเป็น 2.53 ในหน้า 107 ของฉบับพิมพ์ปี 1963 ของสำนักพิมพ์มหาวิทยาลัยเคมบริดจ์ ( https://www.uhu.es/francisco.moreno/gii_mac/docs/Principia_Mathematica_vol1.pdf ) และปรากฏภายใต้หมายเลข 2.53 เดียวกันในหน้า 112 ของฉบับพิมพ์ปี 1910 ของสำนักพิมพ์มหาวิทยาลัยเคมบริดจ์ ตามข้อมูลดิจิทัลบนวิกิบุ๊ก ( https://en.wikisource.org/wiki/Russell_%26_Whitehead%27s_Principia_Mathematica/Part_1/Section_A#Discussion_2 ))

[mccCrevRussNorv-1] McCorduck 2004 , หน้า 123–125, Crevier 1993 , หน้า 44–46 และRussell & Norvig 2021 , หน้า 17

[FOOTNOTECrevier199344-2] Crevier 1993 , หน้า 44.

[FOOTNOTEMcCorduck2004167-4] McCorduck 2004 , หน้า 167.

[FOOTNOTECrevier199349–50-5] Crevier 1993 , หน้า 49–50.

[FOOTNOTECrevier199341–44-7] Crevier 1993 , หน้า 41–44.

[FOOTNOTEMcCorduck2004148-8] McCorduck 2004 , หน้า 148.

[FOOTNOTEMcCorduck2004157–158-9] McCorduck 2004 , หน้า 157–158.

[FOOTNOTEMcCorduck2004158–159-10] McCorduck 2004 , หน้า 158–159.

[FOOTNOTEMcCorduck2004169-11] McCorduck 2004 , หน้า 169.

[FOOTNOTECrevier199345-12] เครเวียร์ 1993 , หน้า 45.

[FOOTNOTEMcCorduck2004124-13] McCorduck 2004 , หน้า 124.

[FOOTNOTECrevier199348-14] Crevier 1993 , หน้า 48.

[FOOTNOTECrevier199349-15] Crevier 1993 , หน้า 49.

[FOOTNOTECrevier1993146-17] Crevier 1993 , หน้า 146.

[18] Gugerty, Leo (ตุลาคม 2549). "ทฤษฎีตรรกะของ Newell และ Simon: ภูมิหลังทางประวัติศาสตร์และผลกระทบต่อการสร้างแบบจำลองทางปัญญา" . รายงานการประชุมประจำปีของสมาคมปัจจัยมนุษย์และสรีรศาสตร์ . 50 (9): 880– 884. doi : 10.1177/154193120605000904 . ISSN 2169-5067 .

[FOOTNOTECrevier199343-19] เครเวียร์ 1993 , หน้า 43.

[FOOTNOTECrevier199346–48-20] Crevier 1993 , หน้า 46–48.

[FOOTNOTEMcCorduck2004167–168-21] McCorduck 2004 , หน้า 167–168.

[22] อ้างอิงใน McCorduck (2004 , หน้า 138)

[23] "Libraries/UnivArchives: Mind Models Exhibit/Problem Solving Research" . shelf1.library.cmu.edu .

[24] อ้างอิงใน Crevier 1993หน้า 46

[FOOTNOTEMcCorduck2004127-25] McCorduck 2004 , หน้า 127.

1 ] เป็น

[ a ]

[

[ b ]

[ 5 ]

[ 6 ]

[ 2 ]

[ 7 ]

[ 8 ]

[

[ 10 ]

[ 11 ]

[ 12 ]

[ 13 ]

[ c ]

[ 14 ]

[ 15 ]

[ 16 ]

[ 17 ]

[ 18 ]

[ 19 ]

[ 20 ]

[ 21 ]

[ 22 ]

[ 4 ]