ตรรกะกับการแก้ปัญหา

ตรรกะกับการแก้ปัญหา

| Comment 0

ตรรกะ (Logic) เกี่ยวข้องกับหลายๆเรื่อง แต่ถ้าจะนิยามให้ง่ายต่อความเข้าใจ ตรรกะ คือ การกำหนดรูปแบบในการคิด ซึ่งใช้เหตุและผลในการกำหนดการคิด ซึ่งตรระกะนี้เป็นสิ่งสำคัญสำหรับทักษะ การคิดวิเคราะห์ (Critical thinking)

ตรรกะ ง่ายๆในชีวิตประจำวัน เช่น ถ้าฝนตก จะเห็นคนกางร่ม ตรรกะพื้นฐานที่สุดในวิทยาการคำนวณคือประโยคเงื่อนไข If-THEN ซึ่งเท่ากับประโยคข้างต้น

ตรรกะหนึ่งๆ สามารถนำไปตีความได้หลาย ขึ้นกับวิธีคิดในการแก้ปัญหา เช่น

แนวคิดที่่ 1 ถ้าฝนตก จะเห็นคนกางร่ม ดังนั้น ถ้าฝนตกเป็นจริง ก็มักจะสรุปผลได้ว่าจะเห็นคนกางร่ม นี่เป็นการสอนให้คอมพิวเตอร์สรุปจากเงื่อนไขที่เกิดขึ้นจริง

แต่ ถ้าพบเห็นคนกางร่ม อาจจะสรุปยังไม่ได้ว่าฝนตก

ถ้ากำหนดประโยคใหม่ว่า

แนวคิดที่ 2 คนจะกางร่ม ก็ต่อเมื่อ เห็นว่าฝนตก หรือในทางคณิตศาสตร์คือ if and only if ซึ่งมีความหมายว่า

  • ถ้าเห็นคนกางร่ม ก็จะเห็นว่าฝนตก ในทางกลับกัน
  • ถ้าเห็นว่าฝนตก ก็จะเห็นว่าคนกางร่ม

ถ้าคอมพิวเตอร์คิดด้วยแนวคิดที่ 2 ก็จะสรุปได้ว่า ถ้าเห็นคนกางร่ม แสดงว่าฝนกำลังตก

ตรรกะในวิทยาการคอมพิวเตอร์ สอนให้คอมพิวเตอร์หาข้อเท็จจริง แล้วพิจารณาหาเหตุและผลมาใช้ในการหาข้อสรุปของปัญหา ตรรกะทางวิทยาการคอมพิวเตอร์ สามารถนำมาใช้ในศาสตร์ Knowledge Engineering โดยสอนให้เอเจนต์ (Agent) ซึ่งก็คือโปรแกรมหรือโรบอตคิดในการแก้ปัญหา

ศาสตร์ทางด้านตรรกะ ถือเป็นส่วนสำคัญในการแก้ปัญหา ไม่น้อยไปกว่าศาสตร์ทางด้านอัลกอริทึม และในชีวิตประจำวันเราสามารถเทียบเคียงการใช้ตรรกะในการแก้ปัญหาการพิจารณาคดีความต่างๆทางด้านกฎหมาย

Leave a Reply

Your email address will not be published. Required fields are marked *