The Petri Net is a natural represen

The Petri Net is a natural representation for parallel action and synchronization in a multi-agent world [Sowa,2000]. Transitions can represent actions, with input places
corresponding to pre-conditions and output places corresponding to effects. We extend the standard (colored)Petri Net formalism with special kinds of places called
control nodes and belief nodes. Control nodes represent the belief an agent has about the current goals and activities of others in the team. Belief nodes represent the belief an agent has about the world, when coupled with a unification-based theorem-prover, can represent first-order knowledge, including dynamic facts and inferences about the world. In addition to serving as the shared mental model, Petri Nets also play the dual role of monitoring and tracking the execution of team plans.

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

สุทธิ Petri เป็นการแสดงที่เป็นธรรมชาติสำหรับการดำเนินการแบบขนานและซิงโครไนส์ในโลกหลายแทน [นกฮูก 2000] ช่วงการเปลี่ยนภาพสามารถแสดงการดำเนินการ มีสถานสำหรับการป้อนค่าสอดคล้องกับเงื่อนไขก่อนและผลลัพธ์สอดคล้องกับผล เราขยายการ formalism Petri สุทธิ (สี) มาตรฐานชนิดพิเศษที่เรียกว่าควบคุมโหนดและโหนเชื่อ ควบคุมโหนแสดงถึงความเชื่อที่มีตัวแทนปัจจุบันเป้าหมายและกิจกรรมของผู้อื่นในทีม แสดงถึงโหนเชื่อเชื่อตัวแทนมีเกี่ยวกับโลก เมื่อ มีการรวมกันตามทฤษฎีบท-prover สามารถแสดงความรู้แรกสั่ง รวมถึงข้อเท็จจริงแบบไดนามิกและ inferences เกี่ยวกับโลก ยังเป็นรูปแบบของจิตร่วม Petri Nets ยังเล่นบทบาทสองของการตรวจสอบ และติดตามการดำเนินการของแผนทีม

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

Petri สุทธิเป็นตัวแทนธรรมชาติสำหรับการดำเนินการคู่ขนานและการประสานในโลกหลายตัวแทน [Sowa 2000] การเปลี่ยนสามารถเป็นตัวแทนของการกระทำกับสถานที่การป้อนข้อมูล
ที่สอดคล้องกับการส่งออกและสถานที่ที่เกี่ยวข้องกับผลกระทบเงื่อนไข เราขยายมาตรฐาน (สี) Petri พิธีสุทธิกับชนิดพิเศษของสถานที่ที่เรียกว่า
โหนดการควบคุมและต่อมน้ำเชื่อ โหนดควบคุมแทนความเชื่อที่มีตัวแทนเกี่ยวกับเป้าหมายปัจจุบันและกิจกรรมของคนอื่น ๆ ในทีม โหนดเชื่อเป็นตัวแทนของความเชื่อที่มีตัวแทนเกี่ยวกับโลกเมื่อควบคู่ไปกับการผสมผสานตามทฤษฎีบท-สอบมาตร, สามารถเป็นตัวแทนของความรู้ลำดับแรกรวมทั้งข้อเท็จจริงแบบไดนามิกและการหาข้อสรุปเกี่ยวกับโลก นอกจากจะทำหน้าที่เป็นจิตแบบที่ใช้ร่วมกัน Petri ตาข่ายยังเล่นสองบทบาทในการตรวจสอบและการติดตามการดำเนินการของแผนทีม