TY - GEN
T1 - Meeting the deadline
T2 - 9th International Symposium on Methodologies for Intelligent Systems, ISMIS 1996
AU - Dignum, F.
AU - Weigand, H.
AU - Verharen, E.
PY - 1996
Y1 - 1996
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84949757851&partnerID=8YFLogxK
U2 - 10.1007/3-540-61286-6_149
DO - 10.1007/3-540-61286-6_149
M3 - Conference contribution
SN - 9783540612865
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 243
EP - 252
BT - Foundations of Intelligent Systems - 9th International Symposium, ISMIS 1996, Proceedings
A2 - Ras, Z.W.
A2 - Michalewicz, M.
PB - Springer Verlag
Y2 - 9 June 1996 through 13 June 1996
ER -