A theoretical framework on proactive information exchange in agent teamwork

Proactive information delivery is critical to achieving effective teamwork. However, existing theories do not adequately address proactive information delivery. This paper presents a formal framework for proactive information delivery in agent teamwork. First, the concept of information need is introduced. Second, a new modal operator, InfoNeed is used to represent information needs. The properties of the InfoNeed operator and its relationships to other mental modal operators are examined, four types of information needs are formally identified, and axioms for anticipating the information needs of other agents are proposed and justified. Third, the axiom characterizing chains of helpful behavior in large agent teams is given. Fourth, the semantics for two proactive communicative acts (ProInform and 3PTSubscribe) is given using a reformulation of the Cohen-Levesque semantics for communicative acts in terms of the SharedPlans formalism of Grosz and Kraus. The work in this paper not only...

• Type: Journal
• Year: 2005
• Where: AI
• Authors: Xiaocong Fan, John Yen, Richard A. Volz
• Keywords: AI 2005, Artificial Intelligence, Communicative Acts, Modal Operators, Proactive Information Delivery