Temporal reasoning: an application to normative systems Export

@inproceedings{citeulike:2896286, abstract = {We propose a first-order model as a possible formal basis for normative agent systems (NAS). The model allows us to describe the execution of actions in time and the use of dynamic norms. We also present its operational aspect which is based on the reduction of the deontic constraints to temporal ones. In order to show the applicability of the model we briefly describe a logic programming implementation and we present two types of applications: the detection of the violation cases and the prototype of a scheduler with deontic and temporal constraints}, author = {Stratulat, T. and Clerin-Debart, F. and Enjalbert, P.}, booktitle = {Temporal Representation and Reasoning, 2001. TIME 2001. Proceedings. Eighth International Symposium on}, citeulike-article-id = {2896286}, citeulike-linkout-0 = {http://dx.doi.org/10.1109/TIME.2001.930696}, citeulike-linkout-1 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=930696}, doi = {10.1109/TIME.2001.930696}, journal = {Temporal Representation and Reasoning, 2001. TIME 2001. Proceedings. Eighth International Symposium on}, keywords = {normative-systems, temporal-logic}, pages = {41--47}, posted-at = {2008-06-15 15:53:34}, priority = {2}, title = {Temporal reasoning: an application to normative systems}, url = {http://dx.doi.org/10.1109/TIME.2001.930696}, year = {2001} }

TY - CONF ID - citeulike:2896286 L3 - citeulike-article-id:2896286 N2 - We propose a first-order model as a possible formal basis for normative agent systems (NAS). The model allows us to describe the execution of actions in time and the use of dynamic norms. We also present its operational aspect which is based on the reduction of the deontic constraints to temporal ones. In order to show the applicability of the model we briefly describe a logic programming implementation and we present two types of applications: the detection of the violation cases and the prototype of a scheduler with deontic and temporal constraints JF - Temporal Representation and Reasoning, 2001. TIME 2001. Proceedings. Eighth International Symposium on EP - 47 TI - Temporal reasoning: an application to normative systems T2 - Temporal Representation and Reasoning, 2001. TIME 2001. Proceedings. Eighth International Symposium on SP - 41 KW - normative-systems KW - temporal-logic AU - Stratulat, T AU - Clerin-Debart, F AU - Enjalbert, P PY - 2001/// UR - http://dx.doi.org/10.1109/TIME.2001.930696 ER -