Abstract
We consider the logical representation of obligations on stative expressions such as The yard must be clean in the context of legal contract formation, execution, and monitoring (cf. Wyner ([28])). In a contract, the expression may understood as an obligation to maintain a property. We use a Deontic Action Logic to represent obligations over the course of time (Khosla and Maibaum ([13]) and Meyer ([17])). Our analysis is in contrast to d’Altan, Meyer, and Wieringa ([6]), who reduce deontic operators to an Alethic Logic plus a violation proposition (Anderson and Moore ([1]), which has no temporal component. In addition, they use a Deontic Action Logic to represent obligations on actions. We claim the Alethic component of the logic is redundant for the purposes of representing obligations on stative expressions in a contract. In the course of the analysis, we introduce polynormativity, which contrasts with the binormativity of standard DAL or alethic logic plus a violation proposition. We discuss the advantages of polynormativity in reasoning from violations and fulfillments.
This work was prepared while the author was a postgraduate student at King’s College London under the supervision of Tom Maibaum and funded by a studentship from Hewlett-Packard. It has benefitted from discussions with Tom Maibaum, Andrew Jones, and comments from two anonymous reviewers. The author thanks Tom, Andrew, and HP for their support and advice. Errors rest with the author.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Anderson, A., Moore, O.: The Formal Analysis of Normative Concepts. The American Sociological Review 22, 9–17 (1957)
Broersen, J.: Action Negation and Alternative Reductions for Dynamic Deontic Logic. Journal of Applied Logic (2004) (to appear)
Broersen, J., van der Torre, L.: Review of J. Horty Agency and Deontic Logic. Artificial Intelligence and Law 11, 45–61 (2003)
Carmo, J., Jones, A.: Deontic Logic and Contrary-to-duties. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, Kluwer Academic Publishers, Dordrecht (2001)
Carmo, J., Jones, A.: Deontic Database Constraints, Violation, and Recovery. Studia Logica 57, 139–165 (1996)
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)
Forrester, J.: Being good and being logical – Philosophical groundwork for a New Deontic Logic. M.E.Sharpe, Armonk, New York (1996)
Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. The MIT Press, Cambridge (2000)
Hilpinen, R.: On Action and Agency. In: Ejerhed, E., Lindström, S. (eds.) Logic, Action and Cognition – Essays in Philosophical Logic, pp. 3–27. Kluwer Academic Press, Dordrecht (1997)
Horty, J.: Agency and Deontic Logic. Oxford University Press, Oxford (2001)
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)
Katz, G.: Anti Neo-Davidsonianism: Against a Davidsonian Semantics for State Sentences. In: Lang, E., Maienborn, C., Fabricius-Hansen, C. (eds.) Events as Grammatical Objects, pp. 393–416. CSLI Publications, Stanford (2000)
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)
Krogh, C., Herrestad, H.: Getting Personal: Some Notes on the Relationship Between Personal and Impersonal Obligation. In: Brown, M., Carmo, J. (eds.) DEON: Deontic Logic, Agency and Normative Systems, DEON 1996, pp. 134–153. Springer, Heidelberg (1996)
Maienborn, C.: Against a Davidsonian Analysis of Copula Sentence. In: Kadowski, M., Kawahara, S. (eds.) NELS 33 Proceedings, GLSA, Amherst
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., Wieringa, R.J.: Actors, Actions, and Initiative in Normative System Specification. Annals of Mathematics and Artificial Intelligence 7, 289–346 (1993)
Parsons, T.: Events in the Semantics of English: A Study in Subatomic Semantics. The MIT Press, Cambridge (1990)
Sergot, M.: A Brief Introduction to Logic Programming and its Applications in Law. In: Walter, C. (ed.) Computer Power and Legal Language, pp. 25–39. Quorum Books, USA (1988)
Sergot, M.: The Representation of Law in Computer Computer Programs. In: Bench-Capon, T.J.M. (ed.) Knowledge-Based Systems and Legal Applications, pp. 3–67. Academic Press, London (1991)
Sergot, M., Richards, R.: On the Representation of Action and Agency in the Theory of Normative Positions. Fundamenta Informaticae 48, 273–293 (2001)
Sergot, M.: Normative Positions. In: Prakken, H., McNamara, P. (eds.) Norms, Logics and Information Systems. New Studies in Deontic Logic and Computer Science, pp. 289–310. IOS Press, Amsterdam (1998)
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.: Boolean Event Lattices and Thematic Roles in the Syntax and Semantics of Adverbial Modification. Cornell University Ph.D. Thesis (1994)
Wyner, A.Z.: Transfer Report. ms King’s College London, Department of Computer Science, http://www.dcs.kcl.ac.uk/pg/wyner
Wyner, A.Z.: Informal Contract Specification. ms King’s College London, Department of Computer Science, http://www.dcs.kcl.ac.uk/pg/wyner
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wyner, A.Z. (2004). Maintaining Obligations on Stative Expressions in a Deontic Action Logic. In: Lomuscio, A., Nute, D. (eds) Deontic Logic in Computer Science. DEON 2004. Lecture Notes in Computer Science(), vol 3065. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25927-5_17
Download citation
DOI: https://doi.org/10.1007/978-3-540-25927-5_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22111-1
Online ISBN: 978-3-540-25927-5
eBook Packages: Springer Book Archive