Sequences, obligations, and the contrary-to-duty paradox

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4048 LNAI, Issue , 2006, Pages 255-271

  Wyner, Adam Zachary ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTER SIMULATION; PROBLEM SOLVING; SOFTWARE AGENTS; SOFTWARE PROTOTYPING;

CONTRARY TO DUTY (CTD); DEONTIC CONCEPTS; MULTI-AGENT ARTIFICIAL NORMATIVE SYSTEMS;

FORMAL LANGUAGES;

EID: 33746327805     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11786849_21     Document Type: Conference Paper

References (30)

1. Anderson, A., Moore, O.: The Formal Analysis of Normative Concepts. The American Sociological Review. 22 (1957) 9-17
2. Carmo, J., Jones, A.: Deontic Logic and Contrary-to-duties. In D. Gabbay and Franz Guenthner (eds.) Handbook of Philosophical Logic, Dordrecht: Kluwer Academic Publishers, (2002)
3. d'Altan, P., Meyer, J.-J.Ch., Wieringa, M.: An integrated framework for ought-to-be and ought-to-do constraints. Artificial Intelligence and Law. 4 (1996) 77-111
4. Dignum, F., Edmonds, B., and 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
5. Dignum, F. and Sonenberg, L.: A Dialogical Argument for the Usefulness of Logic in MAS. RASTA'02 (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
6. Dignum, V.: A Model for Organizational Interaction: Based on Agents, Founded in Logic. Ph.D. Thesis, Utrecht University, Netherlands.
7. Dowty, D.: Word Meaning and Montague Grammar. Dordrecht, Holldand: Reidel Publishing Company (1979)
8. Edmonds, B.: Comments on A Dialogical Argument for the Usefulness of Logic in MAS. RASTA'02 (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
9. Fasli, M.: Formal Systems Λ Agent-Based Social Simulation =⊥?. Journal of Artificial Societies and Social Simulation. 7.4 (2004). http://jasss.soc.surrey.ac.uk/7/4/8.html
10. Harel, D., Kozen, D., and Tiuryn, J.: Dynamic Logic. Cambridge, MA: The MIT Press (2000)
11. Doets, K., van Eijck, J.: The Haskell Road to Logic, Maths and Programming, London: King's College Publications, (2004)
12. van Eijck, J.: Computational Semantics and Type Theory. Website download http://homepages.cwi.nl/jve/cs/, (2004)
13. Gilbert, N., Troitzsch, K.: Simulation for the Social Scientist, London, UK: Open University Press, (2005)
14. Jones, A., Sergot, M.: On the Characterisation of Law and Computer Systems: the Normative Systems Perspective. In J.-J.Ch Meyer and R.J. Wieringa (eds.) Deontic Logic in Computer Science - Normative System Specification. Wiley (1993) 275-307
15. Kent, S., Maibaum, T., and Quirk, W.: Formally Specifying Temporal Contraints and Error Recovery. In Proceedings of the IEEE International Symposium on Requirements Engineering, IEEE C.S. Press, 208-215
16. Khosla, S., Maibaum, T.: The Prescription and Description of State-Based Systems, In B. Banieqbal, H. Barringer, and A. Pneuli (eds.) Temporal Logic in Specification. Springer-Verlag (1987) 243-294
17. Meyden, R. v. d.: The Dynamic Logic of Permission. Journal of Logic and Computation. 8 (1996) 465-479
18. Meyer, J.-J.Ch.: A Different Approach to Deontic Logic: Deontic Logic Viewed as a Variant of Dynamic Logic. Notre Dame Journal of Formal Logic. 1 (1988) 109-136
19. Meyer, J.-J.Ch.: Dynamic Logic for Reasoning about Actions and Agents. In J. Minker (ed.) Workshop on Logic-Based Artificial Intelligence. Washington, DC. (1999)
20. Meyer, J.-J.Ch., Wieringa, R.J.; Actors, Actions, and Initiative in Normative System Specification. Annals of Mathematics and Artificial Intelligence. 7 (1993) 289-346
21. Meyer, J.-J.Ch., Wieringa, R.J., and Dignum, F.: The Role of Deontic Logic in the Specification of Information Systems. In Logics for Databases and Information Systems. (1998) 71-115.
22. Montague, R.: Formal Philosophy: Selected Papers of Richard Montague. R. Thomason (ed.), New Haven, Yale University Press, (1974)
23. Penner, J., Schiff, D., Nobles, R. (eds.): Introduction to Legal Theory and Jurisprudence: Commentary and Materials. London, Buttersworth Law (2002)
24. Pörn, P.: Action Theory and Social Science: Some Formal Models, Dordrecht: Reidel (1977)
25. Royakkers, L.: Representing Legal Rules in Deontic Logic. Ph.D. Thesis, Katholieke Universiteit Brabant, Tilburg (1996)
26. Sergot, M.: A Computational Theory of Normative Positions. ACM Transactions on Computational Logic. 2 (2001) 581-622
27. Wieringa, R.J., Meyer, J.: Deontic Logic in Computer Science: Normative System Specification. John Wiley and Sons (1993)
28. Wyner, A.Z.: Violations and Fulfillments in the Formal Representation of Contracts, ms King's College London, Department of Computer Science, submitted for the Ph.D. in Computer Science, (2006a)
29. Wyner, A.Z.: A Functional Program for Agents, Actions, and Deontic Specifications. In Ulle Endriss (ed.) Proceedings of the Workshop on Declarative Agent Language Technologies. AAMAS'06, Hakodate, Japan, May 7-12, 2006. (2006b)
30. Wyner, A.Z.: Maintaining Obligations on Stative Expressions in a Deontic Action Logic. In A. Lomuscio and D. Nute (eds.) Deontic Logic in Computer Science. Springer (2004), 258-274