Abstract
In order to provide an implemented language of deontic concepts on complex actions for the purposes of social simulation, we consider the logical representation of obligations, sequences of actions, and the Contrary to Duty (CTD) Paradox. We show that approaches which follow Standard Deontic Logic (Carmo and Jones (2002)) or Dynamic Deontic Logic (Khosla and Maibaum (1987) and Meyer (1988)) encounter problems with obligations, sequences, and CTDs. In particular, it is crucial to differentiate sequences of obligations from obligations on sequences and to consider contract change over time. Contra Meyer (1988), we argue that the CTD problem cannot be reduced to a a sequence of obligations. Contra Carmo and Jones (2002), the analysis of CTDs needs explicit state change and does not need a concept of ideality. We discuss Pörn’s Criterion, which states that it is critical to a comprehensive theory of deontic reasoning to take dynamic aspects into account (Pörn (1977:ix-x)); in our view, this ought to encompass Contract State Change. In a theory of deontic specifications on actions, we show that articulated, compositional, and productive markers for violation and fulfillment are key to address the problems identified. The theorical arguments inform the Abstract Contract Calculator, a prototype implementation in Haskell of a language for reasoning with and simulating the results of deontically specified actions (Wyner (2006a) and Wyner (2006b)). With the language, one can represent and study the outcomes of multi-agent artificial normative systems as agents execute actions over time.
Copyright ©2006 Adam Zachary Wyner. This work was prepared while the author was a postgraduate student at King’s College London under the supervision of Tom Maibaum and Andrew Jones, which was funded by a studentship from Hewlett-Packard Research Labs, Bristol, UK. The author thanks Tom, Andrew, HP, and anonymous reviewers for their support and comments. Errors rest with the author.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Anderson, A., Moore, O.: The Formal Analysis of Normative Concepts. The American Sociological Review 22, 9–17 (1957)
Carmo, J., Jones, A.: Deontic Logic and Contrary-to-duties. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic. Kluwer Academic Publishers, Dordrecht (2002)
d’Altan, P., Meyer, J.-J.C., Wieringa, M.: An integrated framework for ought–to–be and ought–to–do constraints. Artificial Intelligence and Law 4, 77–111 (1996)
Dignum, F., Edmonds, B., Sonenberg, L.: Editorial: The Use of Logic in Agent-Based Social Simulation. Journal of Artificial Societies and Social Simulation 7.4 (2004), http://jasss.soc.surrey.ac.uk/7/4/8.html
Dignum, F., Sonenberg, L.: A Dialogical Argument for the Usefulness of Logic in MAS. In: RASTA 2002: Proceedings of the International Workshop on Regulated Agent-Based Social Systems: Theories and Applications, See: http://jasss.soc.surrey.ac.uk/7/4/8.html
Dignum, V.: A Model for Organizational Interaction: Based on Agents, Founded in Logic. Ph.D. Thesis, Utrecht University, Netherlands
Dowty, D.: Word Meaning and Montague Grammar. Reidel Publishing Company, Dordrecht (1979)
Edmonds, B.: Comments on A Dialogical Argument for the Usefulness of Logic in MAS. In: Lindemann, G., Moldt, D., Paolucci, M. (eds.) RASTA 2002. LNCS, vol. 2934, Springer, Heidelberg (2004), See: http://jasss.soc.surrey.ac.uk/7/4/8.html
Fasli, M.: Formal Systems ∧ Agent-Based Social Simulation = \(\bot\)? Journal of Artificial Societies and Social Simulation 7.4 (2004), http://jasss.soc.surrey.ac.uk/7/4/8.html
Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. The MIT Press, Cambridge (2000)
Doets, K., van Eijck, J.: The Haskell Road to Logic, Maths and Programming. King’s College Publications, London (2004)
van Eijck, J.: Computational Semantics and Type Theory (2004), Website download http://homepages.cwi.nl/~jve/cs/
Gilbert, N., Troitzsch, K.: Simulation for the Social Scientist. Open University Press, London (2005)
Jones, A., Sergot, M.: On the Characterisation of Law and Computer Systems: the Normative Systems Perspective. In: Meyer, J.-J.C., Wieringa, R.J. (eds.) Deontic Logic in Computer Science – Normative System Specification, pp. 275–307. Wiley, Chichester (1993)
Kent, S., Maibaum, T., Quirk, W.: Formally Specifying Temporal Contraints and Error Recovery. In: Proceedings of the IEEE International Symposium on Requirements Engineering, pp. 208–215. IEEE C.S. Press
Khosla, S., Maibaum, T.: The Prescription and Description of State-Based Systems. In: Banieqbal, B., Barringer, H., Pneuli, A. (eds.) Temporal Logic in Specification, pp. 243–294. Springer, Heidelberg (1987)
Meyden, R.v.d.: The Dynamic Logic of Permission. Journal of Logic and Computation 6, 465–479 (1996)
Meyer, J.-J.C.: A Different Approach to Deontic Logic: Deontic Logic Viewed as a Variant of Dynamic Logic. Notre Dame Journal of Formal Logic 1, 109–136 (1988)
Meyer, J.-J.C.: Dynamic Logic for Reasoning about Actions and Agents. In: Minker, J. (ed.) Workshop on Logic-Based Artificial Intelligence, Washington, DC (1999)
Meyer, J.-J.C., Wieringa, R.J.: Actors, Actions, and Initiative in Normative System Specification. Annals of Mathematics and Artificial Intelligence 7, 289–346 (1993)
Meyer, J.-J.C., Wieringa, R.J., Dignum, F.: The Role of Deontic Logic in the Specification of Information Systems. In: Logics for Databases and Information Systems, pp. 71–115 (1998)
Montague, R.: Formal Philosophy: Selected Papers of Richard Montague. Thomason, R. (ed.). Yale University Press, New Haven (1974)
Penner, J., Schiff, D., Nobles, R. (eds.): Introduction to Legal Theory and Jurisprudence: Commentary and Materials. Buttersworth Law, London (2002)
Pörn, P.: Action Theory and Social Science: Some Formal Models. Reidel, Dordrecht (1977)
Royakkers, L.: Representing Legal Rules in Deontic Logic. Ph.D. Thesis, Katholieke Universiteit Brabant, Tilburg (1996)
Sergot, M.: A Computational Theory of Normative Positions. ACM Transactions on Computational Logic 2, 581–622 (2001)
Wieringa, R.J., Meyer, J.: Deontic Logic in Computer Science: Normative System Specification. John Wiley and Sons, Chichester (1993)
Wyner, A.Z.: Violations and Fulfillments in the Formal Representation of Contracts. ms King’s College London, Department of Computer Science, Ph.D. in Computer Science (submitted, 2006a)
Wyner, A.Z.: A Functional Program for Agents, Actions, and Deontic Specifications. In: Endriss, U. (ed.) Proceedings of the Workshop on Declarative Agent Language Technologies. AAMAS 2006, May 7-12, 2006, Hakodate, Japan (2006b)
Wyner, A.Z.: Maintaining Obligations on Stative Expressions in a Deontic Action Logic. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS, vol. 3065, pp. 258–274. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wyner, A.Z. (2006). Sequences, Obligations, and the Contrary-to-Duty Paradox. In: Goble, L., Meyer, JJ.C. (eds) Deontic Logic and Artificial Normative Systems. DEON 2006. Lecture Notes in Computer Science(), vol 4048. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11786849_21
Download citation
DOI: https://doi.org/10.1007/11786849_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-35842-8
Online ISBN: 978-3-540-35843-5
eBook Packages: Computer ScienceComputer Science (R0)