Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Agent Theories, Architectures, and Languages

ATAL 2001: Intelligent Agents VIII pp 86–99Cite as

On Multi-agent Systems Specification via Deontic Logic

  • Conference paper
  • First Online:

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

Abstract

We investigate an extension of the formalism of interpreted systems by Halpern and colleagues to model correct behaviour of agents. The semantical model allows for the representation and reasoning about states of correct and incorrect functioning behaviour of the agents, and of the system as a whole. We axiomatise this semantic class by mapping it into a suitable class of Kripke models. The resulting logic, KD45 sui −jinn , is a stronger version of KD, the system often referred to as Standard Deontic Logic. We discuss these issues and present some simple examples.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. B. Chellas. Modal Logic. Cambridge University Press, Cambridge, 1980.

    MATH  Google Scholar 

  2. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y Vardi. Reasoning about Knowledge. MIT Press, Cambridge, 1995.

    MATH  Google Scholar 

  3. R. Fagin, J. Y Halpern, and M. Y Vardi. What can machines know? On the properties of knowledge in distributed systems. Journal of the ACM, 39(2):328–376, April 1992.

    Google Scholar 

  4. FIPA: Foundation for intelligent physical agents. http://www.fipa.org.

  5. J. Halpern and Y. Moses. Knowledge and common knowledge in a distributed environment. Journal of the ACM, 37(3):549–587, 1990. A preliminary version appeared in Proc. 3rd ACM Symposium on Principles of Distributed Computing, 1984.

    Article  MATH  MathSciNet  Google Scholar 

  6. J. Halpern and M. Vardi. Model checking vs. theorem proving: a manifesto, pages 151–176. Artificial Intelligence and Mathematical Theory of Computation. Academic Press, Inc, 1991.

    Google Scholar 

  7. G. E. Hughes and M. J. Cresswell. A New Introduction to Modal Logic. Routledge, New York, 1996.

    MATH  Google Scholar 

  8. S. A. Kripke. Semantic analysis of modal logic (abstract). Journal of Symbolic Logic, 24:323–324, 1959.

    MathSciNet  Google Scholar 

  9. A. Lomuscio, R. van der Meyden, and M. Ryan. Knowledge in multi-agent systems: Initial configurations and broadcast. ACM Transactions of Computational Logic, 1(2), October 2000.

    Google Scholar 

  10. A. Lomuscio and M. Ryan. On the relation between interpreted systems and Kripke models. In M. Pagnucco, W. R. Wobcke, and C. Zhang, editors, Agent and Multi-Agent Systems-Proceedings of the AI97 Workshop on the theoretical and practical foundations of intelligent agents and agent-oriented systems, volume 1441 of Lecture Notes in Artificial Intelligence. Springer Verlag, Berlin, May 1998.

    Google Scholar 

  11. A. Lomuscio and M. Sergot. Investigations in grounded semantics for multi-agent systems specifications via deontic logic. Technical report, Imperial College, London, UK, 2000.

    Google Scholar 

  12. A. Lomuscio and M. Sergot. Extending interpreting systems with some deontic concepts. In J. van Benthem, editor, Proceedings of TARK2001, pages 207–218, San Francisco, CA, July 2001. Morgan Kauffman.

    Google Scholar 

  13. J.-J. Ch. Meyer and W. van der Hoek. Epistemic Logic for AI and Computer Science, volume 41 of Cambridge Tracts in Theoretical Computer Science. Cambdridge University Press, 1995.

    Google Scholar 

  14. J.-J. Ch. Meyer and R. J. Wieringa. Deontic Logic: A Concise Overview, chapter 1, pages 3–16. Wiley Professional Computing Series. John Wiley and Sons, Chichester, UK, 1993.

    Google Scholar 

  15. S. Popkorn. First Steps in Modal Logic. Cambridge University Press: Cambridge, England, 1994.

    MATH  Google Scholar 

  16. H. Prakken and M. Sergot. Contrary-to-duty obligations. Studia Logica, 57(1):91–115, 1996.

    Article  MATH  MathSciNet  Google Scholar 

  17. M. Wooldridge. Computationally grounded theories of agency. In E. Durfee, editor, Proceedings of ICMAS, International Conference of Multi-Agent Systems. IEEE Press, 2000.

    Google Scholar 

  18. M. Wooldridge. Reasoning about rational agents. MIT Press, July 2000.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, Imperial College of Science, Technology and Medicine, London, SW7 2BZ, UK

    Alessio Lomuscio & Marek Sergot

Authors
  1. Alessio Lomuscio
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marek Sergot
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Information and Computing Sciences Intelligent Systems Group, Utrecht University, Padualaan 14 De Uithof, 3508 TB, Utrecht, The Netherlands

    John-Jules Ch. Meyer

  2. Information Sciences Institute, University of Southern California, Henry Salvatori Computer Center 232, Los Angeles, CA, 90089-0781, USA

    Milind Tambe

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lomuscio, A., Sergot, M. (2002). On Multi-agent Systems Specification via Deontic Logic. In: Meyer, JJ.C., Tambe, M. (eds) Intelligent Agents VIII. ATAL 2001. Lecture Notes in Computer Science(), vol 2333. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45448-9_7

Download citation

  • DOI: https://doi.org/10.1007/3-540-45448-9_7

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43858-8

  • Online ISBN: 978-3-540-45448-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation