Graphical norms via conceptual graphs

Madalina Croitoru, Nir Oren, Simon Miles, Michael Luck

Research output: Contribution to journalArticle

11 Citations (Scopus)

Abstract

The specification of acceptable behaviour can be achieved via the use of obligations, permissions and prohibitions, collectively known as norms, which identify the states of affairs that should, may, or should not hold. Norms provide the ability to constrain behaviour while preserving individual agent autonomy. While much work has focused on the semantics of norms, the design of normative systems, and in particular understanding the impact of norms on a system, has received little attention. Since norms often interact with each other (for example, a permission may temporarily derogate an obligation, or a prohibition and obligation may conflict), understanding the effects of norms and their interactions becomes increasingly difficult as the number of norms increases. Yet this understanding can be critical in facilitating the design and development of effective or efficient systems. In response, this paper addresses the problem of norm explanation for Naïve users by providing of a graphical norm representation that can explicate why a norm is applicable, violated or complied with, and identify the interactions between permissions and other types of norms. We adopt a conceptual graph based semantics to provide this graphical representation while maintaining a formal semantics.
Original languageEnglish
Pages (from-to)31-43
Number of pages13
JournalKnowledge-Based Systems
Volume29
Early online date14 Jul 2011
DOIs
Publication statusPublished - May 2012

Fingerprint

Semantics
Specifications
Graph
Obligation

Keywords

  • normative violations
  • norms
  • conceptual graphs
  • reasoning
  • graph-based reasoning

Cite this

Graphical norms via conceptual graphs. / Croitoru, Madalina; Oren, Nir; Miles, Simon; Luck, Michael.

In: Knowledge-Based Systems, Vol. 29, 05.2012, p. 31-43.

Research output: Contribution to journalArticle

Croitoru, Madalina ; Oren, Nir ; Miles, Simon ; Luck, Michael. / Graphical norms via conceptual graphs. In: Knowledge-Based Systems. 2012 ; Vol. 29. pp. 31-43.
@article{088ad6e1bab6444b8f99dc2323e45b38,
title = "Graphical norms via conceptual graphs",
abstract = "The specification of acceptable behaviour can be achieved via the use of obligations, permissions and prohibitions, collectively known as norms, which identify the states of affairs that should, may, or should not hold. Norms provide the ability to constrain behaviour while preserving individual agent autonomy. While much work has focused on the semantics of norms, the design of normative systems, and in particular understanding the impact of norms on a system, has received little attention. Since norms often interact with each other (for example, a permission may temporarily derogate an obligation, or a prohibition and obligation may conflict), understanding the effects of norms and their interactions becomes increasingly difficult as the number of norms increases. Yet this understanding can be critical in facilitating the design and development of effective or efficient systems. In response, this paper addresses the problem of norm explanation for Na{\"i}ve users by providing of a graphical norm representation that can explicate why a norm is applicable, violated or complied with, and identify the interactions between permissions and other types of norms. We adopt a conceptual graph based semantics to provide this graphical representation while maintaining a formal semantics.",
keywords = "normative violations, norms, conceptual graphs, reasoning, graph-based reasoning",
author = "Madalina Croitoru and Nir Oren and Simon Miles and Michael Luck",
year = "2012",
month = "5",
doi = "10.1016/j.knosys.2011.06.025",
language = "English",
volume = "29",
pages = "31--43",
journal = "Knowledge-Based Systems",
issn = "0950-7051",
publisher = "Elsevier",

}

TY - JOUR

T1 - Graphical norms via conceptual graphs

AU - Croitoru, Madalina

AU - Oren, Nir

AU - Miles, Simon

AU - Luck, Michael

PY - 2012/5

Y1 - 2012/5

N2 - The specification of acceptable behaviour can be achieved via the use of obligations, permissions and prohibitions, collectively known as norms, which identify the states of affairs that should, may, or should not hold. Norms provide the ability to constrain behaviour while preserving individual agent autonomy. While much work has focused on the semantics of norms, the design of normative systems, and in particular understanding the impact of norms on a system, has received little attention. Since norms often interact with each other (for example, a permission may temporarily derogate an obligation, or a prohibition and obligation may conflict), understanding the effects of norms and their interactions becomes increasingly difficult as the number of norms increases. Yet this understanding can be critical in facilitating the design and development of effective or efficient systems. In response, this paper addresses the problem of norm explanation for Naïve users by providing of a graphical norm representation that can explicate why a norm is applicable, violated or complied with, and identify the interactions between permissions and other types of norms. We adopt a conceptual graph based semantics to provide this graphical representation while maintaining a formal semantics.

AB - The specification of acceptable behaviour can be achieved via the use of obligations, permissions and prohibitions, collectively known as norms, which identify the states of affairs that should, may, or should not hold. Norms provide the ability to constrain behaviour while preserving individual agent autonomy. While much work has focused on the semantics of norms, the design of normative systems, and in particular understanding the impact of norms on a system, has received little attention. Since norms often interact with each other (for example, a permission may temporarily derogate an obligation, or a prohibition and obligation may conflict), understanding the effects of norms and their interactions becomes increasingly difficult as the number of norms increases. Yet this understanding can be critical in facilitating the design and development of effective or efficient systems. In response, this paper addresses the problem of norm explanation for Naïve users by providing of a graphical norm representation that can explicate why a norm is applicable, violated or complied with, and identify the interactions between permissions and other types of norms. We adopt a conceptual graph based semantics to provide this graphical representation while maintaining a formal semantics.

KW - normative violations

KW - norms

KW - conceptual graphs

KW - reasoning

KW - graph-based reasoning

U2 - 10.1016/j.knosys.2011.06.025

DO - 10.1016/j.knosys.2011.06.025

M3 - Article

VL - 29

SP - 31

EP - 43

JO - Knowledge-Based Systems

JF - Knowledge-Based Systems

SN - 0950-7051

ER -