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.
|Titolo:||Designing for Compliance: Norms and Goals|
|Data di pubblicazione:||2011|
|Appare nelle tipologie:||04.01 Contributo in atti di convegno|