Bringing action language C+ to normative contexts: preliminary report

All of RECERCAT

To access the full text documents, please follow this link: http://hdl.handle.net/2117/14168

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; Universitat Politècnica de Catalunya. KEMLG - Grup d'Enginyeria del Coneixement i Aprenentatge Automàtic
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.
Abstract:	Peer Reviewed
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:	Attribution-NonCommercial-NoDerivs 3.0 Spain http://creativecommons.org/licenses/by-nc-nd/3.0/es/
Document type:	Article - Submitted version Conference Object
Published by:	CEUR Workshop Proceedings
Share: