สารบัญ:
คำจำกัดความ - การรวมกันหมายถึงอะไร?
ในวิทยาการคอมพิวเตอร์และตรรกะการรวมเป็นขั้นตอนวิธีที่ใช้ในการแก้สมการที่เกี่ยวข้องกับการแสดงออกสัญลักษณ์ กล่าวอีกนัยหนึ่งโดยการแทนที่ตัวแปรนิพจน์ย่อยด้วยนิพจน์อื่นการรวมจะพยายามระบุนิพจน์สัญลักษณ์สองนิพจน์ การรวมกันถูกใช้ในเทคโนโลยีการให้เหตุผลอัตโนมัติซึ่งยังคงเป็นหนึ่งในพื้นที่การใช้งานหลักของการรวม
การรวมกันถูกใช้ในการใช้งานเช่น:
- การเขียนโปรแกรมการใช้งานระบบประเภทภาษา
- การเขียนโปรแกรมลอจิก
- นักแก้ปัญหา SMT
- การวิเคราะห์โปรโตคอลการเข้ารหัส
- อัลกอริทึมการเขียนใหม่ระยะ
การรวมเป็นหนึ่งในเทคนิคพื้นฐานที่ใช้วิธีการหักอัตโนมัติ
Techopedia อธิบายการรวม
คำว่า "การรวมกัน" และความคิดสามารถนำมาประกอบกับจอห์นอลันโรบินสัน เขาใช้การรวมเป็นการดำเนินการขั้นพื้นฐานของหลักการการแก้ปัญหาของเขาและยังแสดงให้เห็นว่าข้อกำหนดที่ไม่สามารถมีได้นั้นมีตัวรวมทั่วไปอย่างน้อยหนึ่งตัว เฟรมเวิร์กการรวมหลายอย่างแตกต่างกันไปตามนิพจน์ที่เกิดขึ้นในปัญหาการรวม การรวมคำสั่งแรกคือสิ่งที่อนุญาตให้มีตัวแปรลำดับสูงกว่า (ตัวแปรที่แสดงถึงฟังก์ชัน) ในนิพจน์ การรวมกันอย่างอิสระหรือการรวมกันทางวากยสัมพันธ์เป็นสิ่งที่จำเป็นต้องมีการแก้ปัญหาเพื่อให้ทั้งสองด้านของสมการเท่าเทียมกัน
การแก้ปัญหาการรวมเป็นภาพโดยการทดแทนซึ่งเป็นการแมปของค่าสัญลักษณ์กับทุกตัวแปรที่เกี่ยวข้องในการแสดงออกของปัญหา กล่าวอีกนัยหนึ่งจุดสำคัญของการรวมคือการมองหาการทดแทนเพื่อรวมคำสองคำที่กำหนด คาดว่าอัลกอริทึมที่สม่ำเสมอกว่าจะให้ชุดการแทนที่ที่น้อยที่สุดและสมบูรณ์ (ชุดที่มีโซลูชันที่เกี่ยวข้องทั้งหมดที่ไม่มีสมาชิกที่ซ้ำซ้อน) สำหรับปัญหาที่กำหนด กล่าวอีกนัยหนึ่งการรวมกันไม่ได้เป็นเพียงแค่ความสนใจในการแก้ปัญหาของการรวมที่กำหนดหากมีปัญหา แต่ยังรวมถึงหากสามารถแก้ไขได้ในการคำนวณเครื่องรวมทั่วไปส่วนใหญ่
การรวมกันถือว่าเป็นแกนหลักของ:
- การใช้งานภาษาโปรล็อก
- ระบบผู้เชี่ยวชาญขึ้นอยู่กับปัญญาประดิษฐ์
- การจับคู่รูปแบบในภาษาที่ใช้งานได้
- วิธีการวิเคราะห์คำบางอย่าง
- ฐานข้อมูลที่ต้องรับผิดชอบ
- การประมวลผลภาษาธรรมชาติ
- ทฤษฎีบทพิสูจน์
- อัลกอริธึมการอนุมานประเภท
