Temporal deontic action logic for the verification of compliance to norms in ASP

Risultato della ricerca: Capitolo in libro/report/atti di convegnoContributo a conferenzapeer review

Abstract

The verification of compliance of business processes to norms requires the representation of different kinds of obligations, including achievement obligations, maintenance obligations, obligations with deadlines and contrary to duty obligations. In this paper we develop a deontic temporal extension of Answer Set Programming (ASP) suitable for verifying compliance of a business process to norms involving such different types of obligations. To this end, we extend Dynamic Linear Time Temporal Logic (DLTL) with deontic modalities to define a Deontic DLTL. We then combine it with ASP to define a deontic action language in which until formulas and next formulas are allowed to occur within deontic modalities. We show that in the language we can model the different kinds of obligations which are useful in the verification of compliance to normative requirements. The verification can be performed by bounded model checking techniques.

Lingua originaleInglese
Titolo della pubblicazione ospiteProceedings of the 14th International Conference on Artificial Intelligence and Law, ICAIL 2013
Pagine53-62
Numero di pagine10
DOI
Stato di pubblicazionePubblicato - 2013
Evento14th International Conference on Artificial Intelligence and Law, ICAIL 2013 - Rome, Italy
Durata: 10 giu 201314 giu 2013

Serie di pubblicazioni

NomeProceedings of the International Conference on Artificial Intelligence and Law

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???14th International Conference on Artificial Intelligence and Law, ICAIL 2013
Paese/TerritorioItaly
CittàRome
Periodo10/06/1314/06/13

Fingerprint

Entra nei temi di ricerca di 'Temporal deontic action logic for the verification of compliance to norms in ASP'. Insieme formano una fingerprint unica.

Cita questo