Advertisement

Epistemic conditional logics

  • Ana Maria Monteiro
  • Jacques Wainer
Nonmonotonic Reasoning
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1159)

Abstract

This paper develops two conditional logics that allows one to reason about the belief of another agent (which reasons in conditional logic himself). The desirable properties of such logics that reason about the beliefs of another non-monotonic agent are discussed and the two logics proposed here are shown to have those properties.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Bel90]
    J. Bell. The logic of nonmonotonicity. Artificial Intelligence, 41:365–374, 1990.Google Scholar
  2. [Del87]
    J.P. Delgrande. A first-order conditional logic for prototypical properties. Artificial Intelligence, 33(1):105–130, 1987.Google Scholar
  3. [Del94]
    J.P. Delgrande. A preference based approach to default reasoning: preliminary report. In Proc. of AAAI'94, pages 902–908, MIT Press, 1994.Google Scholar
  4. [Bou94]
    C. Boutilier. Conditional logics of Normality: a modal approach. Artificial Intelligence, 68(1): 87–154, 1994.Google Scholar
  5. [Che80]
    B. F. Chellas Modal Logic An Introduction. Cambridge University Press. 1980.Google Scholar
  6. [KLM90]
    S. Kraus, D. Lehmann, M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44(1–2):167–207, 1990.Google Scholar
  7. [Lak93]
    G. Lakemeyer. All they know: A study in multi-agent autoepistemic reasoning. In Proc. of the IJCAI'93, pages 376–381, 1993.Google Scholar
  8. [Lev90]
    H. J. Levesque. All I know: A study in autoepistemic logic. Artificial Intelligence, 42:263–310, 1990.Google Scholar
  9. [McC80]
    R. Moore. Circumscription — a form of non-monotonic reasoning. Artificial Intelligence, 13:27–39, 1980.Google Scholar
  10. [Mont96]
    A. M. Monteiro. Estensões epsitemicas de duas familias de logicas não monotonicas Master thesis in portuguese, Instituto de Computação, UNICAMP, 1996Google Scholar
  11. [Moo85]
    R. Moore. Semantical considerations on non-monotonic logics. Artificial Intelligence, 25:75–94, 1985.Google Scholar
  12. [Pea88]
    J. Pearl. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufman, San Mateo, CA, 1988.Google Scholar
  13. [Pea89]
    J. Pearl. Probabilistic Semantics for Nonmonotonic Reasoning: a Survey. In Proc. KR'89, pages 505–516, 1989.Google Scholar
  14. [Rei80]
    R. Reiter. A logic for default reasoning. In Artificial Intelligence, 13:81–132, 1980.Google Scholar
  15. [Wai93]
    J. Wainer. Epistemic extension of preference logics. In Proc. of the IJCAI'93, pages 382–387, 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Ana Maria Monteiro
    • 1
  • Jacques Wainer
    • 1
  1. 1.Instituto de ComputaçãoUNICAMPBrazil

Personalised recommendations