loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
30th Hawaii International Conference on System Sciences (HICSS) Volume 5: Advanced Technology Track
Maui, Hawaii
January 03-January 06
ISBN: 0-8186-7743-0
F. Dignum, Eindhoven University of Technology
R. Kuiper, Eindhoven University of Technology
Intelligent agents have an agenda that is monitored continuously to decide what action is to be performed. Formally, an agenda is a set of deontic temporal constraints. Deontic, since the agenda specifies what the agent should do. Temporal, since the obligation is usually to be performed before a certain deadline, or as soon as possible. In this paper, we investigate the concepts necessary to describe deadlines. We describe a temporal deontic logic that facilitates reasoning about obligations and deadlines. The logic is a combination of temporal logic and deontic dynamic logic. We describe extensively which choices have to be made in combining temporal and dynamic aspects into one system. In the new logic, we can uniformally specify that an obligation starts at a certain time or event, that it must be done immediately, as soon as possible, before a deadline, or periodically.
Citation:
F. Dignum, R. Kuiper, "Combining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines," hicss, vol. 5, pp.336, 30th Hawaii International Conference on System Sciences (HICSS) Volume 5: Advanced Technology Track, 1997
Usage of this product signifies your acceptance of the Terms of Use.