เป็นไปได้หรือไม่ที่จะสอนเครื่องจักรถึงวิธีการตั้งโปรแกรมเองตามข้อกำหนดที่กำหนดไว้? [ปิด]

เพื่อนของฉันที่ไม่มีความรู้ด้านการเขียนโปรแกรมถามคำถามนี้กับฉันและฉันคิดว่ามันน่าสนใจ

ฉันคิดว่ามันเป็นไปไม่ได้เพราะมันต้องการปัญญาประดิษฐ์ขั้นสูงที่สามารถวิเคราะห์เนื้อหาของปัญหาคิดเกี่ยวกับวิธีแก้ปัญหาและเขียนโปรแกรม แค่คิดเกี่ยวกับเครื่องจักรที่สามารถตั้งโปรแกรมเครื่องคิดเลขง่ายๆได้

แต่บางทีฉันผิดและฉันอยากจะรู้ว่าคุณคิดอย่างไรเกี่ยวกับเรื่องนี้และหากคุณตระหนักถึงบทความ / งานวิจัยเกี่ยวกับเรื่องหรือถ้ามันมีอยู่แล้วหรือถ้ามีความเป็นไปได้ในการเลือกสเปคและได้รับ เครื่องเพื่อตนเองโปรแกรมนี้ "spec?"

โจเอลตอบคำถามนี้ไม่กี่ปีก่อน ความหมายที่แท้จริงของ "สอนเครื่องจักรวิธีการโปรแกรมด้วยตัวเอง" คือ "สอนเครื่องวิธีการใช้สเป็คและสร้างโปรแกรมที่สอดคล้องกับสเป็คนั้น" และด้วยความในใจ:

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

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

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

วิธีเดียวที่จะหลีกเลี่ยงสิ่งนี้ได้ก็คือการผลิตคอมพิวเตอร์ที่ฉลาดจริง ๆ และมีสัญชาตญาณเพียงพอที่จะเติมเต็มช่องว่างที่คุณและฉันทำโดยอัตโนมัติตลอดเวลาเมื่อผลิตซอฟต์แวร์ ... ซึ่งในกรณีนี้คุณ จบลงด้วยคอมพิวเตอร์ที่เขียนโปรแกรมเกี่ยวกับตัวเองรวมทั้งเป็นนักพัฒนามนุษย์ ;)

แน่นอนว่าเราทำ นี้ ทั้งหมด เวลา (สำหรับย่อย จำกัด มากปัญหา) มันค่อนข้างง่ายที่จะจินตนาการว่าการก้าวไปอีกขั้นหนึ่งหรือสองครั้งแล้วมัดอะไรทำนองนี้กับ Siri ลงในอินพุตของเครื่องกำเนิดรหัส (หรืออย่าง Wolfram Alpha) ซึ่งจะเขียนโค้ดและแก้ปัญหาของคุณ ผมจะคาดหวังบางสิ่งบางอย่างที่มีอยู่แล้วอยู่ที่ไหนสักแห่งที่จะทำมากที่สุดพื้นฐานของสิ่งที่

ปัญหาเกี่ยวกับการเขียนซอฟต์แวร์ที่ซับซ้อนสำหรับธุรกิจไม่ได้ทำให้โปรแกรมเขียนรหัส แต่เป็นการเขียนโปรแกรมเพื่อรับข้อกำหนด

ฉันคิดว่าคำตอบของ @Mason Wheeler ถือเป็นแนวคิดหลัก มันจะเป็นเช่นนี้:

เอนโทรปีของแชนนอนของโอเอกซ์นั้นเล็กมาก ดังนั้นเราจึงเรียกว่าโอเอกซ์เกม "แก้ไข" หรือ "กำหนดขึ้น" มันไม่น่าสนใจจริงๆเมื่อคุณได้เข้าเรียนชั้นประถมศึกษาปีที่ผ่านมา ตัวตรวจสอบมีเอนโทรปีที่สูงขึ้นหากคุณพิจารณาเอนโทรปีของเกมที่เป็นไปได้ทั้งหมดที่คุณสามารถเล่นได้ แต่ตัวตรวจสอบก็เป็นเกมที่ "แก้ไข" หรือ "กำหนดขึ้น" หากคุณย้ายก่อนคุณควรชนะหรือเสมอ หมากรุกมีเอนโทรปีที่สูงขึ้นมาก แต่ไม่มีมนุษย์คนใดที่สามารถเอาชนะผู้เล่นคอมพิวเตอร์ที่ดีที่สุดได้ตั้งแต่ปี 2549 ดังนั้นในทางหนึ่งคอมพิวเตอร์ก็สามารถเล่นหมากรุกได้อย่างที่มนุษย์ไม่สามารถทำได้ Big Blue วิเคราะห์วิกิพีเดียแล้วเล่น Jeopardy กับผู้เล่นมนุษย์และเอาชนะพวกเขาอย่างเงียบ ๆ

อะไรต่อไป? เอนโทรปีของนวนิยายคืออะไรหรือซอนเน็ทของชากีเปรี

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

ฉันคิดว่าคำถามจะกลายเป็นนานแค่ไหนที่ AI ใช้เวลาในการควบคุมพลังงานจากเอนโทรปี ... และต้องใช้ทรัพยากรคอมพิวเตอร์กี่เครื่อง? ฉันคิดว่ามันเป็นไปไม่ได้ที่คอมพิวเตอร์ไม่สามารถควบคุมเอนโทรปีที่ควบคุมโดยสมองมนุษย์ที่ดีที่สุด - ไม่มีอะไรมหัศจรรย์เกี่ยวกับสมอง - แต่คำถามคือคุณต้องการแกนกี่แกนและต้องใช้เวลากี่ศตวรรษ

แต่ ... คอมพิวเตอร์จะสามารถทำงานของฉันได้หรือไม่ ไม่น่าเชื่อ!

นี่เป็นคำตอบที่ยากเพราะเช่นเดียวกับปัญญาประดิษฐ์เมื่อเราทำสิ่งนี้สำเร็จแล้วมันจะเป็นเพราะเราจะได้เขียนโปรแกรมที่ทำ และนักวิจารณ์จะพูดว่า "เอาล่ะเครื่องนี้ไม่ได้เขียนโปรแกรมเองจริง ๆ ! มันแค่ติดตามโปรแกรมที่คุณให้!"

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

ดังนั้น - พิจารณาตัวอย่างเล็ก ๆ น้อย ๆ

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

ที่สอง - บรรณาธิการที่บอกคุณว่าคุณทำผิดพลาด (ข้อผิดพลาดทางไวยากรณ์, ตัวแปรที่ไม่มีอยู่ ฯลฯ ) มันไม่ได้เขียนโปรแกรมอะไรเลย แต่สามารถบอกคุณได้ว่าคุณทำอะไรผิด เป็นอย่างมากบนพื้นผิวเท่านั้น

ภาษาที่คุณสามารถคลิกและลากการควบคุม UI และรหัสที่จะทำให้การทำงานนั้นถูกสร้างขึ้นโดยอัตโนมัติ

คอมไพเลอร์ของ JIT ซอฟต์แวร์ที่สามารถรับรู้ฮอตสปอตในซอฟต์แวร์ที่รันอยู่ในปัจจุบันและแทนที่บางส่วนด้วยรหัสที่คอมไพล์อย่างเหมาะสมที่สุดได้อย่างมีประสิทธิภาพเพิ่มประสิทธิภาพตัวเองในขณะที่มันทำงาน ฉันคิดว่านี่เป็นตัวอย่างของสิ่งที่ดูเหมือนว่าจะเป็นการเขียนโปรแกรมด้วยตัวเองจนกระทั่งคุณรู้แน่ชัดว่ามันเกิดขึ้นได้อย่างไร

การเล่นเกมทั่วไป นี่เป็นสาขาที่น่าสนใจของการวิจัยซึ่งนักวิจัยเขียนโปรแกรมที่สามารถอ่านคำอธิบายของกฎของเกมที่โปรแกรมนั้นเล่นกัน ดังนั้นแทนที่จะเป็นโปรแกรม tic-tac-toe หรือโปรแกรมหมากรุกสิ่งเหล่านี้เป็นโปรแกรมที่อ่านกฎของ tic-tac-toe หรือหมากรุกหรือเกมใหม่บางเกมสร้างขึ้นที่จุดและจากนั้นสามารถเล่นได้ โปรแกรมไม่ได้เขียนโปรแกรมตัวเอง แต่เล่นหมากรุกโดยไม่ต้องใช้กฎของการเล่นหมากรุก มีบางครั้งที่สิ่งนี้จะถูกพิจารณาอย่างชัดเจนว่าคอมพิวเตอร์สอนอะไรบางอย่าง

เราได้ทำตามขั้นตอนเล็ก ๆ จำนวนมากในทิศทางทั่วไป

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

ไม่ใช่ในปัจจุบันและไม่ได้อยู่ในอนาคตอันใกล้เพราะคุณต้องการความซับซ้อนที่น่าทึ่งของสมองมนุษย์เพื่อสร้างโปรแกรม และแม้กระทั่งสมองเหล่านั้นก็จำเป็นต้องได้รับการฝึกฝนอย่างดีเพื่อที่จะทำอย่างถูกต้องและถึงกระนั้นก็ไม่ใช่ทุกคนที่สามารถทำงานนี้ได้แม้ว่าใคร ๆ ก็สามารถเถียงได้ว่ามีเวลาเพียงพอที่คุณจะฝึกให้ใคร ๆ

ฉันเอามาจากวิธีที่คุณใช้คำถามของคุณว่าคุณไม่ได้พูดถึงงานที่เลียนแบบง่าย ๆ

คุณถามถึงบทความและบทความบล็อกวิทยาศาสตร์เรื่องการพัฒนาความเฉลียวฉลาดตอบคำถามนั้นได้หลายวิธี