AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Autonomous Agents and Multi-Agent Systems
Nomad: A Security Model with Non Atomic Actions and Deadlines
CSFW '05 Proceedings of the 18th IEEE workshop on Computer Security Foundations
Strategic deontic temporal logic as a reduction to ATL, with an application to chisholm's scenario
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
A state/event temporal deontic logic
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative 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
Discussion paper: changing norms is changing obligation change
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
| Hi-index | 0.00 |
We study a logical property that concerns the preservation of future directed obligations that have not been fulfilled yet. We call this property 'propagation property'. The goal is to define a combination of temporal and deontic logics which satisfies this property. Our starting point is the product of temporal and deontic logics. We investigate some modifications of the semantics of the product in order to satisfy the propagation property, without losing too much of the basic properties of the product. We arrive at a semantics in which we only consider ideal histories that share the same past as the current one, and that enables an interesting characterization of the states in which obligations propagate: these are the states where there are no violations of present directed obligations.