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