Abstract
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.
Preview
Unable to display preview. Download preview PDF.
References
L. Åqvist. Deontic logic. In D.M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic II, pages 605–714. Reidel, 1984.
J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge University Press, 1990.
J.W. de Bakker, J.N Kok, J.-J.Ch. Meyer, E.-R. Olderog, and J.I. Zucker. Contrasting themes in the semantics of imperative concurrency. In J.W. de Bakker, W.P. de Roever, and G. Rozenberg, editors, Current Trends in Concurrency: Overviews and Tutorials, pages 51–121. LNCS 224 Springer, Berlin, 1986.
C. Boutilier Toward a Logic for Qualitative Decision Theory. In JonDoyle, Erik Sandewall and Fietrotorasso (eds.), Principles of Knowledge Representation and Reasoning, proceedings of the fourth international conference, pages 75–86, 1994, Morgan Kaufmann Publishers, San Francisco, California.
M. Broy. A theory for nondeterminism, parallelism, communication and concurrency. In Theoretical Computer Science, vol.45, pages 1–62, 1986.
F. Dignum and J.-J.Ch. Meyer. Negations of transactions and their use in the specification of dynamic and deontic integrity constraints. In M. Kwiatkowska, M.W. Shields, and R.M. Thomas, editors, Semantics for Concurrency, Leicester 1990, pages 61–80, Springer, Berlin, 1990.
Contextual permission. a solution to the free choice paradox. In A. Jones and M. Sergot, editors, Second International Workshop on Deontic Logic in Computer Science, pages 107–135, Oslo, 1994. Tano A.S.
E.A. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 995–1072, North-Holland, Amsterdam, 1989.
J. Fiadeiro and T. Maibaum. Temporal Reasoning over Deontic Specification. In Journal of Logic and Computation, 1 (3), 1991.
D. Harel. First Order Dynamic Logic. LNCS 68 Springer, 1979.
J.F. Horty. Combining Agency and Obligation. In M. Brown and J. Carmo (eds.), Deontic Logic, Agency and Normative Systems, pages 98–122, Springer-Verlag, Berlin, 1996.
J.-J.Ch. Meyer. A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. In Notre Dame, vol.29, pages 109–136, 1988.
R. Thomason. Deontic Logic as founded on tense logic. In R. Hilpinen, editor, New Studies in Deontic Logic, pages 165–176, D.Reidel Publishing Company, 1981.
G.H. von Wright. Deontic logic. In Mind, vol.60, pages 1–15, 1951.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dignum, F., Weigand, H., Verharen, E. (1996). Meeting the deadline: On the formal specification of temporal deontic constraints. In: RaÅ›, Z.W., Michalewicz, M. (eds) Foundations of Intelligent Systems. ISMIS 1996. Lecture Notes in Computer Science, vol 1079. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61286-6_149
Download citation
DOI: https://doi.org/10.1007/3-540-61286-6_149
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61286-5
Online ISBN: 978-3-540-68440-4
eBook Packages: Springer Book Archive