Per accedir als documents amb el text complet, si us plau, seguiu el següent enllaç: http://hdl.handle.net/2117/14168
Títol: | Bringing action language C+ to normative contexts: preliminary report |
---|---|
Autor/a: | Garcia Gasulla, Dario; Nieves Sánchez, Juan Carlos |
Altres autors: | 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 |
Matèries: | -À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ó) |
Drets: | Attribution-NonCommercial-NoDerivs 3.0 Spain
http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
Tipus de document: | Article - Versió presentada Objecte de conferència |
Publicat per: | CEUR Workshop Proceedings |
Compartir: |