Allen Newell, J. Clifford Shaw, and

Allen Newell, J. Clifford Shaw, and Herb Simon
were also writing programs in the 1950s
that were ahead of their time in vision but limited
by the tools. Their LT program was another
early tour-de-force, startling the world with a
computer that could invent proofs of logic theorems—which
unquestionably requires creativity
as well as intelligence. It was demonstrated
at the 1956 Dartmouth conference on artificial
intelligence, the meeting that gave AI its name.

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

อัลเลน Newell เจฟฟอร์ Shaw และ Simon สมุนไพรได้เขียนโปรแกรมในช่วงทศวรรษ 1950ที่ได้ก่อนเวลาในวิสัยทัศน์แต่จำกัดโดยเครื่องมือ โปรแกรม LT ของพวกเขาได้อีกช่วงทัวร์เดอบังคับ ตกใจโลกด้วยการคอมพิวเตอร์ที่สามารถสร้างหลักฐานของทฤษฎีตรรกะ — ซึ่งร้านต้องมีความคิดสร้างสรรค์และปัญญา จะถูกแสดงในการประชุมดาร์ทเมาท์ 1956 ในการประดิษฐ์ปัญญา การประชุมที่ให้ชื่อ AI

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

อัลเลนนีเวลล์, เจ Clifford
ชอว์และสมุนไพรไซมอนก็ยังเขียนโปรแกรมในปี1950
ที่เป็นไปข้างหน้าของเวลาของพวกเขาในการมองเห็น แต่ จำกัด
โดยเครื่องมือ LT โปรแกรมของพวกเขาเป็นอีกหนึ่งช่วงต้นทัวร์เดอแรงตกใจโลกที่มีคอมพิวเตอร์ที่สามารถคิดค้นพิสูจน์ทฤษฎีบทของตรรกะซึ่งแน่นอนต้องใช้ความคิดสร้างสรรค์เช่นเดียวกับหน่วยสืบราชการลับ มันก็แสดงให้เห็นที่ดาร์ทเมาท์ 1956 การประชุมเกี่ยวกับการประดิษฐ์ปัญญาประชุมที่ให้เอไอชื่อ

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

Allen Newell เจ คลิฟฟอร์ด ชอว์ และสมุนไพรไซมอน
ยังเขียนโปรแกรมใน 1950s
ที่ข้างหน้าของเวลาของพวกเขาในการมองเห็นแต่จำกัด
โดยเครื่องมือ โปรแกรมมันอยู่อีก
ช่วงต้นทัวร์เดอบังคับ , ถูกโลกกับ
คอมพิวเตอร์ที่สามารถประดิษฐ์พิสูจน์ทฤษฎีบทของตรรกะที่ต้องใช้ความคิดสร้างสรรค์

เด็ดที่เป็นปัญญา มันแสดงให้เห็น
ที่ดาร์ทเมาท์ 1956 การประชุมปัญญาประดิษฐ์
, การประชุมที่ให้ AI
ชื่อของมัน