Combining dynamic deontic logic and temporal logic for the specification of deadlines

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.

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

[2]  David Harel,et al.  First-Order Dynamic Logic , 1979, Lecture Notes in Computer Science.

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

[4]  Ernst-Rüdiger Olderog,et al.  Contrasting Themes in the Semantics of Imperative Concurrency , 1986, Current Trends in Concurrency.

[5]  Manfred Broy,et al.  A Theory for Nondeterminism, Parallelism, Communication, and Concurrency , 1986, Theor. Comput. Sci..

[6]  R. Goldblatt.  Logics of Time and Computation , 1987 .

[7]  Amir Pnueli,et al.  Applications of Temporal Logic to the Specification of Real-time Systems , 1988, FTRTFT.

[8]  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..

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

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

[11]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[12]  Frank Dignum,et al.  Negations of Transactions and Their Use in the Specification of Dynamic and Deontic Integrity Constraints , 1990 .

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

[14]  Peter Haddawy,et al.  Representations for Decision-Theoretic Planning: Utility Functions for Deadline Goals , 1992, KR.

[15]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[16]  Yoav Shoham.  Agent-Oriented Programming , 1993, Artif. Intell..

[17]  Craig Boutilier,et al.  Toward a Logic for Qualitative Decision Theory , 1994, KR.

[18]  Frank Dignum,et al.  Contextual Permission: A Solution to the Free Choice Paradox , 1994 .

[19]  Munindar P. Singh.  Multiagent Systems - A Theoretical Framework for Intentions, Know-How, and Communications , 1994, Lecture Notes in Computer Science.

[20]  Zohar Manna,et al.  Temporal Verification of Reactive Systems , 1995, Springer New York.

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

[22]  Hans Weigand,et al.  A formal specification of deadlines using dynamic deontic logic , 1996 .