Formal semantics and communication strategies for proactive information delivery among team-based agents.
John YenXiaocong FanShuang SunRui WangCong ChenKaivan KamaliMichael S. MillerRichard A. VolzPublished in: AAMAS (2003)
Keyphrases
- formal semantics
- agent cooperation
- speech acts
- shared mental models
- multi agent
- agent communication
- heterogeneous agents
- cooperating agents
- multi agent systems
- epistemic logic
- multiagent systems
- multi party
- cooperative agents
- agent architecture
- robotic soccer
- coordination mechanisms
- distributed search
- er model
- logical reasoning
- formal language
- autonomous agents
- robocup rescue
- team members
- operational semantics
- intelligent agents
- software agents
- owl dl ontology
- sharing information
- information exchange
- negotiation strategies
- logical language
- cooperative
- theorem prover
- agent teams
- first order logic
- modelling language
- distributed teams
- robocup soccer
- expert systems
- machine learning
- case study