Skip to main content
SpringerLink
Log in

QLB: A quantified logic for belief

  • Part IV: Theories
  • Conference paper
  • First Online:
Intelligent Agents III Agent Theories, Architectures, and Languages (ATAL 1996)

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

Included in the following conference series:

Abstract

This paper describes QLB, a quantified logic of belief that is a possible extension of the modal system KD45n to predicate level. The main features of QLB are that: (i) it is allowed to quantify over the agents of belief; (ii) the belief operator can be indexed by any term of the formal language; (iii) terms are not rigid designators, but are interpreted contextually; (iv) automatic theorem proving is possible in QLB (but it is not presented in this paper). QLB is constructed as a partial logic with a monotonic semantics on ordered sets, and its semantic theorems are defined as the formulae that are sometimes true and never false.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Blamey. Partial logic. In Handbook of Philosophical Logic, volume 3, pages 1–70. D. Gabbay and F. Guenthner Eds., 1986.

    Google Scholar 

  2. P. Bretier and M. D. Sadek. A rational agent as the kernel of a cooperative spoken dialogue system: Implementing a logical theory of interaction. In J. P. Müller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III — Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.

    Google Scholar 

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

    Google Scholar 

  4. M. Colombetti. Formal semantics for mutual belief. Artificial Intelligence, 62:341–353, 1993.

    Article  Google Scholar 

  5. F. Dignum and B. van Linder. Modeling social agents: Communication as action. In J. P. Müller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III — Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.

    Google Scholar 

  6. A. F. Dragoni and P. Giorgini. Belief revision through the belief function formalism in a multi-agent environment. In J. P. Müller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III — Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.

    Google Scholar 

  7. A. M. Frisch and A. G. Cohn. An abstract view of sorted unification. In Automated Deduction, CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15–18, 1992: Proceedings, number 607 in Lecture Notes in Artificial Intelligence. Springer-Verlag, June 1992.

    Google Scholar 

  8. J. Garson. Quantification in modal logic. In Handbook of Philosophical Logic, volume 2, pages 249–307. D. Gabbay and F. Guenthner Eds., 1984.

    Google Scholar 

  9. J. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54:319–379, 1992.

    Article  MathSciNet  Google Scholar 

  10. J. Hintikka. Knowledge and Belief, an introduction to the logic of the two notions. Cornell University Press, Ithaca(NY) and London, 1962.

    Google Scholar 

  11. G. Lakemeyer and S. Meyer. Enhancing the power of a decidable first-order reasoner. In E. S. P. Torasso Jon Doyle, editor, Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning, pages 403–414. Morgan Kaufmann, May 1994.

    Google Scholar 

  12. V. Lifschitz. Circumscription. In Handbook of Logic in Artificial Intelligence and Logic Programming, volume 3 — Non Monotonic Reasoning, pages 298–343. Oxford Science Publication, 1995.

    Google Scholar 

  13. A. Lomuscio. QLB: una logica predicativa delle credenze. sintassi, semantica e una procedura di prova automatica dei teoremi. Master's thesis, Politecnico di Milano, December 1995.

    Google Scholar 

  14. A. Moreno and T. Sales. Dynamic belief analysis. In J. P. Müller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III — Proceedings of the Third International Work-shop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.

    Google Scholar 

  15. E. Thijsse. Partial logic and knowledge representation. Eburon Publishers, P.O. Box 2867, Delft, 1992.

    Google Scholar 

  16. M. Wooldridge and N. R. Jennings. Intelligent agents: Theory and practice. Knowledge Engineering Review, 2(10), 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science, University of Birmingham, B 15 2TT, Edgbaston, Birmingham, UK

    Alessio Lomuscio

  2. Dipartimento di Elettronica e Informazione, Politecnico di Milano, P.za L. Da Vinci 32, 20133, I, Milano

    Marco Colombetti

Authors
  1. Alessio Lomuscio
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marco Colombetti
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jörg P. Müller Michael J. Wooldridge Nicholas R. Jennings

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lomuscio, A., Colombetti, M. (1997). QLB: A quantified logic for belief. In: Müller, J.P., Wooldridge, M.J., Jennings, N.R. (eds) Intelligent Agents III Agent Theories, Architectures, and Languages. ATAL 1996. Lecture Notes in Computer Science, vol 1193. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013578

Download citation

  • DOI: https://doi.org/10.1007/BFb0013578

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-62507-0

  • Online ISBN: 978-3-540-68057-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation