Obligations and dense time for specifying deadlines

We consider the notion of deadlines in the context of dense time. We show that obligations and actions are essential elements for the specification of deadlines. These notions can be relatively easily combined when a discrete temporal framework is used. However, we show that once a dense time is introduced, several problems appear. In solving these problems we cannot use the same framework and definitions as used for the discrete time. In the new framework we use a branching dense temporal framework as a basis to specify both actions and obligations. Finally we show that all types of deadlines that were defined for the discrete temporal framework can also be defined for dense time.

[1]  Roderick M. Chisholm,et al.  Contrary-To-Duty Imperatives and Deontic Logic , 1963 .

[2]  Frank Dignum,et al.  Combining dynamic deontic logic and temporal logic for the specification of deadlines , 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.

[3]  Frank Dignum,et al.  The Role of Deontic Logic in the Specification of Information Systems , 1998, Logics for Databases and Information Systems.

[4]  Jonathan S. Ostroff,et al.  Temporal logic for real-time systems , 1989 .

[5]  Richmond H. Thomason,et al.  Deontic Logic as Founded on Tense Logic , 1981 .

[6]  John F. Horty.  Combining Agency and Obligation (Preliminary Version) , 1996, DEON.

[7]  Jaakko Hintikka.  Some Main Problems of Deontic Logic , 1970 .

[8]  José Luiz Fiadeiro,et al.  Temporal reasoning over deontic specifications , 1991, J. Log. Comput..

[9]  Zohar Manna,et al.  Compositional Veri cation of Real-time Systems , 1994 .

[10]  Amir Pnueli,et al.  Now you may compose temporal logic specifications , 1984, STOC '84.

[11]  Amir Pnueli,et al.  Explicit clock temporal logic , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.

[12]  Amir Pnueli,et al.  A really abstract concurrent model and its temporal logic , 1986, POPL '86.

[13]  John-Jules Ch. Meyer,et al.  A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic , 1987, Notre Dame J. Formal Log..

[14]  Frank Dignum,et al.  An investigation into deontics of durative actions , 1998 .

[15]  acobus Adrianus van Eck.  A system of temporally relative modal and deontic predicate logic and its philosophical applications , 1981 .

[16]  James F. Allen.  An Interval-Based Representation of Temporal Knowledge , 1981, IJCAI.

[17]  Roel Wieringa,et al.  Deontic logic: a concise overview , 1994 .