Intention is choice with commitment
Artificial Intelligence
Alternating-time temporal logic
Journal of the ACM (JACM)
Alternating-time Temporal Logic
FOCS '97 Proceedings of the 38th Annual Symposium on Foundations of Computer Science
Obligations and Dense Time for Specifying Deadlines
HICSS '98 Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences-Volume 5 - Volume 5
Electronic Notes in Theoretical Computer Science (ENTCS)
Preservation of obligations in a temporal and deontic framework
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
`What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations
Computational Logic in Multi-Agent Systems
Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations
Electronic Notes in Theoretical Computer Science (ENTCS)
Issues in Designing Logical Models for Norm Change
Organized Adaption in Multi-Agent Systems
Formalizing organizational constraints: a semantic approach
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Ten problems of deontic logic and normative reasoning in computer science
ESSLLI'10 Proceedings of the 2010 conference on ESSLLI 2010, and ESSLLI 2011 conference on Lectures on Logic and Computation
Temporal deontic logic for the generalised chisholm set of contrary to duty obligations
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
Discussion paper: changing norms is changing obligation change
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
Temporal deontic action logic for the verification of compliance to norms in ASP
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
| Hi-index | 0.00 |
In this paper we extend earlier work on deontic deadlines in CTL to the framework of alternating time temporal logic (ATL). The resulting setting enables us to model several concepts discussed in the deontic logic literature. Among the issues discussed are: conditionality, ought implies can, deliberateness, settledness, achievement obligations versus maintenance obligations and deontic detachment. We motivate our framework by arguing for the importance of temporal order obligations, from the standpoint of agent theory as studied in computer science. In particular we will argue that in general achievement obligations cannot do without a deadline condition saying the achievement has to take place before it. Then we define our logic as a reduction to ATL. We demonstrate the applicability of the logic by discussing a possible solution to Chisholm's paradox. The solution differs considerably from other known temporal approaches to the paradox.