Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Logical Dynamics of Commands and Obligations

  • Conference paper
  • First Online:
New Frontiers in Artificial Intelligence (JSAI 2006)

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

Included in the following conference series:

Abstract

In this paper, an eliminative command logic ECL introduced in Yamada [21] will be slightly refined into ECL II by allowing command terms and deontic operators to be indexed by a Cartesian Product of a given finite set of agents and a given finite set of command issuing authorities. Complete axiomatization and interesting validities will be presented, and a concrete example of a situation in which conflicting commands are given to the same agent by different authorities will be discussed extensively.

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. Austin, J.L.: How to Do Things with Words. in Urmson, J. O., Sbisà, M. (eds.), 2nd. ed. Harvard University Press, Cambridge (1975)

    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. van Benthem, J., Liu, F.: Dynamic Logic of Preference Upgrade. Journal of Applied Non-Classical Logics (to appear)

    Google Scholar 

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

    Article  MathSciNet  Google Scholar 

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

    Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  7. Goble, L., Meyer, J.-J.C. (eds.): DEON 2006. LNCS (LNAI), vol. 4048. Springer, Heidelberg (2006)

    MATH  Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Book  Google Scholar 

  11. Kooi, B., van Benthem, J.: Reduction Axioms for Epistemic Actions. In: Schmidt, R., Pratt-Hartmann, I., Reynolds, M. and Wansing, H. (eds): Preliminary Proceedings of AiML-2004: Advances in Modal Logic. Technical Report Series, UMCS-04-9-1, pp.197–211. Department of Computer Science, University of Manchester (2004)

    Google Scholar 

  12. Kooi, B., Tamminga, A.: Conflicting Obligations in Multi-agent Deontic Logic. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol. 4048, pp. 175–186. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  13. Marcus, R.B.: Moral Dilemmas and Consistency. Journal of Philosophy, LXXVII, 3, 121-136 (1980) Reprinted in: Marcus, R. B.: Modalities: Philosophical Essays, 125-141. Oxford University Press, New York/Oxford (1993)

    Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  15. 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 

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

    Chapter  Google Scholar 

  17. Searle, J.: Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)

    Book  Google Scholar 

  18. van der Torre, L.W.N.: Tan, Yao-Hua: 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  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). Tokyo Institute of Technology, 9-20 (2006)

    Google Scholar 

  21. Yamada, T.: Acts of Commanding and Changing Obligations. In: Inoue, K., Sato, K., Toni, F. (eds.) Post-Proceedings of the Seventh International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VII), Future University Hakodate, Hakodate, Japan, 8-9 May, 2006, in association with AAMAS2006. LNCS (LNAI), pp. 8–9. Springer, Heidelberg (to appear)

    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, Uppsala (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Division of Philosophy and Cultural Sciences, 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

Takashi Washio Ken Satoh Hideaki Takeda Akihiro Inokuchi

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer Berlin Heidelberg

About this paper

Cite this paper

Yamada, T. (2007). Logical Dynamics of Commands and Obligations. In: Washio, T., Satoh, K., Takeda, H., Inokuchi, A. (eds) New Frontiers in Artificial Intelligence. JSAI 2006. Lecture Notes in Computer Science(), vol 4384. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69902-6_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-69902-6_13

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-69901-9

  • Online ISBN: 978-3-540-69902-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation