The knowledge compiler also perform

The knowledge compiler also performs a static
information-flow analysis [Yin et al., 2000] for the online
DIARG algorithm. An information-flow relation I is
defined as a 3-tuple, , where Info
is the predicate name together with 0 or more arguments,
needers is a list of agents who might need to know such
information, and providers is a list of agents who might
know the information. We determine the needers of
information by analyzing the pre-conditions of operators
for which each agent might be responsible. And we
determine the potential providers of information by
analyzing the post-conditions of operators for which the
agents might be responsible. In particular, if P is a postcondition
of operator O, then we assume that an agent will
know P after executing O, since we can expect agents to
know the (direct) consequences of their own actions.

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

คอมไพเลอร์รู้ทำคงการวิเคราะห์การไหลข้อมูล [หยิน et al, 2000] สำหรับออนไลน์ขั้นตอนวิธีการ DIARG ความสัมพันธ์ของกระแสข้อมูลได้กำหนดเป็น 3-tuple ซึ่งข้อมูลชื่อเพรดิเคตกับ 0 หรืออาร์กิวเมนต์เพิ่มเติมneeders เป็นตัวแทนที่อาจจำเป็นต้องรู้เช่นข้อมูล และผู้ให้บริการคือ รายการของตัวแทนที่อาจทราบข้อมูล เรากำหนด needers ของข้อมูล โดยการวิเคราะห์เงื่อนไขก่อนของตัวดำเนินการซึ่งตัวแทนแต่ละอาจจะรับผิดชอบ และเรากำหนดผู้ให้ข้อมูลโดยการวิเคราะห์เงื่อนไขหลังตัวดำเนินการซึ่งการตัวแทนอาจรับผิดชอบ โดยเฉพาะอย่างยิ่ง ถ้า P postcondition ที่ของผู้ประกอบการที่ O แล้วเราสมมติว่า ตัวแทนจะทราบ P หลังจากปฏิบัติการ O เนื่องจากเราสามารถคาดหวังตัวแทนทราบผลการกระทำของตนเอง (โดยตรง)

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

เรียบเรียงความรู้ก็จะดำเนินการคง
การวิเคราะห์ข้อมูลการไหล [หยิน et al., 2000] สำหรับออนไลน์
ขั้นตอนวิธีการ DIARG ความสัมพันธ์ข้อมูลไหลฉันจะ
กำหนดให้เป็น 3 tuple,ข้อมูลที่
เป็นชื่อกริยาร่วมกับ 0 หรือมากกว่าข้อโต้แย้ง
needers คือรายการของตัวแทนที่อาจจำเป็นต้องรู้เช่น
ข้อมูลและผู้ให้บริการคือรายการของตัวแทนที่อาจ
ทราบข้อมูล เราตรวจสอบ needers ของ
ข้อมูลโดยการวิเคราะห์ก่อนเงื่อนไขของผู้ประกอบการ
ที่ตัวแทนแต่ละอาจจะมีความรับผิดชอบ และเรา
ตรวจสอบผู้ให้บริการที่มีศักยภาพของข้อมูลโดยการ
วิเคราะห์สภาพการโพสต์ของผู้ประกอบการซึ่ง
ตัวแทนอาจจะมีความรับผิดชอบ โดยเฉพาะอย่างยิ่งถ้า P เป็น postcondition
ของผู้ประกอบการ O แล้วเราคิดว่าตัวแทนจะ
รู้ P หลังจากรัน O เนื่องจากเราสามารถคาดหวังให้ตัวแทนในการ
รู้ (โดยตรง) ผลของการกระทำของตัวเอง