Combining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines

Intelligent agents have an agenda that is monitoredcontinuously 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 assoon as possible. In this paper, we investigate the concepts necessary to describe deadlines. We describe a temporal deontic logic that facilitates reasoning aboutobligations and deadlines. The logic is a combination oftemporal logic and deontic dynamic logic. We describeextensively which choices have to be made in combiningtemporal and dynamic aspects into one system. In thenew logic, we can uniformally specify that an obligationstarts at a certain time or event, that it must be doneimmediately, as soon as possible, before a deadline, orperiodically.