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.

Designing for Compliance: Norms and Goals

OLIVIERI, FRANCESCO;SCANNAPIECO, SIMONE;CRISTANI, Matteo
2011-01-01

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.
Artificial Intelligence; Business Process Modeling; Legal Reasoning
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/367620
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 17
  • ???jsp.display-item.citation.isi??? ND
social impact