A Computational Framework for Institutional Agency

Governatori, Guido and Rotolo, Antonino (2006) A Computational Framework for Institutional Agency.

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 324
Title A Computational Framework for Institutional Agency
Abstract/Summary 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
agent societies
counts-as
defeasible logic
Publisher Springer
Date 2006-12-15
Subjects 280200 Artificial Intelligence and Signal and Image Processing
440106 Logic
Author Governatori, Guido
Rotolo, Antonino
Additional Notes This is the author version of the same paper accepted for publication in 'Artificial Intelligence and Law'.

Document type: Preprint
Collection: School of Engineering Publications
 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Access Statistics: 122 Abstract Views, 324 File Downloads  -  Detailed Statistics
Created: Fri, 02 Feb 2007, 10:36:13 EST by Guido Governatori