Using this framework, we can formal

Using this framework, we can formally characterize the
(normative) conditions under which information exchange
should take place. Information I should be sent from one
agent A to another agent B when: 1) agent A knows the
truth-value of I, 2) agent A believes that agent B does not
currently know I, and 3) B has a current goal G, the
achievement of which depends on knowing I, i.e. if B does
not believe I, then it will never be able to accomplish it’s
goal, but if it knew I, it would be able to:
(BEL A I) Ù (BEL A Ø(BEL B I)) Ù
(BEL A (GOAL B G)) Ù
[Ø(BEL B I) ® Ø(DONE B G)] Ù
[(BEL B I) ® Ø Ø(DONE B G)]
® (GOAL A (Inform B I))

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

ใช้กรอบนี้ เราสามารถรับลักษณะการเงื่อนไข (กฎเกณฑ์) ภายใต้การแลกเปลี่ยนข้อมูลควรทำ ฉันควรมีส่งข้อมูลจากตัวแทน A ตัวแทนอื่น B เมื่อ: 1) แทน A รู้truth-value ของฉัน 2) แทน A เชื่อว่า B ไม่แทนที่รู้ฉัน และ 3) B มีเป้าหมายปัจจุบัน Gความสำเร็จซึ่งขึ้นอยู่กับรู้ เช่นถ้าไม่ Bไม่เชื่อฉัน แล้วมันจะไม่สามารถทำได้ของเป้าหมาย แต่ถ้ามันรู้ว่า มันจะสามารถ:(เบลที่ฉัน) Ù (เบล A Ø(BEL B I)) Ù(เบล (เป้าหมาย B G)) Ù[Ø Ø(BEL B I) ® (ทำ B G)] Ù[(BEL B I) ® Ø Ø(DONE B G)]® (เป้าหมาย A (แจ้ง B ฉัน))

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

โดยใช้กรอบนี้เราอย่างเป็นทางการสามารถลักษณะ
เงื่อนไข (กฎเกณฑ์) ภายใต้การแลกเปลี่ยนข้อมูลที่
ควรจะเกิดขึ้น ข้อมูลที่ฉันควรจะส่งมาจากหนึ่งใน
ตัวแทนกับตัวแทนอีก B เมื่อ: 1) ตัวแทนรู้
ค่าความจริงของฉัน 2) ตัวแทนเชื่อว่าตัวแทน B ไม่ได้
ในขณะนี้รู้ว่าฉันและ 3) B มีเป้าหมายปัจจุบัน G ที่
ประสบความสำเร็จซึ่งขึ้นอยู่กับการรู้ฉันเช่นถ้า B ไม่
ไม่เชื่อฉันแล้วมันจะไม่สามารถที่จะประสบความสำเร็จได้เป็น
เป้าหมาย แต่ถ้ามันรู้ว่าผมก็จะสามารถ:
(BEL AI) อู (BEL Ø (BEL BI)) Ù
(BEL A (เป้าหมาย BG)) Ù
[o (BEL BI) ® O (ทำ BG)] Ù
[(BEL BI) ® O O (ทำ BG)]
® (เป้าหมาย (แจ้ง BI) )

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

การใช้กรอบนี้ เราสามารถอธิบายอย่างเป็นทางการ( normative ) ภายใต้เงื่อนไขที่แลกเปลี่ยนข้อมูลควรใช้สถานที่ ผมจะส่งข้อมูลจากตัวแทนอื่นแทน B เมื่อ : 1 ) ตัวแทนรู้ค่าความจริงของชั้น 2 ) ตัวแทนเชื่อว่าตัวแทน B ไม่ได้ขณะนี้ผมและ 3 ) B มีปัจจุบันเป้าหมาย จีผลสัมฤทธิ์ทางการเรียน ซึ่งขึ้นอยู่กับว่าผมคือถ้า B ไม่ได้ไม่เชื่อผม ก็จะไม่มีวันทำมันเป้าหมาย แต่ถ้ามันรู้ว่าผมจะสามารถ :( เบลเป็นฉัน ) Ù ( เบลเป็นØ ( เบล B i ) Ù( เบล ( เป้าหมาย b g ) Ù[ Ø ( เบล B ) ®Ø ( ทำ b g ) ] Ù[ ( เบล B ) ®ØØ ( ทำ b g ) ]® ( เป้าหมาย ( ให้ฉัน )