CiteULike Search Register Log in
CiteULike is a free online bibliography manager. Register and you can start organising your references online.

Temporal reasoning: an application to normative systems

by: T. Stratulat, F. Clerin-Debart, P. Enjalbert
Temporal Representation and Reasoning, 2001. TIME 2001. Proceedings. Eighth International Symposium on In Temporal Representation and Reasoning, 2001. TIME 2001. Proceedings. Eighth International Symposium on (2001), pp. 41-47.

X 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

View the full article here:

DOI, IEEE Explore

This article has been bookmarked once, on 2008-06-15.

2008-06-15 User Scis0000002
Privacy Statement | Terms & Conditions
CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.