The creation of attribute label in

The creation of attribute label in step 2 stems from the fact that ground facts of the form
p(C) can be rewritten as simple implications of the form label(x; C) ) p(x). Notice how
the attributes whose values are ? in a vector correspond exactly to those predicates that do
not appear in the premise of the corresponding FOL clause. The attribute corresponding
to q(x) has dierent usages. It functions as a conclusion during forward chaining and as a
target classication during inductive learning. In some cases, it can also be used as a goal.
To avoid unnecessary confusion, the attribute corresponding to q(x) is simply referred to
as the target-attribute. The values of the target-attribute are subsequently tagged with the
subscript T . The translation from FOL to AVL is currently performed manually

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

การสร้างป้ายชื่อแอตทริบิวต์ในขั้นตอนที่ 2 มาจากความจริงที่ว่าข้อเท็จจริงแบบพื้นดินp(C) ที่สามารถจิตเป็นผลเรื่องของป้ายชื่อแบบฟอร์ม (x P(x) C)) แจ้งให้ทราบว่าแอตทริบิวต์ที่มีค่าหรือไม่ ในเวกเตอร์ตรงกับเพรดิเคตเหล่านั้นที่ทำไม่ปรากฏในการเดินของอนุประโยค FOL สอดคล้องกัน แอตทริบิวต์ที่สอดคล้องq(x) มีดี erent ประเพณี ฟังก์ชันเป็นข้อสรุป ในการกำหนดสายงานไปข้างหน้า และเป็นการเป้าหมาย classi cation ในระหว่างการเรียนรู้เชิงอุปนัย ในบางกรณี มันยังสามารถใช้เป็นเป้าหมายเพื่อหลีกเลี่ยงความสับสนที่ไม่จำเป็น แอตทริบิวต์ที่สอดคล้องกับ q(x) เพียงแค่ว่าเป็นเป้าหมายคุณลักษณะ ค่าของแอตทริบิวต์เป้าหมายมาติดแท็กด้วยการตัวห้อยที่ T คำแปลจาก FOL AVL ขณะนี้ดำเนินการด้วยตนเอง

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

การสร้างป้ายชื่อแอตทริบิวต์ในขั้นตอนที่ 2
เกิดจากข้อเท็จจริงที่ว่าข้อเท็จจริงล่างของฟอร์มพี(C) สามารถเขียนใหม่เป็นผลกระทบที่เรียบง่ายของรูปแบบฉลาก (x; C)) P (x)
ขอให้สังเกตว่าคุณลักษณะที่มีค่าคืออะไร? ในเวกเตอร์สอดคล้องตรงกับภาคผู้ที่ไม่ปรากฏในสถานที่ตั้งของประโยค FOL ที่สอดคล้องกัน
ที่สอดคล้องแอตทริบิวต์คิว (x) มีดิ? ประเพณีต่างกัน มันทำหน้าที่เป็นข้อสรุปในช่วงผูกมัดไปข้างหน้าและเป็นเป้าหมายไอออนจัดประเภทในช่วงการเรียนรู้อุปนัย ในบางกรณีก็ยังสามารถนำมาใช้เป็นเป้าหมาย. เพื่อหลีกเลี่ยงความสับสนที่ไม่จำเป็นแอตทริบิวต์ที่สอดคล้องกับคิว (x) เป็นเพียงการเรียกเป็นเป้าหมายแอตทริบิวต์ ค่าของเป้าหมายแอตทริบิวต์ที่ติดแท็กต่อมากับT ห้อย การแปลจาก FOL เพื่อ AVL จะดำเนินการในขณะนี้ด้วยตนเอง

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

การสร้างป้ายชื่อแอตทริบิวต์ในขั้นที่ 2 เกิดจากข้อเท็จจริงที่ว่าพื้นดินข้อเท็จจริงของแบบฟอร์ม
p ( C ) สามารถเขียนใหม่เป็นความหมายง่ายของรูปแบบฉลาก ( x ; c ) P ( x ) สังเกตเห็นว่า
คุณลักษณะที่มีค่าที่มี ? ในเวกเตอร์ที่สอดคล้องกันกับภาคแสดงที่
ไม่ปรากฏในหลักฐานของข้อตามตำราที่สอดคล้องกัน คุณลักษณะที่สอดคล้องกัน
Q ( x ) ได้ ดิ  erent การใช้งานมันหน้าที่เป็นข้อสรุปในการผูกมัดไปข้างหน้าและเป็นเป้าหมายในการเรียนรู้ การ classi
 อุปนัย ในบางกรณี มันยังสามารถใช้เป็นเป้าหมาย .
เพื่อหลีกเลี่ยงความสับสนที่ไม่จําเป็น คุณลักษณะที่สอดคล้องกับ Q ( x ) เป็นเพียงการอ้างถึง
เป็นแอตทริบิวต์เป้าหมาย ค่าของแอตทริบิวต์เป้าหมายต่อมาแท็กด้วย
ตัวห้อย Tแปลจากใน AVL กำลังดำเนินการด้วยตนเองแบบซ้อนกัน