Skip to main content
Log in

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

  • Published:
Artificial Intelligence and Law Aims and scope Submit manuscript

Abstract

In this paper we provide a formal analysis of the idea of normative co-ordination. We argue that this idea is based on the assumption that agents can achieve flexible co-ordination by conferring normative positions to other agents. These positions include duties, permissions, and powers. In particular, we explain the idea of declarative power, which consists in the capacity of the power-holder of creating normative positions, involving other agents, simply by „proclaiming“ such positions. In addition, we account also for the concepts of representation, namely the representative’s capacity of acting in the name of his principal, and of mandate, which is the mandatee’s duty to act as the mandator has requested. Finally, we show how the framework can be applied to represent the contract-net protocol. Some brief remarks on future research and applications conclude this contribution.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • 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.

  • G. Antoniou D Billington G. Governatori M. J. Maher (2000) A Flexible Framework for Defeasible Logics. MIT Press Menlo Park, CA

    Google Scholar 

  • A. Artikis J. Pitt M. Sergot (2002) Animated Specifications of Computational Societies. ACM Press New York

    Google Scholar 

  • A. Artosi G. Governatori A. Rotolo (2002) ArticleTitleled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations Journal of Logic and Computation 12 IssueID6 1027–1060 Occurrence Handle1014.03030 Occurrence Handle2007098

    MATH  MathSciNet  Google Scholar 

  • 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.

  • Bellifemine, F., Caire, G., Trucco, T. and Rimassa, G. (2003a). Jade Administrator’s guide. JADE 3.1.

  • Bellifemine, F., Caire, G., Trucco, T. and Rimassa, G. (2003b). Jade programmer’s guide. JADE 3.1.

  • 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.

  • 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.

  • J. Carmo O. Pacheco (2001) ArticleTitleDeontic and Action Logics for Organized Collective Agency Modeled Through Institutionalized Agents and Roles Fundamenta Informaticae 48 129–63 Occurrence Handle0993.03024 Occurrence Handle2009777

    MATH  MathSciNet  Google Scholar 

  • C. Castelfranchi F. Dignum M. Catholijn J. Treur (2000) Deliberative Normative Agents: Principles and Architecture. Berlin Springer-Verlag

    Google Scholar 

  • C. Castelfranchi R. Falcone (1998) ArticleTitleTowards a Theory of Delegation for Agent-Based Systems Robotics and Autonomous Systems 24 141–157

    Google Scholar 

  • B. Chellas (1980) Modal Logic An Introduction. Cambridge Cambridge University Press

    Google Scholar 

  • 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.

  • R. Conte C. Dellarocas (Eds) (2001) Social Order in Multiagent Systems Dordrecht Kluwer Occurrence Handle0981.91071

    MATH  Google Scholar 

  • R. Conte C. Castelfranchi (1995) Cognitive and Social Action London UCL Press

    Google Scholar 

  • Contentguard (2001). The XrML 2.0 Specifications.

  • B. Dunin-Keplicz R. Verbrugge (1996) Collective commitments San Francisco AAAI Press

    Google Scholar 

  • D. Elgesem (1997) ArticleTitleThe Modal Logic of Agency Nordic Journal of Philosophical Logic 2 1–46 Occurrence Handle0934.03027 Occurrence Handle1609453

    MATH  MathSciNet  Google Scholar 

  • T. Finin Y. Labrou J. Mayfield (1997) KQML as an agent communication language. Bradshaw J. (Eds) Software Agents. MIT Press Cambridge, Mass

    Google Scholar 

  • FIPA (2001). FIPA Communicative Act Library Specification. FIPA.

  • 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.

  • J. Gelati G. Governatori A. Rotolo G. Sartor (2002b) Declarative Power, Representation, and Mandate: A Formal Analysis. T. Bench-Capon A. Deskalopulu R. Winkels (Eds) Legal Knowledge and Information Systems (JURIX 2002) IOS Press Amsterdam 41–52

    Google Scholar 

  • Gelati, J. and Riveret, R. (2004). DRM in a Multi-Agent System Marketplace. In Cevenini, C. (ed). Proceedings of LEA 2004. Gedit: Bologna.

  • J. Gelati A. Rotolo G. Sartor (2002c) Normative Autonomy and Normative Co-ordination: Declarative Power, Representation, and Mandate University of Bologna Bologna

    Google Scholar 

  • J. Gelati A. Rotolo G. Sartor (2003) A Logic-based Analysis of XrML. Oslo In Oskamp, A. and Weitzenboeck, E. (eds.). Proceedings of LEA 2003. Norwegian Research Center for Computers and Law

    Google Scholar 

  • 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.

  • G. Governatori A. Rotolo (2004) Defeasible Logic: Agency, Intention and Obligation. D. Nute A. Lomuscio (Eds) DEON Springer-Verlag Berlin 114–128

    Google Scholar 

  • G. Governatori A. Rotolo S. Sadiq (2004) A Model of Dynamic Resource Allocation in Workflow Systems. K.-D. Schewe H.E. Williams (Eds) Fifteenth Australasian Database Conference (ADC2004) Australian Computer Science Association Dunedin 197–206

    Google Scholar 

  • P. Grice (1989) Studies in the Way of Words Harvard Harvard University Press

    Google Scholar 

  • H. Herrestad C. Krogh (1995) Obligations Directed from Bearers to Counterparties. ACM Press New York 210–218

    Google Scholar 

  • A. Jones (1990) Towards a Formal Theory of Communication and Speech Acts. P. Cohen M. Pollack (Eds) Intentions in Communication MIT Press Cambridge, Mass

    Google Scholar 

  • A. Jones M. Sergot (1996) ArticleTitleA formal Characterisation of Institutionalised Power Journal of the IGPL 4 429–45 Occurrence Handle1402779

    MathSciNet  Google Scholar 

  • A. J. Jones (2003) A Logical Framework. J. Pitt (Eds) Open Agent Societies:Normative Specifications in Multi-Agent Systems John Wiley and Sons Chichester

    Google Scholar 

  • Kamyab, K., Guerin, F. Goulev, P. and Mamdani, E. (2001). Designing Agents for a Virtual Marketplace. In AISB Convention. New York, UK.

  • S. Kanger (1972) ArticleTitleLaw and logic Theoria 38 105–32 Occurrence Handle0265.02020 Occurrence Handle497939 Occurrence Handle10.1111/j.1755-2567.1972.tb00928.x

    Article  MATH  MathSciNet  Google Scholar 

  • H. Kelsen (1967) The Pure Theory of Law University of California Press Berkeley, Cal

    Google Scholar 

  • S. Kraus D. Lehmann M. Magidor (1990) ArticleTitleNonmonotonic Reasoning, Preferential Models and Cumulative Logics Artificial Intelligence 44 167–207 Occurrence Handle0782.03012 Occurrence Handle1072012

    MATH  MathSciNet  Google Scholar 

  • C. Krogh H. Herrestad (1996) Getting personal.Some notes on the relationship Between Personal and Impersonal Obligation. M. Brown J. Carmo (Eds) Deontic Logic, Agency and Normative Systems Springer-Verlag Berlin 134–153

    Google Scholar 

  • L. Lindhal (1977) Position of change: A Study in law and logic Reidel Dordrecht

    Google Scholar 

  • A. Lomuscio D. Nute (Eds) (2004) Deontic Logic in Computer Science (DEON 2004). Springer-Verlag Berlin

    Google Scholar 

  • N. MacCormick O. Weinberger (1986) An Institutional Theory of Law .New Approaches to Legal Positivism. Reidel Dordrecht

    Google Scholar 

  • M. J. Maher (2001) ArticleTitlePropositional Defeasible Logic has Linear Complexity Theory and Practice of Logic Programming 1 IssueID6 601–711 Occurrence Handle10.1017/S1471068401001168 Occurrence Handle1868859

    Article  MathSciNet  Google Scholar 

  • M. J. Maher G. Governatori (1999) A Semantic Decomposition of Defeasible Logic. AAAI Press Menlo Park, CA

    Google Scholar 

  • M. J. Maher A. Rock G. Antoniou D. Billignton T. Miller (2001) ArticleTitleEfficient Defeasible Reasoning Systems International Journal of Artificial Intelligence Tools 10 IssueID4 483–501

    Google Scholar 

  • D. Nute (1987) Defeasible Logic Oxford University Press Oxford

    Google Scholar 

  • J. Pitt (Eds) (2004) Open Agent Societies: Normative Specifications in Multi-Agent Systems. Wiley Chichester

    Google Scholar 

  • J. Pitt L. Kamara A. Artikis (2001) Interaction Patterns and Observable Commitments in a Multi-Agent Trading Scenario. J. Müller E. Andre S. Sen C. Frasson (Eds) Proceedings of Conference on Autonomous Agents (AA) ACM Press New York 481–488

    Google Scholar 

  • I. Pörn (1977) Action Theory and Social Science: Some Formal Models Dordrecht Reidel Occurrence Handle0371.92027

    MATH  Google Scholar 

  • H. Prakken G. Sartor (1996) ArticleTitleA Dialectical Model of Assessing Conflicting Arguments in Legal Reasoning Artificial Intelligence and Law 4 331–68

    Google Scholar 

  • A. Rao M. P. Georgeff (1991) Modelling Rational agents within a BDI-architecture J. Allen R. Fikes E. Sandewall (Eds) Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR’91) Morgan Kaufmann San Mateo, CA 473–484

    Google Scholar 

  • L. Royakkers (1998) Extending Deontic Logic for the Formalisation of Legal Rules Kluwer Dordrecht Occurrence Handle0897.03003

    MATH  Google Scholar 

  • L. Royakkers F. Dignum (1998) Collective Obligation and Commitment. IDG IDG 1008–1022

    Google Scholar 

  • 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.

  • J. Salmond J. Williams (1945) The principles of the law of contracts Sweet and Maxwell London

    Google Scholar 

  • F. Santos J. Carmo (1996) Indirect Action: Influence and Responsibility. M. Brown J. Carmo (Eds) Deontic Logic, Agency and Normative Systems Springer-Verlag Berlin 194–215

    Google Scholar 

  • F. Santos A. Jones J. Carmo (1997) Action Concepts for Describing Organised Interaction. R. Sprague (Eds) Thirtieth Annual Hawaii International Conference on System Sciences IEEE Computer Society Press Los Alamitos 373–382

    Google Scholar 

  • 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.

  • J. Searle (1995) The Construction of Social Reality Penguin Harmondsworth

    Google Scholar 

  • M. Singh (1999) ArticleTitleAn Ontology for Commitments in Multiagent Systems: Toward a Unification of Normative Concepts Artificial Intelligence and Law 7 93–113

    Google Scholar 

  • Y. Tan W. Thoen (1999) ArticleTitleA Logical Model of Directed Obligations and Permissions to Support Electronic Contracting International Journal of Electronic Commerce 3 87–104

    Google Scholar 

  • K. Zweigert H. Kötz (1992) Introduction to Comparative Law Clarendon Oxford

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Jonathan Gelati.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Gelati, J., Rotolo, A., Sartor, G. et al. Normative autonomy and normative co-ordination: Declarative power, representation, and mandate. Artif Intell Law 12, 53–81 (2004). https://doi.org/10.1007/s10506-004-1922-2

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10506-004-1922-2

Keywords

Navigation