Modelling normative frameworks using answer set programing

O Cliffe, M De Vos, J Padget

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

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.
Original languageEnglish
Title of host publicationLogic Programming and Nonmonotonic Reasoning
EditorsE Erdem, L Fangzhen, T Schaub
Place of PublicationBerlin, Germany
PublisherSpringer
Pages548-553
Number of pages6
Volume5753
ISBN (Print)978-3-642-04237-9
DOIs
Publication statusPublished - 2009
Event10th International Conference on Logic Programming and Nonmonotonic Reasoning - Potsdam, Germany
Duration: 14 Sep 200918 Sep 2009

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Conference

Conference10th International Conference on Logic Programming and Nonmonotonic Reasoning
Abbreviated titleLPNMR (2009)
CountryGermany
CityPotsdam
Period14/09/0918/09/09

Fingerprint

Semantics
Formal verification

Cite this

Cliffe, O., De Vos, M., & Padget, J. (2009). Modelling normative frameworks using answer set programing. In E. Erdem, L. Fangzhen, & T. Schaub (Eds.), Logic Programming and Nonmonotonic Reasoning (Vol. 5753, pp. 548-553). (Lecture Notes in Computer Science). Berlin, Germany: Springer. https://doi.org/10.1007/978-3-642-04238-6

Modelling normative frameworks using answer set programing. / Cliffe, O; De Vos, M; Padget, J.

Logic Programming and Nonmonotonic Reasoning. ed. / E Erdem; L Fangzhen; T Schaub. Vol. 5753 Berlin, Germany : Springer, 2009. p. 548-553 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Cliffe, O, De Vos, M & Padget, J 2009, Modelling normative frameworks using answer set programing. in E Erdem, L Fangzhen & T Schaub (eds), Logic Programming and Nonmonotonic Reasoning. vol. 5753, Lecture Notes in Computer Science, Springer, Berlin, Germany, pp. 548-553, 10th International Conference on Logic Programming and Nonmonotonic Reasoning, Potsdam, Germany, 14/09/09. https://doi.org/10.1007/978-3-642-04238-6
Cliffe O, De Vos M, Padget J. Modelling normative frameworks using answer set programing. In Erdem E, Fangzhen L, Schaub T, editors, Logic Programming and Nonmonotonic Reasoning. Vol. 5753. Berlin, Germany: Springer. 2009. p. 548-553. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-04238-6
Cliffe, O ; De Vos, M ; Padget, J. / Modelling normative frameworks using answer set programing. Logic Programming and Nonmonotonic Reasoning. editor / E Erdem ; L Fangzhen ; T Schaub. Vol. 5753 Berlin, Germany : Springer, 2009. pp. 548-553 (Lecture Notes in Computer Science).
@inproceedings{7c29f99f44264dc199f41feb96e27f17,
title = "Modelling normative frameworks using answer set programing",
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.",
author = "O Cliffe and {De Vos}, M and J Padget",
year = "2009",
doi = "10.1007/978-3-642-04238-6",
language = "English",
isbn = "978-3-642-04237-9",
volume = "5753",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "548--553",
editor = "E Erdem and L Fangzhen and T Schaub",
booktitle = "Logic Programming and Nonmonotonic Reasoning",

}

TY - GEN

T1 - Modelling normative frameworks using answer set programing

AU - Cliffe, O

AU - De Vos, M

AU - Padget, J

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

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

U2 - 10.1007/978-3-642-04238-6

DO - 10.1007/978-3-642-04238-6

M3 - Conference contribution

SN - 978-3-642-04237-9

VL - 5753

T3 - Lecture Notes in Computer Science

SP - 548

EP - 553

BT - Logic Programming and Nonmonotonic Reasoning

A2 - Erdem, E

A2 - Fangzhen, L

A2 - Schaub, T

PB - Springer

CY - Berlin, Germany

ER -