On the characterization of law and computer systems: the normative systems perspective
Deontic logic in computer science
Dynamic Logic
The Prescription and Description of State Based Systems
Temporal Logic in Specification
An architecture of a normative system: counts-as conditionals, obligations and permissions
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
A distributed architecture for norm-aware agent societies
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Sequences, obligations, and the contrary-to-duty paradox
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Designing normative behaviour via landmarks
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Specifying and monitoring economic environments using rights and obligations
Autonomous Agents and Multi-Agent Systems
Sequences, obligations, and the contrary-to-duty paradox
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
| Hi-index | 0.00 |
We outline the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we model agents executing abstract actions relative to deontic concepts derived from Standard Deontic Logic and Dynamic Deontic Logic. The concepts of abstract actions are derived from Dynamic Logic. The logics are declarative, while the implementation is operational. Actions have explicit action preconditions and postconditions. We have deontic specification of complex actions. We implement a Contrary-to-Duty Obligations case. We distinguish Contrary-to-Duty Obligations from obligations on sequences, which has not previously been accounted for in the literature. The central innovation is the expression of complex violation and fulfillment markers. The language can be used to express a range of alternative notions of actions and deontic specification.