A theoretical framework on proactive information exchange in agent teamwork

Xiaocong Fan, John Yen, Richard A. Volz

Research output: Contribution to journalArticle

41 Citations (Scopus)

Abstract

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 provides a better understanding of the underlying assumptions required to justify proactive information delivery behavior, but also provides a coherent basis for the specification and design of agent teams with proactive information delivery capabilities.

Original languageEnglish (US)
Pages (from-to)23-97
Number of pages75
JournalArtificial Intelligence
Volume169
Issue number1
DOIs
StatePublished - Nov 1 2005

Fingerprint

information exchange
teamwork
Semantics
Specifications
semantics
Theoretical Framework
Team Work
Information Exchange
Information Needs
Communicative Act
Modal Operators

All Science Journal Classification (ASJC) codes

  • Language and Linguistics
  • Linguistics and Language
  • Artificial Intelligence

Cite this

Fan, Xiaocong ; Yen, John ; Volz, Richard A. / A theoretical framework on proactive information exchange in agent teamwork. In: Artificial Intelligence. 2005 ; Vol. 169, No. 1. pp. 23-97.
@article{b34f818739cc43429d6b924afc6ea050,
title = "A theoretical framework on proactive information exchange in agent teamwork",
abstract = "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 provides a better understanding of the underlying assumptions required to justify proactive information delivery behavior, but also provides a coherent basis for the specification and design of agent teams with proactive information delivery capabilities.",
author = "Xiaocong Fan and John Yen and Volz, {Richard A.}",
year = "2005",
month = "11",
day = "1",
doi = "10.1016/j.artint.2005.06.005",
language = "English (US)",
volume = "169",
pages = "23--97",
journal = "Artificial Intelligence",
issn = "0004-3702",
publisher = "Elsevier",
number = "1",

}

A theoretical framework on proactive information exchange in agent teamwork. / Fan, Xiaocong; Yen, John; Volz, Richard A.

In: Artificial Intelligence, Vol. 169, No. 1, 01.11.2005, p. 23-97.

Research output: Contribution to journalArticle

TY - JOUR

T1 - A theoretical framework on proactive information exchange in agent teamwork

AU - Fan, Xiaocong

AU - Yen, John

AU - Volz, Richard A.

PY - 2005/11/1

Y1 - 2005/11/1

N2 - 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 provides a better understanding of the underlying assumptions required to justify proactive information delivery behavior, but also provides a coherent basis for the specification and design of agent teams with proactive information delivery capabilities.

AB - 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 provides a better understanding of the underlying assumptions required to justify proactive information delivery behavior, but also provides a coherent basis for the specification and design of agent teams with proactive information delivery capabilities.

UR - http://www.scopus.com/inward/record.url?scp=27144533963&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=27144533963&partnerID=8YFLogxK

U2 - 10.1016/j.artint.2005.06.005

DO - 10.1016/j.artint.2005.06.005

M3 - Article

AN - SCOPUS:27144533963

VL - 169

SP - 23

EP - 97

JO - Artificial Intelligence

JF - Artificial Intelligence

SN - 0004-3702

IS - 1

ER -