The second type of error occurs whe

The second type of error occurs when an expected answer is not produced. This manifests itself by a failure when an answer is expected. A goal g that is true in the domain, but is not a consequence of the knowledge base, is called a false-negative error.
The preceding algorithm does not work in this case. There is no proof. We must look for why there is no proof for g.
An appropriate answer is not produced only if a definite clause or clauses are missing from the knowledge base. By knowing the intended interpretation of the symbols and by knowing what queries should succeed (i.e, what is true in the intended interpretation), a domain expert can debug a missing answer. Given an atom that failed when it should have succeeded, Figure 5.7 shows how to find an atom for which there is a missing definite clause.

ผลลัพธ์ (ไทย) 1:

ชนิดของข้อผิดพลาดที่สองเกิดขึ้นเมื่อไม่มีผลิตคำตอบที่คาดไว้ นี้ปรากฏตัวจากความล้มเหลวเมื่อคาดว่าคำตอบนี้ G เป้าหมายที่เป็นจริงในโดเมน แต่ไม่เป็นผลมาจากฐานความรู้ เรียกว่ามีข้อผิดพลาดไม่เป็นค่าลบอัลกอริทึมก่อนหน้านี้ได้ในกรณีนี้ พิสูจน์ไม่ได้ เราต้องค้นหาเหตุผลที่มีหลักฐานไม่สำหรับ gไม่มีผลิตคำตอบที่เหมาะสมเมื่ออนุประโยคหรือประโยคย่อยแน่นอนจะหายไปจากฐานความรู้ ทราบวัตถุประสงค์และการตีความสัญลักษณ์ และทราบว่าแบบสอบถามควรสำเร็จ (อาทิ สิ่งเป็นจริงในการตีความตั้งใจ), โดเมนผู้เชี่ยวชาญสามารถดีบักคำตอบหายไป ให้อะตอมที่ล้มเหลวเมื่อควรประสบความสำเร็จ รูปที่ 5.7 แสดงวิธีหาอะตอมที่มีอนุประโยคหายไปแน่นอน

ผลลัพธ์ (ไทย) 2:

ประเภทที่สองของข้อผิดพลาดเกิดขึ้นเมื่อคำตอบที่คาดว่าจะไม่ได้ผลิต นี้ปรากฏตัวจากความล้มเหลวเมื่อคำตอบที่คาดว่า เป้าหมายกรัมที่เป็นจริงในโดเมน แต่ไม่ได้เป็นผลมาจากฐานความรู้ที่เรียกว่าข้อผิดพลาดที่ผิดพลาดลบ.
ขั้นตอนวิธีการก่อนหน้านี้ไม่ทำงานในกรณีนี้ มีหลักฐานเป็น เราต้องมองหาเหตุผลที่มีหลักฐานกรัม no.
คำตอบที่เหมาะสมไม่ได้ผลิตเฉพาะในกรณีที่คำสั่งที่ชัดเจนหรือคำสั่งจะหายไปจากฐานความรู้ โดยทราบว่าการแปลความหมายของสัญลักษณ์ตั้งใจและรู้ว่าสิ่งที่ควรจะประสบความสำเร็จในการค้นหา (เช่นสิ่งที่เป็นจริงในการตีความตั้งใจ) ผู้เชี่ยวชาญโดเมนสามารถแก้ปัญหาคำตอบที่หายไป ได้รับอะตอมที่ล้มเหลวเมื่อมันควรจะได้ประสบความสำเร็จในรูปที่ 5.7 แสดงให้เห็นถึงวิธีการหาอะตอมซึ่งมีคำสั่งที่ชัดเจนที่ขาดหายไป

ผลลัพธ์ (ไทย) 3:

ประเภทที่สองของข้อผิดพลาดเกิดขึ้นเมื่อคาดว่าคำตอบจะไม่ผลิต นี้ manifests เองโดยความล้มเหลวเมื่อคำตอบที่คาดว่าจะ เป้าหมายที่เป็นจริงในการโดเมน แต่ไม่ใช่ผลของฐานความรู้ที่เรียกว่าเท็จลบข้อผิดพลาด .
ก่อนหน้านี้อัลกอริทึมไม่ทำงานในคดีนี้ มันไม่มีข้อพิสูจน์ เราต้องมองหาทำไมไม่มีหลักฐาน
gคำตอบที่เหมาะสมจะไม่ผลิตเท่านั้น ถ้าเป็นประโยคที่ชัดเจน หรืออาจจะหายไปจากฐานความรู้ โดยทราบว่ามีการตีความหมายของสัญลักษณ์และโดยรู้ว่าควรทำแบบสอบถาม ( คือ สิ่งที่เป็นจริงในตั้งใจตีความ ) , ผู้เชี่ยวชาญโดเมนสามารถแก้ปัญหาที่ขาดหายไปตอบ ให้อะตอมที่ล้มเหลวเมื่อมันน่าจะสำเร็จ รูปที่ 57 แสดงวิธีการค้นหาอะตอมซึ่งมีหายแน่นอน
ข้อ