where conditions ci,j and actions a

where conditions ci,j and actions ak are translated into literals c′
i,j and a′
k, respectively, as
prescribed by table 3.2. From the table it can readily be seen that the kind of production
rules we have looked at, are translated into ground logical implications.
The following example illustrates the translation scheme.

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

ซึ่งเงื่อนไข ci เจ และการดำเนินการเป็น ak แปลอักษร c′
ฉัน j และ a′
k ตามลำดับ เป็น
ตามตาราง 3.2 จากตาราง พร้อมจะเห็นที่ชนิดของผลิต
กฎที่เราได้มองที่ จะแปลเป็นพื้นตรรกะนัย.
ตัวอย่างต่อไปนี้แสดงให้เห็นโครงร่างแปลได้

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

ที่มีสภาพ CI, J และการกระทำ AK แปลงค่าเป็นตัวอักษร C '
ฉัน j และ '
k ตามลำดับ
ที่กำหนดโดยตาราง 3.2 จากตารางจะสามารถหาได้ง่ายจะเห็นได้ว่าชนิดของการผลิต
กฎที่เราได้มองไปที่ได้รับการแปลเป็นความหมายตรรกะพื้น
ตัวอย่างต่อไปนี้แสดงให้เห็นถึงรูปแบบการแปล

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

ที่เงื่อนไข CI , J และการกระทำและถูกแปลเป็น literals C นั้น
I , J และ K นั้น

) โดยกำหนดตาราง 3.2 . จากตารางก็สามารถพร้อมที่จะเห็นชนิดของกฎการผลิต
เราต้องดูที่ มีการแปลลงในดินตรรกะความหมาย .
ตัวอย่างต่อไปนี้แสดงให้เห็นโครงการแปล