On Modeling and Simulating Agent Teamwork in Cast

this paper, we focus on two key issues related to proactive information delivery behavior. First, we model the semantics of proactive information delivery as an attempt (called ProAssert), which extends the performative Assert in Joint Intention Theory. Second, we introduce a decision-theoretic approach for reasoning about whether to act on a potential proactive assert. Experimental results suggested that the decision-theoretic communication strategy enhances the team performance. The formal semantics and the decision-theoretic communication strategies together provide a sound and practical framework that enables further studies regarding proactive information delivery for supporting the decision making of a team involving human and agent