That is, ‘if x is a bird and it can

That is, ‘if x is a bird and it can be consistently assumed to fly, than you can infer that x flies’. The inference is blocked if there is information in the database (or context) with which the assumption that Tweety flies is inconsistent, for example, that Tweety is a kiwi and kiwis do not fly, or that Tweety’s wings are broken.

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

นั่นคือ 'ถ้า x เป็น นกและสามารถอย่างสม่ำเสมอทึกทักเอาบิน กว่าที่คุณสามารถรู้ที่ x แมลงวัน' ข้อเป็นบล็อกถ้าไม่มีข้อมูลในฐานข้อมูล (หรือบริบท) ด้วยซึ่งเป็นของอัสสัมชัญที่ทวิสตี้ไม่สอดคล้องกัน เช่น ทวิสตี้ที่เป็นกีวี และไม่บิน kiwis หรือว่า ปีกของทวิสตี้ไม่

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

นั่นคือถ้า x เป็นนกและมันสามารถสันนิษฐานได้อย่างต่อเนื่องที่จะบินมากกว่าที่คุณสามารถสรุปว่า x บิน ' อนุมานถูกปิดกั้นหากมีข้อมูลในฐานข้อมูล (หรือบริบท) ซึ่งสันนิษฐานว่า Tweety บินไม่สอดคล้องกันเช่นว่า Tweety เป็นกีวีกีวีและไม่ได้บินหรือว่าปีกของ Tweety จะแตก

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

นั่นคือ ถ้า x เป็นนกและสามารถเสมอถือว่าบิน , กว่าที่คุณสามารถอนุมานได้ว่า x บิน ' การอนุมานเป็นบล็อค หากมีข้อมูลในฐานข้อมูล ( หรือบริบทที่อัสสัมชัญ Tweety แมลงวันไม่สอดคล้องกัน เช่น โปเกมอนเป็นกีวีกีวีและไม่บิน หรือ Tweety ปีกจะหัก