The mapping from FOL to AVL is as f

The mapping from FOL to AVL is as follows.
Each "predicate" (e.g., on the table) becomes a
Boolean attribute. Each "class" of objects (e.g.,blocks) becomes a multi-valued (i.e., nominal)
attribute. Each implication (or default rule) becomes a precept in which the attributes corresponding to the premise and the conclusion are asserted and all other
attributes are don't-care. Following are two simple
examples. The mapping of predicates to attributes
(attri,and concl) is given below each example.

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

การแมปจาก FOL AVL จะเป็นดังนี้แต่ละ "เพรดิเคต" (เช่น ในตาราง) จะเป็นแอตทริบิวต์บูลี แต่ละ "ชั้น" ของวัตถุ (e.g.,blocks) กลายเป็น หลายบริษัท (เช่น ระบุ)แอตทริบิวต์ ปริยายแต่ละ (หรือกฎเริ่มต้น) จะ precept การที่แอตทริบิวต์ที่สอดคล้องกับหลักฐานและข้อสรุปที่คน และอื่น ๆ ทั้งหมดแอตทริบิวต์ไม่สนใจ ต่อไปนี้เป็นสองอย่างตัวอย่างการ เพรดิเคตการแอตทริบิวต์การแม็ป(attri และ concl) กำหนดด้านล่างแต่ละอย่าง

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

การทำแผนที่จาก FOL AVL จะเป็นดังนี้.
แต่ละคน "กริยา" (เช่นบนโต๊ะ)
จะกลายเป็นแอตทริบิวต์บูลีน แต่ละคน "ชั้น" ของวัตถุ (เช่นบล็อก) จะกลายเป็นหลายค่า (เช่นที่ระบุ)
แอตทริบิวต์ แต่ละความหมาย (หรือกฎเริ่มต้น) จะกลายเป็นศีลที่คุณลักษณะที่สอดคล้องกับสมมติฐานและข้อสรุปที่ได้รับการยืนยันและอื่น ๆ
คุณลักษณะที่มีการดูแลห้าม ต่อไปนี้เป็นสองง่ายตัวอย่าง
การทำแผนที่ของภาคคุณลักษณะ
(Attri และ concl) ได้รับด้านล่างแต่ละตัวอย่าง

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

แผนที่จากสีขาวเพื่อ AVL เป็นดังนี้
แต่ละ " จมื่น " ( เช่นบนโต๊ะ ) กลายเป็น
บูลีนคุณลักษณะ แต่ละ " คลาส " ของวัตถุ ( เช่น บล็อก ) กลายเป็นหลายมูลค่า ( เช่นชื่อ )
คุณลักษณะ แต่ละความหมาย ( หรือกฎเริ่มต้น ) เป็นศีลที่มีคุณลักษณะสอดคล้องกับหลักฐานและข้อสรุปถูกกล่าวหาและคุณสมบัติอื่น ๆทั้งหมดจะไม่ 't-care
.ต่อไปนี้คือตัวอย่างง่ายๆ
2 แผนที่ของภาคแสดงแอตทริบิวต์
( attri และ concl ) จะได้รับด้านล่างแต่ละตัวอย่าง .