A computational framework for institutional agency

Governatori, G and Rotolo, A (2008) A computational framework for institutional agency. Artificial Intelligence and Law, 16 1: 25-52. doi:10.1007/s10506-007-9056-y

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
main.pdf main.pdf application/pdf 184.03KB 264

Author Governatori, G
Rotolo, A
Title A computational framework for institutional agency
Journal name Artificial Intelligence and Law   Check publisher's open access policy
ISSN 0924-8463
Publication date 2008-03
Sub-type Article (original research)
DOI 10.1007/s10506-007-9056-y
Open Access Status File (Author Post-print)
Volume 16
Issue 1
Start page 25
End page 52
Total pages 27
Place of publication Dordrecht, Netherlands
Publisher Springer Netherlands
Collection year 2009
Language eng
Subject 0801 Artificial Intelligence and Image Processing
Abstract This paper provides a computational framework, based on Defeasible Logic, to capture some aspects of institutional agency. Our background is Kanger-Lindahl-P\"orn 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 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.
Keyword Institutional agency
Defeasible logic
Agent societies
Q-Index Code C1
Q-Index Status Confirmed Code
Institutional Status UQ
Additional Notes Copyright (c) 2006 Springer-Verlag. Attached is an author version of this paper.

Version Filter Type
Citation counts: Scopus Citation Count Cited 23 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Fri, 15 Dec 2006, 18:18:10 EST by Guido Governatori on behalf of School of Information Technol and Elec Engineering