DARE: A system for distributed abductive reasoning

Autonomous Agents and Multi-Agent Systems

Volumn 16, Issue 3, 2008, Pages 271-297

  Ma, Jiefei ^a   Russo, Alessandra ^a   Broda, Krysia ^a   Clark, Keith ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Abduction; Distributed inference; Multi thread Prolog

Indexed keywords

EID: 43449112346     PISSN: 13872532     EISSN: 15737454     Source Type: Journal    
DOI: 10.1007/s10458-008-9028-y     Document Type: Article

References (26)

1. 1. Alberti, M., Gavanelli, M., Lamma, E., Mello, P., & Torroni, P. (2003). Specification and verification of interaction protocols: a computational logic approach based on abduction. Technical report, Dipartimento di Ingegneria di Ferrara.
2. 2. K.R. Apt R.N. Bol 1994 Logic programming and negation: a survey Journal of Logic Programming 19/20 9 71 10.1016/0743-1066(94)90024-8 1279925 Apt K.R., Bol R.N. (1994). Logic programming and negation: a survey. Journal of Logic Programming 19/20, 9–71
3. 3. O. Arieli B. Nuffelen Van M. Denecker M. Bruynooghe 2001 Coherent composition of distributed knowledge-bases through abduction Lecture Notes in Computer Science 2250 624+ Arieli O., Van Nuffelen B., Denecker M., Bruynooghe M. (2001). Coherent composition of distributed knowledge-bases through abduction. Lecture Notes in Computer Science 2250: 624+
4. 4. A. Ciampolini E. Lamma P. Mello C. Stefanelli P. Torroni 2000 An implementation for abductive logic agents. Lecture Notes in Computer Science 1792 61+ 10.1007/3-540-46238-4_6 Ciampolini A., Lamma E., Mello P., Stefanelli C., Torroni P. (2000). An implementation for abductive logic agents. Lecture Notes in Computer Science 1792: 61+
5. 5. Ciampolini, A., Lamma, E., Mello, P., & Torroni, P. (1999). Rambling abductive agents in alias. In Proc. ICLP Workshop on Multi-Agent Sytems in Logic Programming (MAS’99).
6. 6. Ciampolini, A., Mello, P., & Storari, S. (2002). Distributed medical diagnosis with abductive logic agents. In Proceedings of BIXMAS 2002 workshop, 2002.
7. 7. A. Ciampolini E. Lamma P. Mello F. Toni P. Torroni 2003 Cooperation and competition in alias: a logic framework for agents that negotiate Annuals of Mathematics and Artificial Intelligence 37 1–2 65 91 1023.68095 10.1023/A:1020259411066 1969161 Ciampolini A., Lamma E., Mello P., Toni F., Torroni P. (2003). Cooperation and competition in alias: a logic framework for agents that negotiate. Annuals of Mathematics and Artificial Intelligence 37(1–2): 65–91
8. 8. A. Ciampolini E. Lamma P. Mello P. Torroni 2001 LAILA: a language for coordinating abductive reasoning among logic agents Computer Language 27 4 137 161 10.1016/S0096-0551(01)00020-0 Ciampolini A., Lamma E., Mello P., Torroni P. (2001). LAILA: a language for coordinating abductive reasoning among logic agents. Computer Language 27(4): 137–161
9. 9. Clark, K. L., Robinson, P. J., & Zappacosta-Amboldi, S. (1998). Multi-threaded communicating agents in Qu-Prolog. In F. Toni & P. Torroni (Eds.), Computational logic in multi-agent systems. LNAI 3900, Springer.
10. 10. Clark, K. L. (1978). Negation as failure. In Logic and data bases (pp. 293–322).
11. 11. Finin, T., Fritzson, R., McKay, D., & McEntire, R. (1994). KQML as an agent communication language. In Proceedings 3rd International Conference on Information and Knowledge Management.
12. 12. A. Franke S. Hess C. Jung M. Kohlhase V. Sorge 1999 Agent-oriented integration of distributed mathematical services Universal Computer Science 5 3 156 187 0961.68117 Franke A., Hess S., Jung C., Kohlhase M., Sorge V. (1999). Agent-oriented integration of distributed mathematical services. Universal Computer Science 5(3): 156–187
13. 13. Gelfond, M., & Lifschitz, V. (1988). The stable model sematics for logic programming. In Proceedings of International Conference of Logic Programming (pp. 1070–1080).
14. 14. Hunter, C., Robinson, P., & Strouper, P. (2005). Agent-based distributed software verification. In Proceedings of the Twenty-eighth Australasian conference on Computer Science, volume 24 of ACM International Conference Proceeding Series (pp. 159–164).
15. 15. A.C. Kakas R.A. Kowalski F. Toni 1992 Abductive logic programming Journal of Logic and Computation 2 6 719 770 0778.68081 10.1093/logcom/2.6.719 1218974 Kakas A.C., Kowalski R.A., Toni F. (1992). Abductive logic programming. Journal of Logic and Computation 2(6): 719–770
16. 16. Kakas, A. C., & Mancarella, P. (1990). Database updates through abduction. In VLDB ’90: Proceedings of the 16th International Conference on Very Large Data Bases (pp. 650–661). San Francisco, CA, USA. Morgan Kaufmann Publishers Inc.
17. 17. Kuokka, D., & Harada, L. (1995). On using KQML for Matchmaking. In 1st International Joint Conf. on Multi-agent Systems (pp. 239–245) MIT Press.
18. 18. Ma, J. (2007). Distributed abductive reasoning system and abduction in the small. Technical report, Department of Computing, Imperial College London.
19. 19. T. Menzies 1996 Applications of abduction: knowledge level modeling International Journal of Human Computer Studies 45 305 355 10.1006/ijhc.1996.0054 Menzies T. (1996). Applications of abduction: knowledge level modeling. International Journal of Human Computer Studies 45, 305–355
20. 20. Robinson, P. J. (2007). Pedro Reference Manual. Technical report, http://www.itee.uq.edu.au/~pjr.
21. 21. Robinson, P. J., Hinchley, M., & Clark, K. L. (2003). QProlog: An implementation language with advanced reasoning capabilities. In M. Hinchley et al. (Eds.), Formal appraches to agent based systems, LNAI 2699. Springer.
22. 22. M. Shanahan 2005 Perception as Abduction Cognitive Science 29 103 134 10.1207/s15516709cog2901_5 Shanahan M. (2005). Perception as Abduction. Cognitive Science 29, 103–134
23. 23. M. Shanahan 1997 Solving the frame problem: a mathematical investigation of the common sense law of inertia MIT Press Cambridge, MA Shanahan M. (1997). Solving the frame problem: a mathematical investigation of the common sense law of inertia. MIT Press, Cambridge, MA
24. 24. M. Shanahan 2000 An abductive event calculus planner Journal of Logic Programming 44 1–3 207 240 0957.68106 10.1016/S0743-1066(99)00077-1 1768382 Shanahan M. (2000). An abductive event calculus planner. Journal of Logic Programming 44(1–3): 207–240
25. 25. Torroni, P. (2002). Reasoning and interaction in logic-based multi-agent systems. PhD thesis, Department of Electronics, Computer Science and Systems, University of Bologna, Italy.
26. 26. Zappacosta, S. (2003). Distributed implementation of a connection graph based on cylindric set algebra operators. In M. Hinchley et al. (Eds.), Formal appraches to agent based systems, LNAI 2699. Springer.