Argumentation through a distributed self-stabilizing approach

Journal of Experimental and Theoretical Artificial Intelligence

Volumn 14, Issue 4, 2002, Pages 273-301

  Baroni, Pietro ^a   Giacomin, Massimiliano ^a  

^a UNIVERSITY OF BRESCIA   (Italy)

Author keywords

Agents; Argumentation; Distributed computing

Indexed keywords

AUTONOMOUS AGENTS; COGNITIVE SYSTEMS; COMPUTATIONAL COMPLEXITY; DISTRIBUTED COMPUTER SYSTEMS;

DISTRIBUTED COMPUTING;

ARTIFICIAL INTELLIGENCE;

EID: 0036818285     PISSN: 0952813X     EISSN: None     Source Type: Journal    
DOI: 10.1080/09528130110116642     Document Type: Article

References (49)

1. Agre, P.E., and Chapman, D., 1987, Pengi: An implementation of a theory of activity. In Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87), Seattle, WA, pp. 268-272.
2. Baroni, P., and Fogli, D., 2000, Modeling robot cognitive activity through active mental entities. Robotics and Autonomous Systems, 30(4): 325-349.
3. Baroni, P., and Giacomin, M., 2001, A distributed self-stabilizing algorithm for argumentation. In Proceedings of the 2001 International Parallel and Distributed Processing Symposium (IPDPS2001) (IEEE Press), San Francisco, CA.
4. Baroni, P., Giacomin, M., and Guida, G., 2000, Extending abstract argumentation systems theory. Artificial Intelligence, 120(2): 251-270.
5. Bond, A.H., and Gasser, L., 1988, Readings in Distributed Artificial Intelligence (San Mateo, CA: Morgan Kaufmann).
6. Brooks, R.A., 1986, A robust layered control system for a mobile robot. IEEE Journal of Robotics and Automation, 2(1): 14-23.
7. Brooks, R.A., 1991, Intelligence without representation. Artificial Intelligence, 47: 139-159.
8. Bruell, S.C., Ghosh, S., Karaata, M.H., and Pemmaraju, S.V., 1999, Self-stabilizing algorithms for finding centers and medians of trees. SIAM Journal on Computing, 29(2): 600-614.
9. Dijkstra, E.W., 1974, Self-stabilizing systems in spite of distributed control. Communications of the ACM, 17(11): 643-644.
10. Dolev, S., 2000, Self-Stabilization (Cambridge, MA: MIT Press).
11. Dung, P.M., 1995, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming, and n-person games. Artificial Intelligence, 77(2): 321-357.
12. Ferguson, I.A., 1991, Towards an architecture for adaptive, rational, mobile agents. In Proceedings of the Third European Workshop on Modelling Autonomous Agents in a Multi-Agent Worm (MAAMAW-91) Kaiserslautern, Germany (Elsevier Science Publishers B.V.), pp. 249-262.
13. Flatebo, M., Datta, A.K., and Ghosh, S., 1994, Self-stabilization in distributed systems. In T.L. Casavant and M. Singhal (eds) Readings in Distributed Computing Systems (Los Alamitos, CA: IEEE Computer Society Press), pp. 100-114.
14. Fox, J., Krause, P., and Ambler, S., 1992, Arguments, contradictions and practical reasoning. In Proceedings of the Tenth European Conference on Artificial Intelligence, Vienna, Austria (John Wiley & Sons), pp. 623-627.
15. Georgeff, M.P., and Lansky, A.L., 1987, Reactive reasoning and planning. In Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87), Seattle, WA, pp. 677-682.
16. Ghosh, S., Gupta, A., Karaata, M.H., and Pemmaraju, S.V., 1995, Self-stabilizing dynamic programming algorithms on trees. In Proceedings of the Second Workshop on Self-Stabilizing Systems (WSS 95), Las Vegas, NV, pp. 11.1-11.15.
17. Ghosh, S., and Karaata, M.H., 1993, A self-stabilizing algorithm for coloring planar graphs. Distributed Computing, 7(1): 55-59.
18. Ginsberg, M.L. (ed.), 1987, Readings in Nonmonotonic Reasoning (Los Altos, CA: Morgan Kaufmann).
19. Hoare, C.A.R., 1985, Communicating Sequential Processes (New York: Prentice Hall).
20. Horty, J.F., Thomason, R.H., and Touretzky, D.S., 1990, A skeptical theory of inheritance in nonmonotonic semantic networks. Artificial Intelligence, 42(2-3): 311-348.
21. Karaata, M.H., and Al-Anzi, F., 1999, A dynamic self-stabilizing algorithm for finding strongly connected components. In Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing (PODC99), Atlanta, GA, p. 276.
22. Karaata, M.H., Pemmaraju, S.V., Bruell, S.C., and Ghosh, S., 1994, Self-stabilizing algorithms for finding centers and medians of trees. In Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing (PODC94), New York, NY, p. 374.
23. Krause, P., Ambler, S., Elvang-Goransson, M., and Fox, J., 1995, A logic of argumentation for reasoning under uncertainty. Computational Intelligence, 11: 113-131.
24. Lin, F., and Shoham, Y., 1989, Argument systems: a uniform basis for non-monotonic reasoning. In Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (KR89), Toronto, Canada, pp. 245-255.
25. Loui, R., 1987, Defeat among arguments: a system of defeasible inference. Computational Intelligence, 3(3): 100-106.
26. Maes, P., 1989, The dynamics of action selection. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI89), Detroit, MI, Vol. 2, pp. 991-998.
27. Makinson, D., and Schlechta, K., 1991, Floating conclusions and zombie paths: Two deep difficulties in the 'directly skeptical' approach to defeasible inheritance networks. Artificial Intelligence, 48(2): 199-209.
28. Minsky, M., 1986, The Society of Mind (New York: Simon and Schuster).
29. Open Systems Laboratory, The actor foundry: a java-based actor programming environment. Available for download at http://osl.cs.uiuc.edu/fonndry/index.html.
30. Parsons, S., Sierra, C., and Jennings, N., 1998, Agents that reason and negotiate by arguing. Journal of Logic and Computation, 8(3): 261-292.
31. Piaggio, M., and Zaccaria, R., 1998, Distributing a robotic system on a network: the ETHNOS approach. Advanced Robotics Journal, 12(8): 743-758.
32. Pollock, J.L., 1987, Defensible reasoning. Cognitive Science, 11(4): 481-518.
33. Pollock, J.L., 1990, Interest driven suppositional reasoning. Journal of Automated Reasoning, 6(4): 419-461.
34. Pollock, J.L., 1991, A theory of defensible reasoning. International Journal of Intelligent Systems, 6: 33-54.
35. Pollock, J.L., 1992, How to reason defensibly. Artificial Intelligence, 57(1): 1-42.
36. Pollock, J.L., 1994, Justification and defeat. Artificial Intelligence, 67: 377-407.
37. Pollock, J.L., 1995, Cognitive Carpentry: A Blueprint for How to Build a Person (Cambridge, MA: MIT Press).
38. Pollock, J.L., 1996, Implementing defensible reasoning. In Proceedings of Workshop on Computational Dialectics, International Conference on Formal and Applied Practical Reasoning (FAPR96), Bonn, Germany.
39. Pollock, J.L., 1998a, The logical foundations of goal-regression planning in autonomous agents. Artificial Intelligence, 106(2): 267-334.
40. Pollock, J.L., 1998b, Perceiving and reasoning about a changing world. Computational Intelligence, 14(4): 498-562.
41. Pollock, J.L., 2001, Defeasible reasoning with variable degrees of justification. Artificial Intelligence, 133(1-2): 233-282.
42. Prakken, H., and Sartor, G., 1997, Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-classical Logics, 7: 25-75.
43. Prakken, H., and Vreeswijk, G.A.W., 2001, Logics for defeasible argumentation. In D.M. Gabbay and F. Guenthner (eds) Handbook of Philosophical Logic, Second Edition, Volume 4, (Dordrecht: Kluwer Academic Publishers).
44. Schneider, M., 1993, Self-stabilization. ACM Computing Surveys, 25(1): 45-67.
45. Simari, G.R., and Loui, R.P., 1992, A mathematical treatment of defeasible reasoning and its implementation. Artificial Intelligence, 53(2-3): 125-157.
46. Smith, R.G., and Davis, R., 1981, Frameworks for cooperation in distributed problem solving. IEEE Transactions on Systems, Man, and Cybernetics, 11(1): 61-70.
47. Vreeswijk, G., 1991, The feasibility of defeat in defeasible reasoning. In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR91), Cambridge, MA, pp. 526-534.
48. Vreeswijk, G.A.W., 1997, Abstract argumentation systems. Artificial Intelligence, 90(1-2): 225-279.
49. Yokoo, M., Durfee, E.H., Ishida, T., and Kuwabara, K., 1998, The distributed constraint satisfaction problem: Formalization and algorithms. IEEE Transactions on Knowledge and Data Engineering, 10(5): 673-685.