A Computational Framework for Non-Monotonic Agency, Institutionalised Power and Multi-Agent Systems
Guido Governatori, Antonino Rotolo · International Conference on Legal Knowledge and Information Systems · 2003
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.