The concept of list processing was

The concept of list processing was developed by Allen Newell, J. C. Shaw, and Herbert Simon at the RAND Corporation. It was first published in a classic paper that describes one of the first AI programs, the Logic Theorist,2 and a language in which it could be implemented (Newell and Simon, 1956). The language, named IPL-I (Information Processing Language I), was never implemented. The next version, IPL-II, was implemented on a RAND Johnniac computer. Development of IPL continued until 1960, when the description of IPL-V was published (Newell and Tonge, 1960). The low level of the IPL languages prevented their widespread use. They were actually assembly languages for a hypothetical computer, implemented with an interpreter, in which list-processing instructions were included. Another factor that kept the IPL languages from becoming popular was their implementation on the obscure Johnniac machine. The contributions of the IPL languages were in their list design and their demonstration that list processing was feasible and useful. IBM became interested in AI in the mid-1950s and chose theorem proving as a demonstration area. At the time, the Fortran project was still underway. The high cost of the Fortran I compiler convinced IBM that their list processing should be attached to Fortran, rather than in the form of a new language. Thus, the Fortran List Processing Language (FLPL) was designed and implemented as an extension to Fortran. FLPL was used to construct a theorem prover for plane geometry, which was then considered the easiest area for mechanical theorem proving

ผลลัพธ์ (ไทย) 1:

แนวคิดของการประมวลผลรายการที่ได้รับการพัฒนา โดย Allen Newell, J. C. ชอว์ เฮอร์เบิร์ตไซมอนที่ บริษัท RAND มันถูกเผยแพร่ครั้งแรกในกระดาษคลาสสิคที่อธิบายแรก AI โปรแกรม ทฤษฎีตรรกะ 2 และภาษาที่อาจนำมาใช้ (Newell และไซมอน 1956) ชื่อภาษา IPL-ฉัน (ข้อมูลการประมวลผลภาษาฉัน), ไม่เคยใช้งาน รุ่นถัดไป IPL-II ถูกนำมาใช้ในเครื่อง Johnniac แรนด์ พัฒนาของ IPL ต่อเนื่องจนถึงปี 1960 เมื่อคำอธิบายของ IPL V ถูกเผยแพร่ (Newell และ Tonge, 1960) ระดับต่ำของภาษา IPL ป้องกันการใช้อย่างแพร่หลาย พวกเขาเป็นจริงภาษาแอสเซมบลีสำหรับคอมพิวเตอร์สมมุติ ดำเนินการ ด้วยการล่าม ที่แนะนำการประมวลผลรายการที่ถูกรวมอยู่ ปัจจัยอื่นที่เก็บภาษา IPL จากกลายเป็นที่นิยมคือ การดำเนินบนเครื่อง Johnniac ปิดบัง ผลงานของภาษา IPL ในการออกแบบรายการ และการสาธิตที่แสดงรายการการประมวลผลสามารถทำได้ และมีประโยชน์ IBM เป็นที่สนใจใน AI ในช่วงกลางปี 1950 และเลือกเป็นพื้นที่สาธิตการพิสูจน์ทฤษฎีบท ในเวลา โครงการ Fortran ถูกยังคงกำลัง สูงต้นทุนของ Fortran ฉัน IBM คอมไพเลอร์ที่มั่นใจว่า การประมวลผลรายการควรแนบ Fortran แทน ในรูปของภาษาใหม่ ดังนั้น กับ Fortran รายการประมวลผลภาษา (FLPL) ถูกออกแบบ และดำเนินการเป็น Fortran FLPL ถูกใช้เพื่อสร้าง prover เป็นทฤษฎีบทสำหรับเรขาคณิต ซึ่งเป็นพื้นที่ที่ง่ายที่สุดสำหรับจักรกลทฤษฎีบทที่พิสูจน์แล้ว

ผลลัพธ์ (ไทย) 2:

แนวคิดของการประมวลผลรายการได้รับการพัฒนาโดยอัลเลน Newell, JC ชอว์และเฮอร์เบิร์ไซมอนที่แรนด์คอร์ปอเรชั่น มันได้รับการตีพิมพ์ครั้งแรกในกระดาษคลาสสิกที่อธิบายหนึ่งในโปรแกรม AI แรกลอจิกทฤษฎี, 2 และภาษาในการที่จะสามารถดำเนินการ (นีเวลล์และไซมอน, 1956) ภาษาชื่อ IPL-I (ข้อมูลการประมวลผลภาษา I) ไม่เคยถูกนำมาใช้ รุ่นถัดไป, IPL-II, ถูกนำมาใช้บนคอมพิวเตอร์ RAND Johnniac การพัฒนาอย่างต่อเนื่องจน IPL 1960 เมื่อรายละเอียดของ IPL-V ถูกตีพิมพ์ (นีเวลล์และ Tonge, 1960) ในระดับต่ำของภาษา IPL ป้องกันไม่ให้เกิดการใช้งานอย่างแพร่หลาย พวกเขาเป็นจริงการชุมนุมภาษาสำหรับคอมพิวเตอร์สมมุติดำเนินการกับล่ามซึ่งในคำแนะนำรายการประมวลผลได้รวม ปัจจัยที่ทำให้ภาษา IPL จากกลายเป็นที่นิยมอีกประการหนึ่งคือการดำเนินการของพวกเขาบนเครื่อง Johnniac ปิดบัง ผลงานของภาษาไอพีแอลอยู่ในการออกแบบรายชื่อของพวกเขาและการสาธิตของพวกเขาในการประมวลผลรายการที่เป็นไปได้และมีประโยชน์ ไอบีเอ็มกลายเป็นที่สนใจในเอไอในช่วงกลางปี ​​1950 และเลือกทฤษฎีบทพิสูจน์เป็นพื้นที่สาธิต ในขณะที่โครงการ Fortran ยังคงอยู่ระหว่างการดำเนินการ ค่าใช้จ่ายสูงของคอมไพเลอร์ Fortran ผมเชื่อว่าการประมวลผล IBM รายการของพวกเขาควรจะแนบมากับ Fortran มากกว่าในรูปแบบของภาษาใหม่ ดังนั้น Fortran รายการการประมวลผลภาษา (FLPL) ได้รับการออกแบบและดำเนินการเป็นส่วนขยายไป Fortran FLPL ถูกใช้ในการสร้าง prover ทฤษฎีบทเรขาคณิตเครื่องบินซึ่งได้รับการพิจารณาแล้วพื้นที่ที่ง่ายที่สุดสำหรับการพิสูจน์ทฤษฎีบทกล

ผลลัพธ์ (ไทย) 3:

แนวคิดของการประมวลผลรายการพัฒนาโดย Allen Newell , J . C . ชอว์ และเฮอร์เบิร์ต ไซมอนที่ RAND Corporation มันถูกตีพิมพ์ครั้งแรกในคลาสสิกกระดาษที่อธิบายถึงหนึ่งในโปรแกรม AI แรกตรรกะทฤษฎี 2 และภาษา ซึ่งมันอาจจะใช้ ( Newell และไซม่อน 1956 ) ภาษา , ชื่อ ipl-i ( ข้อมูลการประมวลผลภาษา ) , ไม่เคยใช้ อีกรุ่น ipl-ii ถูกดำเนินการบนคอมพิวเตอร์ johnniac แรนด์ การพัฒนาของ IPL อย่างต่อเนื่องจนถึงปี 1960 เมื่อรายละเอียดของ ipl-v ถูกตีพิมพ์ ( Newell และ tonge 1960 ) ระดับต่ำของ IPL ภาษาให้ใช้งานอย่างแพร่หลาย พวกเขากำลังประกอบภาษาสำหรับคอมพิวเตอร์สมมุติใช้ล่าม ซึ่งคำสั่งการประมวลผลรายการ ( รวม ปัจจัยอื่นที่ทำให้ IPL ภาษาจากกลายเป็นที่นิยมคือการบนเครื่อง johnniac ปิดบัง ผลงานของ IPL ภาษาได้ในการออกแบบและการประมวลผลรายการของรายการสาธิตให้เห็นว่ามีความเป็นไปได้และประโยชน์ของพวกเขา IBM เริ่มสนใจ AI ใน - และเลือกพิสูจน์เป็นเขตสาธิต ในเวลา , โครงการภาษาฟอร์แทรนก็ยังคงดำเนินต่อไป ค่าใช้จ่ายสูงของภาษาฟอร์แทรนผมเรียบเรียงเชื่อว่า IBM ที่การประมวลผลรายการของพวกเขาควรจะแนบมากับ FORTRAN มากกว่าในรูปแบบของภาษาใหม่ ดังนั้น การประมวลผลรายการภาษา FORTRAN ( flpl ) ถูกออกแบบและใช้เป็นส่วนขยายไปยังโปรแกรม flpl ถูกใช้เพื่อสร้างทฤษฎีบทเรขาคณิตโพรเวอร์สำหรับเครื่องบิน ซึ่งก็ถือว่าพื้นที่ที่ง่ายที่สุดสำหรับกลไกการพิสูจน์ทฤษฎีบท