Communications Session 2B Logic for AI

Foundations of Intelligent Systems

Volume 1079 of the series Lecture Notes in Computer Science pp 243-252


Meeting the deadline: On the formal specification of temporal deontic constraints

  • F. DignumAffiliated withFac. of Maths. & Comp. Sc., Eindhoven University of Technology
  • , H. Weigand
  • , E. VerharenAffiliated withInfolab, Tilburg University

* Final gross prices may vary according to local VAT.

Get Access


In this paper, we describe a temporal deontic logic that facilitates reasoning about obligations and deadlines. The logic is an extension of deontic dynamic logic, in which only immediate obligations can be specified. In our extension, we can also 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. A practical application area are intelligent agents that must be able to reason about their agendas.