A computational framework for institutional agency

Artificial Intelligence and Law 16 (1):25-52 (2008)

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.

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,766

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
63 (#185,180)

6 months
2 (#258,534)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.
Agency and Deontic Logic.John F. Horty - 2001 - Oxford, England: Oxford University Press.
A Theory of Human Action.Alvin Ira Goldman - 1970 - Englewood Cliffs, NJ, USA: Princeton University Press.

View all 20 references / Add more references