Skip to main content
SpringerLink
Log in

Acts of Commanding and Changing Obligations

  • Conference paper
Computational Logic in Multi-Agent Systems (CLIMA 2006)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4371))

Included in the following conference series:

Abstract

If we are to take the notion of speech act seriously, we must be able to treat speech acts as acts. In this paper, we will try to model changes brought about by various acts of commanding in terms of a variant of update logic. We will combine a multi-agent variant of the language of monadic deontic logic with a dynamic language to talk about the situations before and after the issuance of commands, and the commands that link those situations. Although the resulting logic inherits various inadequacies from monadic deontic logic, some interesting principles are captured and seen to be valid nonetheless. A complete axiomatization and some interesting valid principles together with concrete examples will be presented, and suggestions for further research will be made.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Åqvist, L.: Deontic Logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 8, 2nd edn., pp. 147–264. Kluwer Academic Publishers, Dordrecht (2002)

    Google Scholar 

  2. Baltag, A., Moss, L.S., Solecki, S.: The Logic of Public Announcements, Common Knowledge, and Private Suspicions. Technical Report, TR534. Department of Computer Science (CSCI), Indiana University (1999)

    Google Scholar 

  3. Belnap, N., Perloff, M., Xu, M.: Facing the Future: Agents and Choices in Our Indeterminist World. Oxford University Press, Oxford (2001)

    Google Scholar 

  4. van Benthem, J.: Update Delights. An Invited Lecture. ESSLLI 2000 (Birmingham). A manuscript. Institute of Logic, Language and Computation, University of Amsterdam (2000)

    Google Scholar 

  5. van Benthem, J., Liu, F.: Dynamic Logic of Preference Upgrade. Journal of Applied Non-Classical Logics (to appear)

    Google Scholar 

  6. Demri, S.: A Reduction from DLP to PDL. Journal of Logic and Computation 785, 15–15 (2005)

    MathSciNet  Google Scholar 

  7. Gabbay, D.M., Guenthner, F. (eds.): Handbook of Philosophical Logic, vol. 8, 2nd edn. Kluwer Academic Publishers, Dordrecht (2002)

    MATH  Google Scholar 

  8. Gerbrandy, J.: Bisimulations on Planet Kripke. Ph. D. Thesis. ILLC Dissertation Series DS-1999-01. University of Amsterdam (1999)

    Google Scholar 

  9. Gerbrandy, J., Groeneveld, W.: Reasoning about Information Change. Journal of Logic, Language, and Information 6, 147–169 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  10. Grice, H.P (ed.): Meaning (Reprinted in: Grice, H. P.: Studies in the Way of Words, pp. 213–223. Harvard University Press, Cambridge, Massachusetts / London, England (1989)) (1948)

    Google Scholar 

  11. Groeneveld, W.: Logical Investigations into Dynamic Semantics. Ph. D. Thesis. ILLC Dissertation Series, DS-1995-18. University of Amsterdam (1995)

    Google Scholar 

  12. Horty, J.F.: Agency and Deontic Logic. Oxford University Press, Oxford (2001)

    MATH  Google Scholar 

  13. Kooi, B., van Benthem, J.: Reduction Axioms for Epistemic Actions. In: Schmidt, R., Pratt-Hartmann, I., Reynolds, M., Wansing, H. (eds.) Preliminary Proceedings of AiML-2004, pp. 197–211. Department of Computer Science, University of Manchester (2004)

    Google Scholar 

  14. Marcus, R.B.: Moral Dilemmas and Consistency (Reprinted in: Marcus, R. B.: Modalities: Philosophical Essays, pp. 125–141. Oxford University Press, New York(1993)). Journal of philosophy 77(3), 125–141 (1980)

    Article  Google Scholar 

  15. van der Meyden, R.: The Dynamic Logic of Permission. Journal of Logic and Computation 6(3), 465–479 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  16. Plaza, J.A.: Logics of public communications. In: Emrich, M.L., Pfeifer, M.S., Hadzikadic, M., Ras, Z.W. (eds.) Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pp. 201–216 (1989)

    Google Scholar 

  17. Pucella, R., Weissman, V.: Reasoning about Dynamic Policies. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol. 2987, pp. 453–467. Springer, Heidelberg (2004)

    Google Scholar 

  18. van der Torre, L.W.N., Tan, Y.-H.: An Update Semantics for Deontic Reasoning. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems. New Studies on Deontic Logic and Computer Science. Frontiers in Artificial Intelligence and Applications, vol. 49, pp. 73–90. IOS Press, Amsterdam (1999)

    Google Scholar 

  19. Veltman, F.: Defaults in Update Semantics. Journal of Philosophical Logic 25, 221–261 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  20. Yamada, T.: Completeness of the Logic of Eliminative Commands. In: Tanaka, H. (ed.): Language Understanding and Action Control. Annual Project Report. Grant-in-Aid for Creative Basic Research (13NP0301), pp. 9-20. Tokyo Institute of Technology (2006)

    Google Scholar 

  21. Yamada, T.: Logical Dynamics of Commands and Obligations. In: McCready, E. (ed.) Preliminary Proceedings of the Third International Workshop on Logic and Engineering of Natural Language Semantics (LENLS2006), Tokyo, Japan, June 5-6, pp. 43–55 (2006)

    Google Scholar 

  22. Žarnić, B.: Imperative Change and Obligation to Do. In: Segerberg, K., Sliwinski, R. (eds.) Logic, Law, Morality: Thirteen Essays in Practical Philosophy in Honour of Åqvist. Uppsala Philosophical Studies, vol. 51, pp. 79–95. Department of Philosophy, Uppsala University, Uppsala (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Graduate School of Letters, Hokkaido University, Nishi 7, Kita 10, Kita-ku, Sapporo, Hokkaido, 060-0810, Japan

    Tomoyuki Yamada

Authors
  1. Tomoyuki Yamada
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Katsumi Inoue Ken Satoh Francesca Toni

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer Berlin Heidelberg

About this paper

Cite this paper

Yamada, T. (2007). Acts of Commanding and Changing Obligations. In: Inoue, K., Satoh, K., Toni, F. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2006. Lecture Notes in Computer Science(), vol 4371. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69619-3_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-69619-3_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-69618-6

  • Online ISBN: 978-3-540-69619-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation