Normative autonomy and normative co-ordination: Declarative power, representation, and mandate

Artificial Intelligence and Law

Volumn 12, Issue 1-2, 2004, Pages 53-81

  Gelati, Jonathan ^a   Rotolo, Antonino ^a   Sartor, Giovanni ^a   Governatori, Guido ^b  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

Institutionalized power; Multi agent systems; Normative co ordination

Indexed keywords

ARTIFICIAL INTELLIGENCE; AUTONOMOUS AGENTS; COGNITIVE SYSTEMS; DECISION THEORY; INTELLIGENT AGENTS; MATHEMATICAL MODELS;

DECLARATIVE POWER; INSTITUTIONALIZED POWER; INTELLIGENT AUTONOMOUS AGENTS; NORMATIVE CO-ORDINATION;

MULTI AGENT SYSTEMS;

EID: 16244380253     PISSN: 09248463     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10506-004-1922-2     Document Type: Conference Paper

References (62)

1. Allen, L. and Saxon, C. (1991). A-Hohfeld: A Language for Robust Structural Representation of Knowledge in the Legal Domain to Build Interpretation-Assistance Expert Systems. In Meyer, J.-J. and Wieringa, R. (eds.). Proceedings of the First International Workshop on Deontic Logic in Computer Science, 52-71. Vrjie Universiteit: Amsterdam.
2. Antoniou, G., Billington, D, Governatori, G. and Maher, M. J. (2000). A Flexible Framework for Defeasible Logics. In AAAI-2000, 401-405. AAAI/MIT Press: Menlo Park, CA.
3. Artikis, A., Pitt, J. and Sergot, M. (2002). Animated Specifications of Computational Societies. In AAMAS'02, 1053-1061. ACM Press: New York.
4. Artosi, A., Governatori, G. and Rotolo, A. (2002). led Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations. Journal of Logic and Computation 12(6): 1027-1060.
5. Artosi, A., Rotolo, A. and Vida, S. (2004). On The Logical Nature of Count-as Conditionals. In Cevenini, C. (ed.) Proceedings of LEA 2004. Gedit: Bologna.
6. Bellifemine, F., Caire, G., Trucco, T. and Rimassa, G. (2003a). Jade Administrator's guide. JADE 3.1.
7. Bellifemine, F., Caire, G., Trucco, T. and Rimassa, G. (2003b). Jade programmer's guide. JADE 3.1.
8. Broersen, J., Dastani, M., Hulstijn, J. Huang, Z. and van der Torre, L. (2001). The BOID Architecture. In Proceedings of Agents-01. ACM Press: New York.
9. Boutilier, C. (1994). Toward a Logic for Qualitative Decision Theory. In Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'94), 75-86. Morgan Kauffmann: San Mateo, CA.
10. Carmo, J. and Pacheco, O. (2001). Deontic and Action Logics for Organized Collective Agency Modeled Through Institutionalized Agents and Roles. Fundamenta Informaticae 48: 129-63.
11. Castelfranchi, C., Dignum, F., Catholijn, M. and Treur, J. (2000). Deliberative Normative Agents: Principles and Architecture. In Proceedings of ATAL 1999, 364-378. Springer-Verlag: Berlin.
12. Castelfranchi, C. and Falcone, R. (1998). Towards a Theory of Delegation for Agent-Based Systems. Robotics and Autonomous Systems 24: 141-157.
13. Chellas, B. (1980). Modal Logic. An Introduction. Cambridge University Press: Cambridge.
14. Colombetti, M. (2000). A Commitment-Based Approach to Agent Speech Acts and Conversations. In Greaves, M., Dignum, F., Bradshaw, J. and Chaibdraa, B. (eds.). Proceedings of the Fourth International Conference on Autonomous Agents, Workshop on Agent Languages and Conversation Policies, 21-29. Barcelona.
15. Conte, R. and Dellarocas, C. (eds.). (2001). Social Order in Multiagent Systems. Kluwer: Dordrecht.
16. Conte, R. and Castelfranchi, C. (1995). Cognitive and Social Action. UCL Press: London.
17. Contentguard (2001). The XrML 2.0 Specifications.
18. Dunin-Keplicz, B. and Verbrugge, R. (1996). Collective commitments. In Proceedings of Second International Conference on Multi-Agents Systems, 56-63. AAAI Press: San Francisco.
19. Elgesem, D. (1997). The Modal Logic of Agency. Nordic Journal of Philosophical Logic 2: 1-46.
20. Finin, T., Labrou, Y. and Mayfield, J. (1997). KQML as an agent communication language, In Bradshaw, J. (ed.) Software Agents. MIT Press: Cambridge, Mass.
21. FIPA (2001). FIPA Communicative Act Library Specification. FIPA.
22. Gelati, J., Governatori, G., Rotolo, A. and Sartor, G. (2002a). Actions, Institutions, Powers: Preliminary Notes. In Lindemann, G., Moldt, D., Paolucci, M., and Yu, B. (eds.). Proceedings of the International Workshop on Regulated Agent-Based Social Systems: Theories and Applications 2002 Workshop, 131-147. Bologna: University of Hamburg.
23. Gelati, J., Governatori, G., Rotolo, A. and Sartor, G. (2002b). Declarative Power, Representation, and Mandate: A Formal Analysis. In Bench-Capon, T., Deskalopulu, A. and Winkels R. (eds.). Legal Knowledge and Information Systems (JURIX 2002), 41-52. IOS Press: Amsterdam.
24. Gelati, J. and Riveret, R. (2004). DRM in a Multi-Agent System Marketplace. In Cevenini, C. (ed). Proceedings of LEA 2004. Gedit: Bologna.
25. Gelati, J., Rotolo, A. and Sartor, G. (2002c). Normative Autonomy and Normative Coordination: Declarative Power, Representation, and Mandate. In Proceedings of LEA 2002. University of Bologna: Bologna.
26. Gelati, J., Rotolo, A. and Sartor, G. (2003). A Logic-based Analysis of XrML. In Oskamp, A. and Weitzenboeck, E. (eds.). Proceedings of LEA 2003. Norwegian Research Center for Computers and Law: Oslo.
27. Governatori, G. and Rotolo, A. (2003). A Defeasible Logic of Institutional Agency. In Brewka, G. and Peppas, P. (eds.). Proceedings of the Fifth International Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC, 03), 97-104. Acapulco.
28. Governatori, G. and Rotolo, A. (2004). Defeasible Logic: Agency, Intention and Obligation. In Nute, D. and Lomuscio, A. (eds.). 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, 114-128. Springer-Verlag: Berlin.
29. Governatori, G., Rotolo, A. and Sadiq, S. (2004). A Model of Dynamic Resource Allocation in Workflow Systems. In Schewe, K.-D. and Williams, H. E. (eds.). Fifteenth Australasian Database Conference (ADC2004). 197-206. Australian Computer Science Association: Dunedin.
30. Grice, P. (1989). Studies in the Way of Words. Harvard University Press: Harvard.
31. Herrestad, H. and Krogh, C. (1995). Obligations Directed from Bearers to Counterparties. In Proceedings of the 5th International Conference on Artificial Intelligence and Law. 210-218, ACM Press: New York.
32. Jones, A. (1990). Towards a Formal Theory of Communication and Speech Acts. In Cohen P. and Pollack, M. (eds.). Intentions in Communication. MIT Press: Cambridge, Mass.
33. Jones, A. and Sergot, M. (1996). A formal Characterisation of Institutionalised Power. Journal of the IGPL 4: 429-45.
34. Jones, A. J. (2003). A Logical Framework. In Pitt, J. (ed.). Open Agent Societies: Normative Specifications in Multi-Agent Systems, Chapt. 3. John Wiley and Sons: Chichester.
35. Kamyab, K., Guerin, F. Goulev, P. and Mamdani, E. (2001). Designing Agents for a Virtual Marketplace. In AISB Convention. New York, UK.
36. Kanger, S. (1972). Law and logic. Theoria 38: 105-32.
37. Kelsen, H. (1967). The Pure Theory of Law. University of California Press: Berkeley, Cal.
38. Kraus, S., Lehmann, D. and Magidor, M. (1990). Nonmonotonic Reasoning, Preferential Models and Cumulative Logics. Artificial Intelligence 44: 167-207.
39. Krogh, C. and Herrestad H. (1996). Getting personal. Some notes on the relationship Between Personal and Impersonal Obligation. In Brown, M. and Carmo, J. (eds.). Deontic Logic, Agency and Normative Systems, 134-153. Springer-Verlag: Berlin.
40. Lindhal, L. (1977) Position of change: A Study in law and logic. Reidel: Dordrecht.
41. Lomuscio, A. and Nute, D. (eds.) (2004). Deontic Logic in Computer Science (DEON 2004). Springer-Verlag: Berlin.
42. MacCormick, N. and Weinberger, O. (1986). An Institutional Theory of Law. New Approaches to Legal Positivism. Reidel: Dordrecht.
43. Maher, M. J. (2001). Propositional Defeasible Logic has Linear Complexity. Theory and Practice of Logic Programming 1(6): 601-711.
44. Maher, M. J. and Governatori, G. (1999). A Semantic Decomposition of Defeasible Logic. In AAAI-99, 299-305. AAAI Press: Menlo Park, CA.
45. Maher, M. J., Rock, A., Antoniou, G., Billignton, D. and Miller, T. (2001). Efficient Defeasible Reasoning Systems. International Journal of Artificial Intelligence Tools 10(4): 483-501.
46. Nute, D. (1987). Defeasible Logic. In Handbook of Logic in Artificial Intelligence and Logic Programming, Volume. 3. Oxford University Press: Oxford.
47. Pitt, J. (ed.) (2004). Open Agent Societies: Normative Specifications in Multi-Agent Systems. Wiley: Chichester.
48. Pitt, J., Kamara, L. and Artikis, A. (2001). Interaction Patterns and Observable Commitments in a Multi-Agent Trading Scenario. In Müller, J. Andre, E. Sen, S. and Frasson, C. (eds.). Proceedings of Conference on Autonomous Agents (AA), 481-488. ACM Press: New York.
49. Pörn, I. (1977). Action Theory and Social Science: Some Formal Models. Reidel: Dordrecht.
50. Prakken, H. and Sartor, G. (1996). A Dialectical Model of Assessing Conflicting Arguments in Legal Reasoning. Artificial Intelligence and Law 4: 331-68.
51. Rao, A. and Georgeff, M. P. (1991). Modelling Rational agents within a BDI-architecture. In Allen, J., Fikes, R. and Sandewall, E. (eds.). Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR'91), 473-484. Morgan Kaufmann: San Mateo, CA.
52. Royakkers, L. (1998). Extending Deontic Logic for the Formalisation of Legal Rules. Kluwer: Dordrecht.
53. Royakkers, L. and Dignum, F. (1998). Collective Obligation and Commitment. In Proceedings of The Law in the Information Society, 1008-1022. IDG: Florence.
54. Royakkers, L. and Dignum, F. (1999). From Collective to Individual Commitments. In Proceedings of The 7th International Conference on Artificial Intelligence and Law, 196-198. Oslo.
55. Salmond, J. and Williams, J. (1945). The principles of the law of contracts. Sweet and Maxwell: London.
56. Santos, F. and Carmo, J. (1996). Indirect Action: Influence and Responsibility. In Brown, M. and Carmo, J. (eds.). Deontic Logic, Agency and Normative Systems, 194-215. Springer-Verlag: Berlin.
57. Santos, F., Jones, A. and Carmo, J. (1997). Action Concepts for Describing Organised Interaction. In Sprague, R. (ed.). Thirtieth Annual Hawaii International Conference on System Sciences, 373-382. IEEE Computer Society Press: Los Alamitos.
58. Sartor, G. (2003). Cognitive Automata and the Law. In Oskamp, A. and Weitzenboeck, E. (eds.). Proceedings of LEA 2003. Norwegian Research Center for Computers and Law: Oslo.
59. Searle, J. (1995). The Construction of Social Reality. Penguin: Harmondsworth.
60. Singh, M. (1999). An Ontology for Commitments in Multiagent Systems: Toward a Unification of Normative Concepts. Artificial Intelligence and Law 7: 93-113.
61. Tan, Y. and Thoen, W. (1999). A Logical Model of Directed Obligations and Permissions to Support Electronic Contracting. International Journal of Electronic Commerce 3: 87-104.
62. Zweigert, K. and Kötz, H. (1992). Introduction to Comparative Law. Clarendon: Oxford.