A Computational Framework for Non-Monotonic Agency, Institutionalised Power and Multi-Agent Systems

Governatori, Guido and Rotolo, Antonino (2003-01-01). A Computational Framework for Non-Monotonic Agency, Institutionalised Power and Multi-Agent Systems. In: Bourcier, Daniele Jurix 2003, , (151-152). December, 2003.

 
Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
j03-20.pdf   j03-20.pdf application/pdf 39.55KB 263


Author(s) Governatori, Guido
Rotolo, Antonino
Title of paper A Computational Framework for Non-Monotonic Agency, Institutionalised Power and Multi-Agent Systems
Conference name Jurix 2003
Conference dates December, 2003
Editor(s) Bourcier, Daniele
Publication date 2003-01-01
Start page 151
End page 152
Abstract/Summary This work provides a first computational framework to capture some of the theoretical intuitions developed by the present authors and other colleagues. More precisely, in this paper we propose a computationally oriented model of institutional agency based on Defeasible Logic. The focus here is on the notions of counts-as link and on those of attempt and of personal and direct action to realise states of affairs.
Subjects 280403 Logics and Meanings of Programs
440106 Logic
Keyword(s) defeasible logic
agency
deontic logic
modal logic
multi-agents
 
Related Links
Link Description
http://www.jurix.nl/pdf/j03-20.pdf  
Go to link with your UQ access privileges		 Alternative Location  
 
Versions
Version Filter Type
Access Statistics: 151 Abstract Views, 262 File Downloads  -  Detailed Statistics
Created: Tue, 05 Apr 2005, 10:00:00 EST by Guido Governatori  -  Detailed History