Advertisement

Being Aware of Assumptions

  • Maria R. Cravo
  • João P. Martins
Conference paper
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 287)

Abstract

We present a nonmonotonic logic, SWMC (after Shapiro, Wand, Martins and Cravo) intended to support belief revision systems. SWMC allows the use of default rules and exceptions to default rules. SWMC associates each derived wff with the hypotheses, and assumptions underlying its derivation, and can thus be used to support belief revision systems. SWMC distinguishes three kinds of conclusions that can be drawn from a set of hypotheses: sound conclusions, plausible conclusions, and conceivable conclusions.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Brewka G., “Cumulative Default Logic: In Defense of Nonmonotonic Inference Rules”, Proc. DRUMS (ESPRIT Basic Research Action 3085), Workshop RP1, Marseille, France, 1990.Google Scholar
  2. Cravo M.R. and Martins J.P., “Defaults and Belief Revision: A Syntactical Approach”, Technical Report GIA 90/02, Lisbon, Portugal: Instituto Superior Técnico, Technical University of Lisbon, 1990a.Google Scholar
  3. Cravo M.R. and Martins J.P., “A Semantics for SWMC”, Technical Report GIA 90/03, Lisbon, Portugal: Instituto Superior Técnico, Technical University of Lisbon, 1990b.Google Scholar
  4. Junker U., “A Correct Non-Monotonic ATMS”, Proc. IJCAI-89, pp.1049–1054, 1989.Google Scholar
  5. Martins J.P. and Shapiro S.C., “Reasoning in Multiple Belief Spaces”, Proc. IJCAI-83, pp.370–373, 1983.Google Scholar
  6. Martins J.P. and Shapiro S.C., “A Model for Belief Revision”, Artificial Intelligence 35, pp.25–79, 1988.MathSciNetzbMATHCrossRefGoogle Scholar
  7. Poole D., “A Logical Framework for Default Reasoning”, Artificial Intelligence 36, No. 1, pp.27–47, 1988.MathSciNetzbMATHCrossRefGoogle Scholar
  8. Reiter R., “A Logic for Default Reasoning”, Artificial Intelligence 13, No. 1–2, pp.81–132, 1980.MathSciNetzbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Maria R. Cravo
    • 1
  • João P. Martins
    • 1
  1. 1.Instituto Superior TécnicoLisboaPortugal

Personalised recommendations