Skip to main content
SpringerLink
Log in

On Fibring Semantics for BDI Logics

  • Conference paper
  • First Online:
Logics in Artificial Intelligence (JELIA 2002)

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

Included in the following conference series:

Abstract

This study examines BDI logics in the context of Gabbay’s fibring semantics. We show that dovetailing (a special form of fibring) can be adopted as a semantic methodology to combine BDI logics. We develop a set of interaction axioms that can capture static as well as dynamic aspects of the mental states in BDI systems, using Catach’s incestual schema G a,b,c,d. Further we exemplify the constraints required on fibring function to capture the semantics of interactions among modalities. The advantages of having a fibred approach is discussed in the final section.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. M.E. Bratman, D.J. Israel, and M.E Pollack. Plans and resource-bounded practical reasoning. Computational Intelligence, 4:349–355, 1988.

    Article  Google Scholar 

  2. L. Catach. Normal multimodal logics. In In Proc. National Conference on AI(AAAI-88), pages 491–495, 1988.

    Google Scholar 

  3. P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42(3), 1990.

    Google Scholar 

  4. K. Fischer and Muller J. P. & Pischel M. A pragmatic BDI architecture. In Intelligent Agents II, LNAI-1037, volume 1037, pages 203–218. Springer-Verlag, 1996.

    Google Scholar 

  5. D. M. Gabbay and G. Governatori. Dealing with label dependent deontic modalities. In Norms, Logics And Information Systems. IOS Press, Amsterdam, 1999.

    Google Scholar 

  6. D. M. Gabbay. Fibring Logics. Oxford University Press, Oxford, 1998.

    Google Scholar 

  7. M. George. and F. Ingrand. Decision making in an embedded reasoning system. In In proc. of the International Joint Conference on Artificial Intelligence-IJCAI, pages 972–978, 1989.

    Google Scholar 

  8. M. Kracht and F. Wolter. Properties of independently axiomatizable bimodal logics. The Journal of Symbolic Logic, 56(4):1469–1485, 1991.

    Article  MATH  MathSciNet  Google Scholar 

  9. M. Kracht. Tools and Techniques for Modal Logics. Elsevier, 1999.

    Google Scholar 

  10. E.J. Lemmon. Algebraic semantics for modal logic II. Journal of Symbolic Logic, 31:191–218, June 1966.

    Google Scholar 

  11. Franz Baader & Carsten Lutz, Holger Sturn, and Frank Wolter. Fusions of description logics and abstract description systems. Journal of Artificial Intelligence Research, 16:1–58, 2002.

    Article  MATH  MathSciNet  Google Scholar 

  12. Lin Padgham and Patrick Lambrix. Agent capabilities: Extending bdi theory. In Proccedings of AAAI-2000, Austin, Texas, USA, pages 68–73. AAAI/MIT Press, 2000.

    Google Scholar 

  13. Vineet Padmanabhan, Guido Governatori, and Abdul Sattar. Actions made explicit in BDI. In AI 2001: Advances in Artificial Intelligence, LNAI-2256. Springer Verlag, 2001.

    Google Scholar 

  14. A.S. Rao and George. M.P. Modelling rational agents within a bdi-architecture. In Principles of Knowledge Representation and Reasoning (KR’91). Morgan Kaufmann, 1991.

    Google Scholar 

  15. A. S. Rao. Decision procedures for propositional linear-time belief-desire-intention logics. In Intelligent Agents Volume II, LNAI-1037, pages 33–48. Springer-Verlag, 1996.

    Google Scholar 

  16. Y. Shoham. Agent oriented programming. Artificial Intelligence, 60:51–92, 1993.

    Article  MathSciNet  Google Scholar 

  17. Munindar P. Singh. Semantical considerations on intention dynamics for bdi agents. Journal of Experimental and Theoretical Artificial Intelligence, 1998.

    Google Scholar 

  18. B. Van Linder. Modal Logic for Rational Agents. PhD thesis, Department of Computer Science, Utrecht University, 19th June 1996.

    Google Scholar 

  19. Frank Wolter. Fusions of modal logics revisited. In Advances in Modal Logic, volume 1. CSLI Lecture notes 87, 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Information Technology & Electrical Engineering, The University of Queensland, Queensland, Australia

    Guido Governatori

  2. Knowledge Representation & Reasoning Unit (KRRU), School of Information Technology Griffith University, GoldCoast Campus, Queensland, Australia

    Vineet Padmanabhan & Abdul Sattar

Authors
  1. Guido Governatori
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Vineet Padmanabhan
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Abdul Sattar
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. DEIS, University of Calabria, P.te P. Bucci, Cubo 41C, 87036, Rende, CS, Italy

    Sergio Flesca  & Sergio Greco  & 

  2. Department of Mathematics, University of Calabria, P.te P. Bucci, Cubo 30B, 87036, Rende, CS, Italy

    Giovambattista Ianni  & Nicola Leone  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Governatori, G., Padmanabhan, V., Sattar, A. (2002). On Fibring Semantics for BDI Logics. In: Flesca, S., Greco, S., Ianni, G., Leone, N. (eds) Logics in Artificial Intelligence. JELIA 2002. Lecture Notes in Computer Science(), vol 2424. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45757-7_17

Download citation

  • DOI: https://doi.org/10.1007/3-540-45757-7_17

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-45757-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation