we have that the predicates known a

we have that the predicates known and notknown mentioned in the table have a special meaning
as well: they express knowledge concerning the derivability of values for variables, which
again goes beyond the contents of the fact set and the rule base of a production system. We
call such predicates meta-predicates. In Section 3.2.1 we will turn again to the meanings of
the predicates and the effects the different actions have on a fact set.

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

เรามีที่เรียกว่าเคตและ notknown ที่กล่าวถึงในตารางมีความหมายพิเศษ
เช่น: พวกเขาแสดงความรู้เกี่ยวกับ derivability ของค่าตัวแปร ซึ่ง
อีก เกินเนื้อหาของชุดความจริงและฐานกฎของระบบการผลิต เรา
เช่นเพรดิเคตเคต meta โทร ในหัวข้อ 3.2.1 เราจะเปลี่ยนอีกความหมาย
เพรดิเคตการและผลการดำเนินการต่าง ๆ ได้บนความจริงได้

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

เรามีภาคแสดงที่เป็นที่รู้จักและ notknown กล่าวถึงในตารางมีความหมายเป็นพิเศษ
เช่นกัน: พวกเขาแสดงความรู้เกี่ยวกับการ derivability ของค่าสำหรับตัวแปรซึ่ง
อีกครั้งนอกเหนือไปจากเนื้อหาของความเป็นจริงและตั้งฐานการปกครองของระบบการผลิต เรา
เรียกภาคเช่นภาค meta- ในข้อ 3.2.1 เราจะเปิดอีกครั้งเพื่อความหมายของ
ภาคและผลการดำเนินการที่แตกต่างกันมีอยู่ในชุดความเป็นจริง

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

เราต้องรู้จักและ notknown ภาคแสดงที่กล่าวถึงในโต๊ะมี
ความหมายพิเศษเช่นกัน เขาแสดงความรู้เกี่ยวกับ derivability ของค่าสำหรับตัวแปรซึ่ง
อีกนอกเหนือไปจากเนื้อหาของความเป็นจริง ตั้งกฎและฐานของระบบผลิต เรา
เรียกเช่น Meta ภาคแสดงภาคแสดง . ในส่วนการดำเนินงานจะเปิดอีกครั้งเพื่อความหมายของ
ภาคแสดงผลการกระทำที่แตกต่างกันและมีในความเป็นจริงชุด