Abstract
The purpose of this paper is to introduce a dialectical theory for plan synthesis based on a multi-agent approach. This approach is a promising way to devise systems based on agent planners in which the production of a global shared plan is obtained by conjecture/refutation cycles. Contrary to classical approaches, our contribution relies on agents’ dialectical reasoning: in order to take into account the partial knowledge and the heterogeneous skills of the agents, we propose to consider the planning problem as a defeasible reasoning where agents exchange proposals and counter-proposals and are able to conjecture i.e., formulate plan steps based on hypothetical states of the world. The dialogue between agents is a joint investigation process allowing agents to progressively prune objections, solve conjectures and elaborate solutions step by step.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alami, R., Fleury, S., Herrb, M., Ingrand, F., Robert, F.: Multi robot cooperation in the martha project. IEEE Robotics and Automation Magazine 5, 36–47 (1997)
Wu, D., Parsia, B., Sirin, E., Hendler, J., Nau, D.: Automating daml-s web services composition using shop2. In: Proceedings of International Semantic Web Conference (2003)
Lakatos, I.: Proofs and Refutations: The Logic of Mathematical Discovery. Cambridge University Press, Cambridge (1976)
Zlotkin, G., Rosenschein, J.: Negotiation and conflict resolution in non-cooperative domains. In: Proceedings of the American National Conference on Artificial Intelligence, Boston, Massachusetts, pp. 100–105 (1990)
Tambe, M., Jung, H.: The benefits of arguing in a team. Artificial Intelligence Magazine 20, 85–92 (1999)
Clement, B., Barrett, A.: Continual coordination through shared activities. In: Proceedings of the International Conference on Autonomous Agent and Muti-Agent Systems, pp. 57–67 (2003)
Grosz, B., Kraus, S.: Collaborative plans for complex group action. Artificial Intelligence 86, 269–357 (1996)
D’Inverno, M., Luck, M., Georgeff, M., Kinny, D., Wooldridge, M.: The dmars architecture: A specification of the distributed multi-agent reasoning system. Autonomous Agents and Multi-Agent Systems 9, 5–53 (2004)
Ghallab, M., Nau, D., Traverso, P.: Automated Planning Theory and Practice. Morgan Kaufmann Publishers, San Francisco (2004)
Pellier, D., Fiorino, H.: Assumption-based planning. In: Proceedings of the International Conference on Advances in Intelligence Systems Theory and Applications, Luxemburg (2004)
Gerevini, A., Schubert, L.: Accelerating partial-order planners: Some techniques for effective search control and pruning. Journal of Artificial Intelligence Research 5, 95–137 (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pellier, D., Fiorino, H. (2005). Dialectical Theory for Multi-agent Assumption-Based Planning. In: Pěchouček, M., Petta, P., Varga, L.Z. (eds) Multi-Agent Systems and Applications IV. CEEMAS 2005. Lecture Notes in Computer Science(), vol 3690. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11559221_37
Download citation
DOI: https://doi.org/10.1007/11559221_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29046-9
Online ISBN: 978-3-540-31731-9
eBook Packages: Computer ScienceComputer Science (R0)