|
Title:
|
Bringing action language C+ to normative contexts: preliminary report
|
|
Author:
|
Garcia Gasulla, Dario; Nieves Sánchez, Juan Carlos
|
|
Other authors:
|
Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
|
Abstract:
|
C+ is an action language for specifying and reasoning about the e ects of actions and the persistence of facts over time. Based on it. we present CN+, an operational enhanced form of C+ designed for representing complex normative systems and integrate them easily into the semantics of the causal theory of actions. The proposed system contains a particular formalization of norms using a life-cycle approach to capture the whole normative meaning of a complex normative framework. We discuss this approach and illustrate it with examples. |
|
Publication date:
|
2012-05-10 |
|
Subject(s):
|
Àrees temàtiques de la UPC::Informàtica::Llenguatges de programació::C
CN+ (Computer program language)
Action speci cation languages
Norm-based systems
Causal logic
C+ (Llenguatge de programació) |
|
Rights:
|
Open Access |
|
Document type:
|
Conference Object |
|
Share:
|
|
