กลับไปหน้าบทความ

อ่าน 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 ]

ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?title=Tabled_logic_programming&oldid=1292423332 "

สรุปเนื้อหา

ข้อมูลสำคัญจากบทความ

ข้อมูลสำคัญเกี่ยวกับ การเขียนโปรแกรมตรรกะแบบตาราง

การจัดทำตาราง เป็นเทคนิคที่พัฒนาขึ้นครั้งแรกในด้านการประมวลผลภาษาธรรมชาติ ซึ่งในบริบทของการวิเคราะห์ไวยากรณ์เรียกว่า การวิเคราะห์ ไวยากรณ์แบบเออร์ลีย์ (Earley parsing )...

ประวัติศาสตร์

การปรับใช้ตารางเป็นขั้นตอนการพิสูจน์การเขียนโปรแกรมเชิงตรรกะ ภายใต้ชื่อการหักล้างแบบเอิร์ลลีย์ มีที่มาจากบันทึกที่ไม่ได้รับการตีพิมพ์ในปี 1975 โดย เดวิด เอชดี วอร์เรน [ 4 ] ต่อ มาวิธีการตีความที่อิงตามตารางได้รับการพัฒนาโดยทามากิและซาโตะ...