แนะนำหนังสือสำหรับศึกษา Logic Programming

สำหรับผู้ที่สนใจศึกษา Logic Programming และ Argumentation theory ขอแนะนำหนังสือดังนี้นะคะ

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

1. Symbolic Logic and Mechanical Theorem Proving

      ผู้แต่งคือ Chang&Lee  ตามลิงก์นี้นะคะ 

แต่ถ้าจะอ่านเรื่อง Natural Deduction  แนะนำว่าอ่านเล่มนี้นะคะ เพราะเล่มแรกจะไม่พูดถึง เล่มนี้ก็อ่านเข้าใจง่ายดีค่ะ บทพิสูจน์ก็ไม่ยากมาก

2. Mathematical Logic (Oxford Texts in Logic)

ผู้แต่งคือ Chiswell & Hodges ตามลิงก์นะคะ

ทีนี้ถ้าสนใจทฤษฎีของ Logic Programming แนะนำว่าหลังจากอ่านหนังสือ Symbolic Logic ของ  Chang&Lee แล้วก็อยากให้อ่านเล่มนี้ค่ะ
                                                       

3. Foundations of Logic Programming

ผู้แต่งคือ Lloyd ตามลิงก์

เมื่อศึกษาลอจิก ก็อาจจะต้องได้ implement ด้วยการเขียนโปรแกรมกับ Prolog เราแนะนำหนังสือเล่มนี้นะคะ ก็จะมีทฤษฎีของการพัฒนา Prolog (ส่วนตัวเราชอบคำอธิบายทฤษฎีในหนังสือของ Lloyd มากกว่าค่ะ แต่เล่มนี้จะมี prolog syntax ด้วยซึ่ง Lloyd ไม่มี) แต่ส่วน syntax การเขียนคงต้องศึกษาจากคู่มือของเวปอย่างเป็นทางการดีกว่าค่ะ

4. Logic Programming and Prolog 2nd ed
ผู้แต่งคือ Nilsson& Maluszynski ตามลิงก์ค่ะ

แถมด้วยเปเปอร์ที่ควรจะอ่านเพื่อเสริมความเข้าใจอีกนิดนะคะ

5. M. Gelfond and V. Lifschitz:  The stable model semantics for logic programs (1988)

6. R. Reiter: A logic for default reasoning (1987)