|
ABSTRACT
Coming up with a plan for a team that operates in a non-deterministic environment is a complex process, and the problem is further complicated by the need for team members to communicate while the plan is being executed. Such communication is required, for example, to make sure that information critical to the plan is passed in time for it to be useful. In this paper we present a model for constructing joint plans for a team of agents that takes into account their communication needs. The model builds on recent developments in symbolic non-deterministic planning, ideas that have not previously been applied to this problem.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
C. Boutilier, T. Dean, and S. Hanks. Decision-theoretic planning: Structural assumptions and computational leverage. Journal of Artificial Intelligence Research, 11:1--94, 1999.
|
| |
2
|
M. E. Bratman, D. J. Israel, and M. E. Pollack. Plans and resource-bounded practical reasoning. Computational Intelligence, 4, 1988.
|
 |
3
|
|
| |
4
|
J. R. Burch, E. M. Clarke, D. E. Long, K. L. Mcmillan, and D. L. Dill. Symbolic model checking for sequential circuit verification. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 13:401--424, 1994.
|
| |
5
|
C. Burnett, D. Masato, M. McCallum, T. J. Norman, J. Giampapa, M. J. Kollingbaum, and K. Sycara. Agent support for mission planning under policy constraints. In Proceedings of the Second Annual Conference of the ITA, Imperial College, London, 2008.
|
| |
6
|
A. Cimatti , M. Pistore , M. Roveri , P. Traverso, Weak, strong, and strong cyclic planning via symbolic model checking, Artificial Intelligence, v.147 n.1-2, p.35-84, July 2003
[doi> 10.1016/S0004-3702(02)00374-0]
|
| |
7
|
|
| |
8
|
P. Cohen and H. Levesque. Teamwork. Nous, 25(4), 1991.
|
| |
9
|
|
| |
10
|
M. R. Genesereth, M. L. Ginsberg, and J. S. Rosenschein. Cooperation without communication. In Proceedings of the Fifth National Conference on Artificial Intelligence, Philadelphia, PA, 1986.
|
| |
11
|
B. Grosz and S. Kraus. The evolution of sharedplans. In A. Rao and M. Wooldridge, editors, Foundations and Theories of Rational Agency. Kluwer, 2003.
|
| |
12
|
S. Parsons and P. McBurney. Argumentation-based dialogues for agent coordination. Group Decision and Negotiation, 12(5), 2003.
|
| |
13
|
S. Parsons, S. Poltrock, H. Bowyer, and Y. Tang. Analysis of a recorded team coordination dialogue. In Proceedings of the Second Annual Conference of the ITA, Imperial College, London, 2008.
|
| |
14
|
Carles Sierra , Nicholas R. Jennings , Pablo Noriega , Simon Parsons, A Framework for Argumentation-Based Negotiation, Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages, p.177-192, July 24-26, 1997
|
| |
15
|
|
| |
16
|
K. Sycara and G. Sukthankar. Literature review of teamwork. Technical Report CMU-RI-TR-06-50, Carnegie Mellon University, November 2006.
|
| |
17
|
M. Tambe. Towards flexible teamwork. Journal of Artificial Intelligence Research, 7, 1997.
|
 |
18
|
|
|