อ่าน 2 นาที
การเขียนโปรแกรมตรรกะแบบตาราง
การจัดทำตาราง เป็นเทคนิคที่พัฒนาขึ้นครั้งแรกในด้านการประมวลผลภาษาธรรมชาติ ซึ่งในบริบทของการวิเคราะห์ไวยากรณ์เรียกว่า การวิเคราะห์ ไวยากรณ์แบบเออร์ลีย์ (Earley parsing )...
การเขียนโปรแกรมตรรกะแบบตาราง
การจัดทำตารางเป็นเทคนิคที่พัฒนาขึ้นครั้งแรกในด้านการประมวลผลภาษาธรรมชาติ ซึ่งในบริบทของการวิเคราะห์ไวยากรณ์เรียกว่า การวิเคราะห์ ไวยากรณ์แบบเออร์ลีย์ (Earley parsing ) เทคนิคนี้ประกอบด้วยการจัดเก็บผลการวิเคราะห์ที่ประสบความสำเร็จบางส่วนไว้ในตาราง (หรือแผนภูมิในบริบทของการวิเคราะห์ไวยากรณ์) ซึ่งอาจมีประโยชน์สำหรับการนำไปใช้ซ้ำในอนาคต
การใช้ตารางประกอบด้วยการรักษาตารางของเป้าหมายที่ถูกเรียกในระหว่างการดำเนินการ พร้อมกับคำตอบของเป้าหมายเหล่านั้น จากนั้นจึงใช้คำตอบโดยตรงเมื่อมีการเรียกเป้าหมายเดียวกันในภายหลัง การใช้ตารางรับประกันความถูกต้องสมบูรณ์สำหรับโปรแกรม Prolog (บริสุทธิ์) ใดๆ ที่ไม่มีสัญลักษณ์ฟังก์ชัน[ 1 ]
การสร้างตารางสามารถขยายได้ในหลายทิศทาง สามารถรองรับเงื่อนไขแบบเรียกซ้ำผ่านการแก้ไข SLGหรือการสร้างตารางเชิงเส้น ในระบบ Prolog แบบมัลติเธรด ผลลัพธ์ของการสร้างตารางอาจถูกเก็บไว้เป็นส่วนตัวในเธรดเดียวหรือแชร์ระหว่างทุกเธรด และในการสร้างตารางแบบเพิ่มขึ้น การสร้างตารางอาจตอบสนองต่อการเปลี่ยนแปลง[ 2 ] [ 3 ]
ประวัติศาสตร์
การปรับใช้ตารางเป็นขั้นตอนการพิสูจน์การเขียนโปรแกรมเชิงตรรกะ ภายใต้ชื่อการหักล้างแบบเอิร์ลลีย์ มีที่มาจากบันทึกที่ไม่ได้รับการตีพิมพ์ในปี 1975 โดยเดวิด เอชดี วอร์เรน [ 4 ] ต่อมาวิธีการตีความที่อิงตามตารางได้รับการพัฒนาโดยทามากิและซาโตะ โดยจำลองเป็นการปรับปรุงการแก้ปัญหา SLD [ 5 ]
David S. Warren และนักศึกษาของเขาได้นำเทคนิคนี้มาใช้โดยมีแรงจูงใจในการเปลี่ยนความหมายของ Prolog จากความหมายแบบเติมเต็มไปเป็นความหมายแบบจำลองขั้นต่ำ Tabled Prologได้รับการแนะนำครั้งแรกในXSB [ 6 ]ซึ่งส่งผลให้มีการนำความหมายแบบ well-founded มาใช้อย่างสมบูรณ์ ซึ่งเป็นความ หมายแบบสามค่าที่แสดงค่าสำหรับจริง เท็จ และไม่ทราบ[ 7 ]
สรุปเนื้อหา
ข้อมูลสำคัญจากบทความ
ข้อมูลสำคัญเกี่ยวกับ การเขียนโปรแกรมตรรกะแบบตาราง
การจัดทำตาราง เป็นเทคนิคที่พัฒนาขึ้นครั้งแรกในด้านการประมวลผลภาษาธรรมชาติ ซึ่งในบริบทของการวิเคราะห์ไวยากรณ์เรียกว่า การวิเคราะห์ ไวยากรณ์แบบเออร์ลีย์ (Earley parsing )...
ประวัติศาสตร์
การปรับใช้ตารางเป็นขั้นตอนการพิสูจน์การเขียนโปรแกรมเชิงตรรกะ ภายใต้ชื่อการหักล้างแบบเอิร์ลลีย์ มีที่มาจากบันทึกที่ไม่ได้รับการตีพิมพ์ในปี 1975 โดย เดวิด เอชดี วอร์เรน [ 4 ] ต่อ มาวิธีการตีความที่อิงตามตารางได้รับการพัฒนาโดยทามากิและซาโตะ...