Abstract
In this paper, we propose a framework for information exchange among abductive agents whose local knowledge bases are enlarged with a set of abduced hypotheses. We integrate the aspects of information exchange and abductive reasoning, and show theoretically the information inferred by the single abductive agent as a product of joint reasoning activity. We show examples, like dining philosophers, resource exchange and speculative computation, and give an implementation of the space of interactions based on CLP(SET).
This is a preview of subscription content, log in via an institution to check access.
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
Dix, J., Leite, J.A., Satoh, K. (eds.): Computational Logic in Multi-Agent Systems: 3rd International Workshop, CLIMA 2002, August 1, 2002. Electronic Notes in Theoretical Computer Science, vol. 70. Elsevier Science Publishers, Amsterdam (2002)
Kowalski, R.A., Sadri, F.: From logic programming towards multi-agent systems. Annals of Mathematics and Artificial Intelligence 25, 391–419 (1999)
Vitek, J., Sadri, F., Toni, F.: Combining introspection and communication with rationality and reactivity in agents. In: Dix, J., Fariñas del Cerro, L., Furbach, U. (eds.) JELIA 1998. LNCS, vol. 1489, pp. 17–32. Springer, Heidelberg (1998)
Sadri, F., Toni, F., Torroni, P.: An abductive logic programming architecture for negotiating agents. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS, vol. 2424, pp. 419–431. Springer, Heidelberg (2002)
Dell’Acqua, P.: Weighted multi dimensional logic programs. In: Dix, J., Leite, J. (eds.) Computational Logic in Multi-Agent Systems. 4th International Workshop, CLIMA IV, Fort Lauderdale, Florida, USA, pp. 162–178 (2004)
Singh, M.: Agent communication language: rethinking the principles, pp. 40–47. IEEE Computer, Los Alamitos (1998)
Colombetti, M., Fornara, N., Verdicchio, M.: A social approach to communication in multiagent systems. In: Leite, J.A., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 193–222. Springer, Heidelberg (2004)
Alberti, M., Ciampolini, A., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: A social ACL semantics by deontic constraints. In: Mařík, V., Müller, J.P., Pěchouček, M. (eds.) CEEMAS 2003. LNCS (LNAI), vol. 2691, pp. 204–213. Springer, Heidelberg (2003)
Cohen, P.R., Perrault, C.R.: Elements of a plan-based theory of speech acts. Cognitive Science 3 (1979)
FIPA.: Communicative Act Library Specification, Published on August 10th, 2001, available for download from the FIPA website (2001)
Labrou, Y., Finin, T.W.: Semantics for an agent communication language. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol. 1365, pp. 209–214. Springer, Heidelberg (1998)
Ciampolini, A., Lamma, E., Mello, P., Toni, F., Torroni, P.: Co-operation and competition in ALIAS: a logic framework for agents that negotiate. Computational Logic in Multi-Agent Systems. Annals of Mathematics and Artificial Intelligence 37, 65–91 (2003)
Eshghi, K., Kowalski, R.A.: Abduction compared with negation by failure. In: Levi, G., Martelli, M. (eds.) Proceedings of the 6th International Conference on Logic Programming, pp. 234–255. MIT Press, Cambridge (1989)
Fung, T.H., Kowalski, R.A.: The IFF proof procedure for abductive logic programming. Journal of Logic Programming 33, 151–165 (1997)
Dovier, A., Piazza, C., Pontelli, E., Rossi, G.: Sets and constraint logic programming. ACM Transactions on Programming Languages and Systems 22, 861–931 (2000)
Dovier, A., Pontelli, E., Rossi, G.: Constructive negation and constraint logic programming with sets. New Generation Computing 19 (2001)
Kakas, A.C., Kowalski, R.A., Toni, F.: The role of abduction in logic programming. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 5, pp. 235–324. Oxford University Press, Oxford (1998)
Dijkstra, E.: Hierarchical ordering of sequential processes. Acta Informatica 1, 115–138 (1971)
Satoh, K., Inoue, K., Iwanuma, K., Sakama, C.: Speculative computation by abduction under incomplete communication environments. In: Proceedings of the 4th International Conference on Multi-Agent Systems, Boston, USA, pp. 263–270. IEEE Press, Los Alamitos (2000)
Satoh, K., Yamamoto, K.: Speculative computation with multi-agent belief revision. In: Castelfranchi, C., Lewis Johnson, W. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), Part II, Bologna, Italy, pp. 897–904. ACM Press, New York (2002)
Jaffar, J., Maher, M., Marriott, K., Stuckey, P.: The semantics of constraint logic programs. Journal of Logic Programming 37(1-3), 1–46 (1998)
Denecker, M., Schreye, D.D.: SLDNFA: An abductive procedure for normal abductive programs. In: Apt, K. (ed.) Proceedings of the Joint International Conference and Symposium on Logic Programming, pp. 686–702. MIT Press, Cambridge (1992)
Kakas, A.C., Michael, A., Mourlas, C.: ACLP: Abductive Constraint Logic Programming. Journal of Logic Programming 44, 129–177 (2000)
Kakas, A.C., van Nuffelen, B., Denecker, M.: A-System: Problem solving through abduction. In: Nebel, B. (ed.) Proceedings of the 17th International Joint Conference on Artificial Intelligence, Seattle, Washington, USA, pp. 591–596. Morgan Kaufmann Publishers, San Francisco (2001)
Torroni, P.: Reasoning and interaction in logic-based multi-agent systems. PhD thesis, Department of Electronics, Computer Science, and Systems, University of Bologna, Italy (2001)
Ciampolini, A., Lamma, E., Mello, P., Torroni, P.: A proof-system for the safe execution of tasks in multi-agent systems. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 14–26. Springer, Heidelberg (2002)
Hindriks, K., de Boer, F., van der Hoek, W., Meyer, J.J.: Semantics of communicating agents based on deduction and abduction. In: Foundations And Applications Of Collective Agent Based Systems (CABS) (1999)
Bracciali, A., Torroni, P.: A new framework for knowledge revision of abductive agents through their interaction (preliminary report). In: Dix, J., Leite, J. (eds.) CLIMA-IV: Computational Logic in Multi-Agent Systems, Fourth International Workshop. Proceedings, Fort Lauderdale, FL, USA (to appear, 2004)
Denecker, M., Schreye, D.D.: Representing Incomplete Knowledge in Abductive Logic Programming. In: Logic Programming, Proceedings of the 1993 International Symposium, Vancouver, British Columbia, Canada, pp. 147–163. The MIT Press, Cambridge (1993)
van Nuffelen, B., Denecker, M.: Problem solving in ID-logic with aggregates. In: Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, NMR 2000, pp. 1–9. Breckenridge, CO. (2000)
Kowalski, R., Toni, F., Wetzel, G.: Executing suspended logic programs. Fundamenta Informaticae 34, 203–224 (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gavanelli, M., Lamma, E., Mello, P., Torroni, P. (2004). An Abductive Framework for Information Exchange in Multi-agent Systems. In: Dix, J., Leite, J. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2004. Lecture Notes in Computer Science(), vol 3259. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30200-1_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-30200-1_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24010-5
Online ISBN: 978-3-540-30200-1
eBook Packages: Computer ScienceComputer Science (R0)