Abstract
In this paper we discuss the design of a knowledge revision framework for abductive reasoning agents, based on interaction. This involves issues such as: how to exploit knowledge multiplicity to find solutions to problems that agents may not individually solve, what information must be passed or requested, how agents can take advantage of the answers that they obtain, and how they can revise their reasoning process as a consequence of interacting with each other. We describe a novel negotiation framework in which agents will be able to exchange not only abductive hypotheses but also meta-knowledge, which, in particular in this paper, is understood as agents’ integrity constraints. We formalise some aspects of such a framework, by introducing an algebra of integrity constraints, aimed at formally supporting the updating/revising process of the agent knowledge.
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
Kowalski, R.A., Sadri, F.: From logic programming towards multi-agent systems. Annals of Mathematics and Artificial Intelligence 25, 391–419 (1999)
Leite, J., Alferes, J.J., Moniz Pereira, L.: MINERVA - A dynamic logic programming agent architecture. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, pp. 141–157. Springer, Heidelberg (2002)
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)
Dell’Acqua, P., Nilsson, U., Pereira, L.M.: A logic based asynchronous multi-agent system. Electronic Notes in Theoretical Computer Science 70 (2002)
Dell’Acqua, P.: Weighted Multi Dimensional Logic Programs. In: Dix, J., Leite, J.A. (eds.) CLIMA 2004. LNCS (LNAI), vol. 3259, pp. 178–200. Springer, Heidelberg (2004)
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 (LNAI), vol. 2424, pp. 419–431. Springer, Heidelberg (2002)
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)
Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: An Abductive Framework for Information Exchange in Multi-agent Systems. In: Dix, J., Leite, J.A. (eds.) CLIMA 2004. LNCS (LNAI), vol. 3259, pp. 34–52. Springer, Heidelberg (2004)
Mooney, R.J.: Integrating abduction and induction in machine learning. In: Flach, P.A., Kakas, A.C. (eds.) Abductive and Inductive Reasoning. Pure and Applied Logic, pp. 181–191. Kluwer Academic Publishers, Dordrecht (2000)
Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Specification and verification of agent interactions using social integrity constraints. Electronic Notes in Theoretical Computer Sciences 85 (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)
Kakas, A.C., Mancarella, P.: Generalized stable models: a semantics for abduction. In: Proceedings 9th European Conference on Artificial Intelligences, Pitman Publishing (1990)
Dignum, F., Greaves, M. (eds.): Issues in Agent Communication. LNCS (LNAI), vol. 1916. Springer, Heidelberg (2000)
In: Dignum, F.P.M. (ed.) ACL 2003. LNCS, vol. 2922. Springer, Heidelberg (2004)
Davidsson, P.: Categories of Artificial Societies. In: Omicini, A., Petta, P., Tolksdorf, R. (eds.) ESAW 2001. LNCS (LNAI), vol. 2203, pp. 1–9. Springer, Heidelberg (2002)
Castelfranchi, C., Falcone, R., Firozabadi, B., Tan, Y.H.: (guest eds.): Special Issue on “Trust in Agents”, Parts 1 and 2. Applied Artificial Intelligence 14 (2000)
Societies Of ComputeeS (SOCS): a computational logic model for the description, analysis and verification of global and open societies of heterogeneous computees. Home Page: http://lia.deis.unibo.it/Research/SOCS/
Eiter, T., Makino, K.: On Computing all Abductive Explanations. In: Proceedings of the 18th National Conference on Artificial Intelligence, AAAI 2002, Edmonton, Alberta, Canada, pp. 62–67 (2002)
Lin, F., You, J.: Abduction in logic programming: a new definition and an abductive procedure based on rewriting. Artificial Intelligence 140, 175–205 (2002)
Torroni, P.: A study on the termination of negotiation dialogues. In: Castelfranchi, C., Lewis Johnson, W. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), Part III, Bologna, Italy, pp. 1223–1230. ACM Press, New York (2002)
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
Bracciali, A., Torroni, P. (2004). A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction. 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_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-30200-1_9
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)