ANGLE: An autonomous, normative and guidable agent with changing knowledge

Information Sciences

Volumn 180, Issue 17, 2010, Pages 3117-3139

  Liao, Beishui ^a   Huang, Huaxin ^a  

^a ZHEJIANG UNIVERSITY   (China)

Author keywords

Argumentation; Autonomous agents; Defeasible logic; Non monotonic reasoning; Normative agents; Policy based management

Indexed keywords

AGENT MODEL; ARGUMENTATION FRAMEWORKS; AUTONOMIC COMPUTING SYSTEM; BELIEF THEORY; BUSINESS REQUIREMENT; COMPUTING SYSTEM; DEFEASIBLE LOGIC; DYNAMIC THEORY; EXTERNAL AGENTS; INCOMPLETE KNOWLEDGE; ITS ARCHITECTURE; MODAL OPERATORS; NON-MONOTONIC REASONING; NORMATIVE AGENTS; POLICY BASED MANAGEMENT; POLICY RULES;

DECISION MAKING; FUZZY CLUSTERING; KNOWLEDGE REPRESENTATION; MULTI AGENT SYSTEMS;

AUTONOMOUS AGENTS;

EID: 77953649722     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2010.03.017     Document Type: Article

References (75)

1. Amgoud L., and Prade H. Using arguments for making and explaining decisions. Artificial Intelligence 173 3-4 (2009) 413-436
2. Amgoud L. A formal framework for handling conflicting desires. Lecture Notes in Artificial Intelligence 2711 (2003) 552-563
3. Antoniou G., Dimaresis N., and Governatori G. A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems. Expert Systems with Applications 36 (2009) 4125-4134
4. Bench-Capon T.J.M., and Dunne P.E. Argumentation in artificial intelligence. Artificial Intelligence 171 (2007) 619-641
5. G. Boella, L. van der Torre, Contracts as legal institutions in organizations of autonomous agents, in: Proceedings of the AAMAS'04, New York, 2004, pp. 948-955. ISBN: 1-58113-864-4.
6. J. Bradshaw, A. Uszok, R. Jeffers, et al., Representation and reasoning for DAML-based policy and domain services in KAoS and nomads, in: Proceedings of the AAMAS'03, Melbourne, Australia, 2003, pp. 835-842.
7. Bradshaw J., Feltovich P., Jung H., Kulkarni S., Taysom W., and Uszok A. Dimensions of adjustable autonomy and mixed-initiative interaction. Lecture Notes in Artificial Intelligence 2969 (2004) 17-39
8. J. Broersen, M. Dastani, L. van der Torre, Resolving conflicts between beliefs, obligations, intentions, and desires, in: Proceedings of the ECSQARU, 2001, pp. 568-579. ISBN: 3-540-42464-4.
9. Caminada M., and Amgoud L. On the evaluation of argumentation formalisms. Artificial Intelligence 171 (2007) 286-310
10. Capobianco M., Chesñevar C.I., and Simari G.R. Argumentation and the dynamics of warranted beliefs in changing environments. Autonomous Agents and Multi-Agent Systems 11 2 (2005) 127-151
11. Castelfranchi C., Dignum F., Jonker C.M., and Treur J. Deliberative normative agents: principles and architecture. Lecture Notes in Artificial Intelligence 1757 (2000) 364-378
12. Dastani M., Governatori G., Rotolo A., and van der Torre L. Programming cognitive agents in defeasible logic. Lecture Notes in Artificial Intelligence 3835 (2005) 621-636
13. F. Dignum, D. Morley, E.A. Sonenberg, L. Cavedon, Towards socially sophisticated BDI agents, in: Proceedings of the ICMAS2000, Boston, USA, 2000, pp. 111-118.
14. Dignum F., Kinny D., and Sonenberg L. Motivational attitudes of agents: on desires obligations and norms. Lecture Notes in Computer Science 2296 (2002) 61-70
15. D'inverno M., Luck M., et al. The dMARS architecture: a specification of the distributed multi-agent reasoning system. Autonomous Agents and Multi-Agent Systems 9 (2004) 5-53
16. Dung P.M. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77 (1995) 321-357
17. Feltovich P., Bradshaw J.M., Jeffers R., Suri N., and Uszok A. Social order and adaptability in animal and human cultures as analogues for agent communities: toward a policy-based approach. Lecture Notes in Computer Science 3071 (2004) 21-48
18. Gaertner D., and Toni F. Preferences and assumption-based argumentation for conflict-free normative agents. Lecture Notes in Computer Science 4946 (2008) 94-113
19. Garci{dotless}́a A.J., and Simari G.R. Defeasible logic programming an argumentative approach. Theory and Practice of Logic Programming 4 1 (2004) 95-138
20. Garci{dotless}́a-Camino A., Rodri{dotless}́guez-Aguilar J., Sierra C., and Vasconcelos W. Norm-oriented programming of electronic institutions: a rule-based approach. Lecture Notes in Computer Science 4386 (2007) 177-193
21. Garci{dotless}́a-Camino A., Rodri{dotless}́guez-Aguilar J., Sierra C., and Vasconcelos W. Constraint rule-based programming of norms for electronic institutions. Autonomous Agents and Multi-Agent Systems 18 (2009) 186-217
22. Gelfond M. Answer sets. In: van Harmelen F., Lifschitz V., and Porter B. (Eds). Handbook of Knowledge Representation (2008), Elsevier 285-316 (Chapter 7)
23. Gelfond M., and Lobo J. Authorization and obligation policies in dynamic systems. Proceedings of the 24th International Conference on Logic Programming (ICLP08). LNCS vol. 5366 (2008), Springer-Verlag, Berlin, Heidelberg 22-36
24. Governatori G., and Rotolo A. Defeasible logic: agency, intention and obligation. Lecture Notes in Artificial Intelligence 3065 (2004) 114-128
25. Governatori G., Maher M.J., Antoniou G., and Billington D. Argumentation semantics for defeasible logic. Journal of Logic and Computation 14 5 (2004) 675-702
26. Governatori G., and Rotolo A. BIO logical agents: norms, beliefs, intentions in defeasible logic. Autonomous Agents and Multi-Agent Systems 17 1 (2008) 36-69
27. Governatori G., and Pham D. DR-CONTRACT: an architecture for e-contracts in defeasible logic. International Journal of Business Process Integration and Management 5 4 (2009) 1-13
28. Guo Q., and Zhang M. A novel approach for multi-agent-based Intelligent Manufacturing System. Information Sciences 179 (2009) 3079-3090
29. P. Horn, Autonomic Computing: IBM's Perspective on the State of Information Technology, IBM Corporation, 2001, pp. 1-35, .
30. Ilarri S., Mena E., and Illarramendi A. Using cooperative mobile agents to monitor distributed and dynamic environments. Information Sciences 178 (2008) 2105-2127
31. M. Johnson, P.J. Feltovich, J.M. Bradshaw, L. Bunch, Demonstrating human-robot coordination through dynamic regulation, in: Proceedings of the POLICY 2008, Palisades, New York, 2008, pp. 231-232.
32. A. Kakas, P. Moraitis, Argumentative deliberation for autonomous agents, in: Proceedings of the AAMAS 2003, Melbourne, Australia, July 14-18, 2003, pp. 883-890.
33. Kephart J.O., and Chess D.M. The vision of autonomic computing. IEEE Computer 36 1 (2003) 41-50
34. J.O. Kephart, Research challenges of autonomic computing, in: Proceedings of the ICSE2005, St. Louis, Missouri, USA, ACM Press, 2005, pp. 15-22.
35. M.J. Kollingbaum, Norm-Governed Practical Reasoning Agents, Ph.D. Thesis, University of Aberdeen, Aberdeen, 2005.
36. Kontopoulos E., Bassiliades N., and Antoniou G. Deploying defeasible logic rule bases for the semantic web. Data & Knowledge Engineering 66 (2008) 116-146
37. Korba L., and Lin F. Towards policy-driven agent system development and management. Lecture Notes in Computer Science 1931 (2000) 115-128
38. B.S. Liao, H.X. Huang, An argumentation-based flexible agent with dynamic rules of inference, in: Proceedings of the 21st International Conference on Tools with Artificial Intelligence, New Jersey, USA, November 2-4, 2009, pp. 284-291.
39. Liao B.S., Huang H.X., and Gao J. A defeasible logic-based flexible agent for autonomic computing. Journal of Software 19 3 (2008) 620-650 (in Chinese with English abstract)
40. Liao B.S., Li S.J., Yao Y., and Gao J. Conceptual model and realization methods of autonomic computing. Journal of Software 19 4 (2008) 779-802 (in Chinese with English abstract)
41. Liao B.S., Huang H.X., and Gao J. An extended BDI agent with policies and contracts. Lecture Notes in Artificial Intelligence 4088 (2006) 94-104
42. Liao B.S., and Gao J. Dynamic self-organizing system supported by PDC-agent. Journal of Computer-Aided Design & Computer Graphics 18 2 (2006) 217-224 (in Chinese with English abstract)
43. Liao B.S., Li J., and Gao J. PDC-agent enabled autonomic computing: a theory of autonomous service composition. Proceedings of the PRIMA 2006. LNAI vol. 4088 (2006), Springer-Verlag, Berlin, Heidelberg 596-601
44. B.S. Liao, Service-Oriented Autonamic Computing Based on PDC-Agent, Ph.D. Thesis, Zhejiang University, Hangzhou, 2006 (in Chinese with English abstract).
45. Liao B.S., and Gao J. A model of multi-agent system based on policies and contracts. Lecture Notes in Artificial Intelligence 3690 (2005) 62-71
46. Liao B.S., and Gao J. An automatic policy refinement mechanism for policy-driven grid service systems. Lecture Notes in Computer Science 3795 (2005) 166-171
47. B.S. Liao, J. Gao, et al, A federated multi-agent system: autonomic control of web services, in: Proceedings of the ICMLC2004, Shanghai, 2004, pp. 1-6. ISBN: 0-7803-8403-2.
48. Liao B.S., Gao J., Hu J., and Chen J.J. Ontology-based conceptual modeling of policy-driven control framework: oriented to multi-agent system for web services management. Lecture Notes in Computer Science 3309 (2004) 346-356
49. B.S. Liao, L. Jin, Dynamics of argumentation systems: basic theory, in: 26th Conference on Uncertainty in Artificial Intelligence (UAI 2010), submitted for publication.
50. Lifschitz V. Answer set programming and plan generation. Artificial Intelligence 138 (2002) 39-54
51. López y López F., Luck M., and d'Inverno M. A normative framework for agent-based systems. Computational and Mathematical Organizational Theory 12 (2006) 227-250
52. Lupu E., and Sloman M. Conflicts in policy-based distributed systems management. IEEE Transactions on Software Engineering - Special Issue on Inconsistency Management 25 6 (1999) 852-869
53. Lupu E., Dulay N., Sloman M., et al. AMUSE: autonomic management of ubiquitous e-health systems. Concurrency and Computation: Practice and Experience 20 3 (2008) 277-295
54. Maher M.J. Efficient defeasible reasoning systems. International Journal on Artificial Intelligence Tools 10 4 (2001) 384-392
55. S. Modgil, M. Luck, Argumentation based resolution of conflicts between desires and normative goals, in: Proceedings of the ArgMAS 2008, Estoril, Portugal, May 12, 2008, pp. 252-263.
56. Modgil S. Reasoning about preferences in argumentation frameworks. Artificial Intelligence 173 9-10 (2009) 901-934
57. S. Modgil, An argumentation based semantics for agent reasoning, in: Proceedings of the LADS 2007, Durham, UK, 2007, pp. 37-53.
58. Modgil S., and Caminada M. Proof theories and algorithms for abstract argumentation frameworks. In: Rahwan I., and Simari G.R. (Eds). Argumentation in Artificial Intelligence (2009), Springer 105-129
59. Myers K.L., and Morley D.N. Policy-based agent directability. In: Hexmoor H., Falcone R., and Castelfranchi C. (Eds). Agent Autonomy (2003), Kluwer Academic Publishers 187-210
60. D. Nute, Defeasible reasoning, in: Proceedings of the 20th Hawaii International Conference on System Science, 1987, pp. 470-477.
61. N. Oren, M. Luck, S. Miles, T. Norman, An argumentation inspired heuristic for resolving normative conflict, in: Proceedings of the COIN@AAMAS-08, Estoril, Portugal, 2008, pp. 41-56.
62. A. Rao, M. Georgeff, BDI agents: from theory to practice, in: Proceedings of the ICMAS-1995, San Francisco, CA, USA, MIT Press, 1995, pp. 312-319. ISBN: 0262621029.
63. Rotstein N.D., Garci{dotless}́a A.J., and Simari G.R. Defeasible argumentation support for an extended BDI architecture. Lecture Notes in Artificial Intelligence 2969 (2008) 145-163
64. Sadri F., Stathis K., and Toni F. Normative KGP agents. Computational & Mathematical Organization Theory 12 2-3 (2006) 101-126
65. Singh M.P., Rao A.S., and Georgeff M.P. Formal methods in DAI: logic-based representation and reasoning. In: Weiss G. (Ed). Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence (1999), MIT Press 331-376 (Chapter 8)
66. Sloman M., and Lupu E. Security and management policy specification. IEEE Network 16 2 (2002) 10-19
67. M. Thimm, G. Kern-Isberner, On the relationship of defeasible argumentation and answer set programming, in: Proceedings of the 2008 Conference on Computational Models of Argument, 2008, pp.393-404.
68. H. Tianfield, Multi-agent based autonomic architecture for network management, in: Proceedings of the INDIN2003, Banff, Alberta, Canada, 2003, pp. 662-469. ISBN: 0-7803-8200-5.
69. F. Toni, Argumentative KGP agents for service composition, in: Proceedings of the AITA08, Stanford University, California, USA, 2008. .
70. A. Toninelli, J.M. Bradshaw, L. Kagal, R. Montanari, Rule-based and ontology-based Policies: toward a hybrid approach to control agents in pervasive environments, in: Proceedings of the SWPW@ISWC2005, Galway, Ireland, 2005, pp. 42-54.
71. Tonti G., Bradshaw J.M., et al. Semantic web languages for policy representation and reasoning: a comparison of KAoS, Rei, and Ponder. Lecture Notes in Computer Science 2870 (2003) 419-437
72. Y.B. Udupi, M.P. Singh, Multiagent policy architecture for virtual business organizations, in: Proceedings of the SCC2006, Chicago, USA, 2006, pp. 44-51.
73. W. Vasconcelos, M.J. Kollingbaum,T.J. Norman, Resolving conflict and inconsistency in norm-regulated virtual organizations, in: Proceedings of the AAMAS 2007, Honolulu, Hawaii, USA, May 14-18, 2007, pp. 632-639. ISBN: 978-81-904262-7-5.
74. Vasconcelos W., Kollingbaum M.J., and Norman T.J. Normative conflict resolution in multi-agent systems. Autonomous Agents and Multi-Agent Systems 19 2 (2009) 124-152
75. B. Verheij, A labeling approach to the computation of credulous acceptance in argumentation, in: Proceedings of the IJCAI-07, 2007, pp. 623-628.