The designer may look at part of th

The designer may look at part of the domain and know that light l1 is live if wire w0 is live, because they are connected together, but may not know if w0 is live. Such knowledge is expressible in terms of rules:

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

แบบอาจดูเป็นส่วนหนึ่งของโดเมน และทราบว่า l1 แสงที่เป็น ถ้าเป็นลวด w0 เนื่อง จากพวกเขาเชื่อมต่อกัน แต่อาจไม่ทราบว่า w0 สด ความรู้ดังกล่าวเป็น expressible ในกฎ:

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

นักออกแบบอาจจะดูที่เป็นส่วนหนึ่งของโดเมนและรู้ว่า l1 แสงเป็นอยู่ถ้า w0 ลวดเป็นอยู่เพราะพวกเขาจะเชื่อมต่อกัน แต่อาจจะไม่ทราบว่า w0 เป็นอยู่ ความรู้ดังกล่าวเป็นแสดงออกในแง่ของกฎระเบียบที่:

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

นักออกแบบอาจจะดูในส่วนของโดเมนและรู้ว่า L1 แสงอยู่ถ้าลวดอ้อยสด , เพราะพวกเขาจะเชื่อมต่อเข้าด้วยกัน แต่อาจจะไม่รู้จัก ถ้าอ้อยอยู่ ความรู้ดังกล่าวเป็น expressible ในแง่ของกฎ :