期刊
ARTIFICIAL INTELLIGENCE AND LAW
卷 16, 期 1, 页码 25-52出版社
SPRINGER
DOI: 10.1007/s10506-007-9056-y
关键词
Institutional agency; Agent societies; Counts-as; Defeasible logic
资金
- Australian Research Council [DP0558854]
- European project for Standardized Transparent Representations in order to Extend Legal Accessibility (ESTRELLA) [IST-4-027655]
- Australian Research Council [DP0558854] Funding Source: Australian Research Council
This paper provides a computational framework, based on defeasible logic, to capture some aspects of institutional agency. Our background is Kanger-Lindahl-Porn 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.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据