Bringing action language C+ to normative contexts: preliminary report
View/Open
Cita com:
hdl:2117/14168
Document typeConference report
Defense date2010
PublisherCEUR Workshop Proceedings
Rights accessOpen Access
Except where otherwise noted, content on this work
is licensed under a Creative Commons license
:
Attribution-NonCommercial-NoDerivs 3.0 Spain
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.
CitationGarcia, D.; Nieves, J.C. Bringing action language C+ to normative contexts: preliminary report. A: Logic / Languages, Algorithms, New Methods of Reasoning. "Sixth Latin American Workshop on New Methods of Reasoning 2010". Puebla: CEUR Workshop Proceedings, 2010.
ISSN1613-0073