# A computational framework for institutional agency

- 180 Downloads
- 14 Citations

## Abstract

This paper provides a computational framework, based on defeasible logic, to capture some aspects of institutional agency. Our background is Kanger-Lindahl-Pörn account of organised interaction, which describes this interaction within a multi-modal logical setting. This work focuses in particular on the notions of counts-as link and on those of attempt and of personal and direct action to realise states of affairs. We show how standard defeasible logic (DL) can be extended to represent these concepts: the resulting system preserves some basic properties commonly attributed to them. In addition, the framework enjoys nice computational properties, as it turns out that the extension of any theory can be computed in time linear to the size of the theory itself.

## Keywords

Institutional agency Agent societies Counts-as Defeasible logic## References

- Antoniou G, Billington D, Governatori G, Maher MJ (2000a) A flexible framework for defeasible logics. In: Proc AAAI 2000. AAAI Press, pp 401–405Google Scholar
- Antoniou G, Billington D, Governatori G, Maher MJ (2001) Representation results for defeasible logic. ACM Transact Comput Logic 2(2):255–287CrossRefMathSciNetzbMATHGoogle Scholar
- Antoniou G, Billington D, Governatori G, Maher MJ, Rock A (2000b) A family of defeasible reasoning logics and its implementation. In: Proc ECAI 2000. IOS Press, pp 459–463Google Scholar
- Artosi A, Governatori G, Rotolo A (2002) Labelled tableaux for non-monotonic reasoning: cumulative consequence relations. J Logic Comput 12(6):1027–1060zbMATHCrossRefMathSciNetGoogle Scholar
- Billington D (1993) Defeasible logic is stable. J Logic Comput 3:370–400CrossRefMathSciNetGoogle Scholar
- Boella G, van der Torre L (2004) Regulative and constitutive norms in normative multiagent systems. In: Proc KR 2004. Morgan Kaufmann, pp 255–266Google Scholar
- Broersen J (2004) Action negation and alternative reductions for dynamic deontic logics. J Appl Logic 2(1):153–168zbMATHCrossRefMathSciNetGoogle Scholar
- Castelfranchi C, Falcone R (1998) Towards a theory of delegation for agent-based systems. Robot Auton Agents 24:141–157CrossRefGoogle Scholar
- Chellas B (1980) Modal logic. An introduction. Cambridge University PressGoogle Scholar
- Conte R, Dellarocas C (2001) Social order in multiagent systems. KluwerGoogle Scholar
- Demolombe R, Herzig A (2004) Obligation change in dependence logic and situation calculus. In: Lomuscio A, Nute D (eds) Proc Deon 2004, LNAI 3065. Springer, pp 57–73Google Scholar
- Elgesem D (1997) The modal logic of agency. Nordic J Philos Logic 2:1–48zbMATHMathSciNetGoogle Scholar
- Farrell AD, Sergot M, Sallé M, Bartolini C (2005) Using the event calculus for tracking the normative state of contracts. Int J Cooper Inform Syst 4(2–3):99–129CrossRefGoogle Scholar
- Gelati J, Governatori G, Rotolo A, Sartor G (2004) Normative autonomy and normative co-ordination: declarative power, representation, and mandate. Artif Intell Law 12(1–2):53–81CrossRefGoogle Scholar
- Goldman A (1970) A theory of human action. Prentice Hall, PrincetonGoogle Scholar
- Governatori G, Pham DH (2005) A semantic web based architecture for e-contracts in defeasible logic. In: Proc RuleML 2005, LNCS 3791. Springer, pp 145–159Google Scholar
- Governatori G, Rotolo A (2005) On the axiomatization of Elgesem’s logic of agency and ability. J Philos Logic 34(4):403–431zbMATHCrossRefMathSciNetGoogle Scholar
- Governatori G, Rotolo A, Sartor G (2006) Temporalised normative positions in defeasible logic. In: Proc ICAIL’05. ACM, pp 25–43Google Scholar
- Governatori G, Rotolo A, Padmanabhan V (2006) The cost of social agents. In: Proc AAMAS’06. ACM, pp 513–520Google Scholar
- Grossi D, Meyer J-J, Dignum F (2005) Modal logic investigations in the semantics of counts-as. In: Proc ICAIL’05. ACM, pp 1–9Google Scholar
- Grossi D, Meyer J-J, Dignum F (2006) Counts-as: Classification or constitution? An answer using modal logic. In: Proc Deon’06, LNCS 4048. Springer, pp 115–130Google Scholar
- Halpern JY, Moses YO (1990) A guide to completeness and complexity for modal logics of knowledge and belief. Artif Intell 54:319–379CrossRefMathSciNetGoogle Scholar
- Horty JF (2001) Agency and deontic logic. Oxford University Press, OxfordzbMATHGoogle Scholar
- Jones A, Parent X, Stolpe A (2003) Private communicationGoogle Scholar
- Jones A, Sergot M (1996) A formal characterisation of institutionalised power. J IGPL 3:427–443CrossRefMathSciNetGoogle Scholar
- Jones AJ (forthcoming) A logical framework. In: Pitt J (ed) Open agent societies: normative specifications in multi-agent systems. WileyGoogle Scholar
- Kanger S (1972) Law and logic. Theoria 38:105–32zbMATHMathSciNetCrossRefGoogle Scholar
- Lindahl L (1977) Position of change: a study in law and logic. ReidelGoogle Scholar
- Maher MJ (2001) Propositional defeasible logic has linear complexity. Theory Practice Logic Program 1(6):691–711zbMATHMathSciNetGoogle Scholar
- Makinson D (1986) On the formal representation of rights relations. J Philos Logic 15:403–425CrossRefMathSciNetzbMATHGoogle Scholar
- Norman T, Reed C (2001) Delegation and responsibility. In: Castelfranchi C, Lesperance Y (eds) Proc Intelligent Agents VII, LNAI 1986. Springer, pp 136–149Google Scholar
- Nute D (1994) Defeasible logic. In: Handbook of logic in artificial intelligence and logic programming, vol 3. Oxford University Press, pp 353–395Google Scholar
- Pitt J (ed) (forthcoming) Open agent societies: normative specifications in multi-agent systems. WileyGoogle Scholar
- Prakken H (1997) Logical tools for modelling legal argument. KluwerGoogle Scholar
- Pörn I (1977) Action theory and social science: some formal models. ReidelGoogle Scholar
- Royakkers L (2000) Combining deontic and action logics for collective agency. In: Legal knowledge and information systems (Jurix). IOS Press, pp 135–146Google Scholar
- Santos F, Carmo J (1996) Indirect action. Influence and responsibility. In: Brown M, Carmo J (eds) Deontic logic, agency and normative systems. Springer, pp 194–215Google Scholar
- Santos F, Jones A, Carmo J (1997) Action concepts for describing organised interaction. In: Proc 13th HICSS. IEEE Computer Society Press, pp 373–382Google Scholar
- Searle J (1995) The construction of social reality. Penguin PressGoogle Scholar
- Segerberg K (1992) Getting started: beginnings in the logic of action. Studia Logica 51:347–358CrossRefMathSciNetzbMATHGoogle Scholar
- Sergot M (forthcoming) The Language (
*C*/*C*+)^{++}. In: Pitt J (ed), Open agent societies: normative specifications in multi-agent systems. WileyGoogle Scholar