Designing for compliance: norms and goals

  • Authors:

  • Guido Governatori;Francesco Olivieri;Simone Scannapieco;Matteo Cristani

  • Affiliations:

  • NICTA, Queensland Research Laboratory, Australia;NICTA, Queensland Research Laboratory, Australia and Department of Computer Science, University of Verona, Italy and Institute for Integrated and Intelligent Systems, Griffith University, Australi ...;NICTA, Queensland Research Laboratory, Australia and Department of Computer Science, University of Verona, Italy and Institute for Integrated and Intelligent Systems, Griffith University, Australi ...;Department of Computer Science, University of Verona, Italy

  • Venue:
  • RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

We address the problem of define a modal defeasible theory able to capture intuitions as "being compliant" with a set of norms and a set of goals. We will treat norms and goals as modalised literals. From the definition of this new kind of logic, two main issues arises whether a theory is compliant or not: (a) how to revise a non compliant theory to obtain a new compliant one; (b) in case the theory is compliant how to create an entirely new process starting from the theory, i.e., from the fully declarative description of the specifications for a process and the norms.