Research

Modelling normative frameworks using answer set programing


Reference:

Cliffe, O., De Vos, M. and Padget, J., 2009. Modelling normative frameworks using answer set programing. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. Logic Programming and Nonmonotonic Reasoning. Vol. 5753. Berlin, Germany: Springer, pp. 548-553. (Lecture Notes in Computer Science)

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.

Official URL:

http://dx.doi.org/10.1007/978-3-642-04238-6

Abstract

Norms and regulations play an important role in the governance of human society. Social rules Such as laws, conventions and contracts prescribe and regulate our behaviour, however it is possible for us to break these rules at our discretion and face the consequences. By providing the means to describe and reason about norms in a computational context, normative frameworks may be applied to software systems allowing for automated reasoning about the consequences of socially acceptable and unacceptable behaviour. In this paper, we outline our mathematical formulation for normative frameworks and describe how its semantics can be represented in ASP. thus enabling the construction of models of normative systems that can be subjected to formal verification and that can act as functional repositories of normative knowledge for the software components that participate in them.

Details

Item Type Book Sections
CreatorsCliffe, O., De Vos, M. and Padget, J.
EditorsErdem, E., Fangzhen, L. and Schaub, T.
DOI10.1007/978-3-642-04238-6
DepartmentsFaculty of Science > Computer Science
StatusPublished
ID Code16520

Export

Actions (login required)

View Item