วันพุธที่ 19 สิงหาคม พ.ศ. 2558
ความฉลาดไม่จำเป็นต้องมีข้อมูลจำนวนมากเสมอไป แต่เกี่ยวข้องกับการแทนความรู้ต่างๆลงในโปรแกรมและให้เหตุผลของโปรแกรม การแทนความรู้ เป็นคำพื้นฐานที่ใช้อ้างถึงกระบวนการแทนโดยคอมพิวเตอร์ยุคใหม่ เป็นส่วนหนึ่งของอ็อบเจกต์ต่างๆและอ้างถึงอ็อบเจกต์นั้น ความรู้ที่แทนได้จะเก็บไว้ในคอมพิวเตอร์และทำให้คอมพิวเตอร์หาข้อสรุปได้
เทคนิคการแทนความรู้
3ชนิดคือ
3ชนิดคือ
1.การแทนความรู้เชิงตรรกะ logic-based representation
กระบวนการในการนำข้อเท็จจริง เข้าไปประมวลตรรกะแล้ว จะได้เป็นผลลัพธ์ออกมา ถ้าค่าความจริงเป็นจริงจะสามารถพิสูจน์ได้ทางคณิตศาสตร์ว่าผลที่ได้จะต้องจริง ตรรกศาสตร์ที่ใช้แทนความรู้แบ่งออกเป็น2ชนิด คือ ตรรศาสตร์ประพจน์ และแคลคูลัสภาคแสดง
1.1ตรรกศาสตร์ประพจน์(propositional logic) เป้นประโยคที่กล่าวถึงสิ่งใดสิ่งหนึ่งที่มีลักษณะเฉพาะ (ประโยคอะตอม)
กฎข้อที่1 ประพจน์เป็นกฎ
กฎข้อที่2 ถ้า P และ Q เป็นกฎแล้วต่อไปนี้เป็นกฎ
เช่น it is raining and pussy is outside-->pussy gets wet
ถ้าใส่วงเล็บจะแตกต่างกัน
1.(it is raining and pussy is outside)-->pussy gets wet
ถ้าใส่วงเล็บจะแตกต่างกัน
1.(it is raining and pussy is outside)-->pussy gets wet
2.it is raining and (pussy is outside-->pussy gets wet)
ประโยค1คือถ้าฝนตกจริงและแมวที่ชื่อพุชซี่อยู่ข้างนอกจริงพุชซี่จะต้องเปียก
ประโยค2คือฝนตกแล้วขณะนี้จริงถ้าพุชซี่อยู่ข้างนอกพุซซี่ขะเปียก
ตารางค่าความจริงแบ่งออกเป็น3ประเภท
1.สัจนินันดร์(tautology)จะได้ค่าความเป็นจริงเป็นจริงเสมอในทุกกรณ๊
2.คอนทินเจนต์(contingent)ได้ค่าความเป็นจริงที่มีโอกาศจริงบ้างเท็จบ้าง
3.อินคอนซิเทนต์(inconsistent)ได้ค่าความจริงที่ไม่มีทางเป็นจริงหมด
1.2 แคลคูลัสภาคแสดง(predicate calculus)
or bird(tweety)
is a (tweety ,bird)
ลองพิจารณา "If tweety files then tweety is a bird.Tweety flies. Therefore tweety is a bird"
2.คอนทินเจนต์(contingent)ได้ค่าความเป็นจริงที่มีโอกาศจริงบ้างเท็จบ้าง
3.อินคอนซิเทนต์(inconsistent)ได้ค่าความจริงที่ไม่มีทางเป็นจริงหมด
1.2 แคลคูลัสภาคแสดง(predicate calculus)
or bird(tweety)
is a (tweety ,bird)
ลองพิจารณา "If tweety files then tweety is a bird.Tweety flies. Therefore tweety is a bird"
