Representing a shared mental model

Representing a shared mental model is a challenging problem. It can be viewed as a kind of belief reasoning, which is generally intractable [Halpern and Moses, 1992].
Moreover, the content of the shared mental model is quite broad, ranging from shared domain knowledge to a common relevant picture of the situation. We tackle this problem by focusing on two specific uses of the shared mental model: making teamwork efficient through anticipating the actions and expectations of others (e.g. by
knowing others’ roles, capabilities, and commitments), and by information exchange (knowing who to ask for information, or providing information proactively just when it is needed by someone else to accomplish their task). To avoid issues of computational complexity with belief reasoning (e.g. higher-order modal logics), we use Petri Nets as an approximate finite and computable model of mental states.

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

แสดงแบบจำลองจิตร่วมเป็นปัญหาท้าทาย สามารถดูเป็นชนิดของเหตุผลความเชื่อ ซึ่งโดยทั่วไปแพทย์ [Halpern และ Moses, 1992]นอกจากนี้ เนื้อหาของรูปแบบทางจิตใจร่วมกันได้ค่อนข้างดี ถึงโดเมนที่ใช้ร่วมกันความรู้รูปภาพเกี่ยวข้องของสถานการณ์ เราแก้ไขปัญหานี้ โดยเน้นใช้เฉพาะสองจิตแบบใช้ร่วมกัน: การทำงานเป็นทีมอย่างมีประสิทธิภาพผ่าน anticipating การดำเนินการและความคาดหวังของผู้อื่น (เช่นโดยรู้จักผู้อื่นบทบาท ความสามารถ และภาระผูกพัน), และ การแลกเปลี่ยนข้อมูล (ใครขอ หรือให้ข้อมูลเชิงรุกเพียงเมื่อจำเป็น โดยบุคคลอื่นเพื่อทำงานของพวกเขา) เพื่อหลีกเลี่ยงปัญหาของความซับซ้อนเชิงคำนวณกับความเชื่อที่ใช้เหตุผล (เช่นสูงสั่งโมดอล logics), เราใช้ Petri Nets เป็นแบบโดยประมาณมีจำกัด และ computable ของสภาวะของจิตใจ

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

เป็นตัวแทนของจิตแบบที่ใช้ร่วมกันเป็นปัญหาที่ท้าทาย มันสามารถดูได้เป็นชนิดของความเชื่อเหตุผลซึ่งโดยทั่วไปว่ายาก a [Halpern โมเสส 1992].
นอกจากนี้เนื้อหาของจิตแบบที่ใช้ร่วมกันเป็นวงกว้างมากตั้งแต่รู้โดเมนที่ใช้ร่วมกันกับภาพที่เกี่ยวข้องร่วมกันของสถานการณ์ เราจัดการปัญหานี้โดยมุ่งเน้นไปที่สองใช้ที่เฉพาะเจาะจงของจิตแบบที่ใช้ร่วมกัน: ทำให้การทำงานเป็นทีมที่มีประสิทธิภาพผ่านการคาดการณ์การกระทำและความคาดหวังของคนอื่น (เช่น
รู้ว่าคนอื่น ๆ 'บทบาทความสามารถและภาระผูกพัน) และโดยการแลกเปลี่ยนข้อมูล (ไม่รู้จะถามใคร สำหรับข้อมูลหรือให้ข้อมูลในเชิงรุกเพียงเมื่อมันเป็นสิ่งจำเป็นโดยคนอื่นในการทํางานของพวกเขา) เพื่อหลีกเลี่ยงปัญหาของคอมพิวเตอร์ที่ซับซ้อนด้วยความเชื่อเหตุผล (เช่นลำดับที่สูงกว่าคำกริยา logics) เราจะใช้ Petri ตาข่ายเป็นรูปแบบที่แน่นอนและคำนวณโดยประมาณของทางสหรัฐฯ