To illustrate this idea, consider t

To illustrate this idea, consider the metarule in Table 2 relating to P, Q, and R. In this example, the Chain Hypothesis on the boss predicate from Figure 4 is learned from the Meta-substitutions into the X, Y, and Z meta-variables by proving the Example using the Meta- rule and the Background knowledge.

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

เพื่อแสดงความคิดนี้ พิจารณา metarule ในตารางที่เกี่ยวข้องกับ P, Q และอาร์ 2 ในตัวอย่างนี้ สมมติฐานโซ่ในเพรดิเคตบอสจากรูปที่ 4 จะได้เรียนรู้จาก Meta-แทนใน meta-แปร X, Y และ Z โดยพิสูจน์ตัวอย่างที่ใช้กฎ Meta และรู้เบื้องหลัง

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

เพื่อแสดงให้เห็นความคิดนี้พิจารณา metarule ในตารางที่ 2 ที่เกี่ยวข้องกับ P, Q และอาร์ในตัวอย่างนี้สมมติฐานเชนในกริยาเจ้านายจากรูปที่ 4 จะเรียนรู้จาก Meta-แทนเข้าไปใน X, Y และ Z เมตา -variables โดยการพิสูจน์ตัวอย่างโดยใช้กฎเมะแทและความรู้พื้นหลัง

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

เพื่อแสดงถึงความคิดนี้ พิจารณา metarule ในตารางที่ 2 ที่เกี่ยวข้องกับ P , Q และ R . ในตัวอย่างนี้ โซ่บนสมมติฐานเจ้านายภาคแสดง จากรูปที่ 4 จะได้เรียนรู้จาก meta เปลี่ยนเป็น X , Y และ Z ตัวแปรเมตาด้วยการพิสูจน์ตัวอย่างการใช้ meta - กฎและความรู้พื้นฐาน