Being Aware of Assumptions
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.
Unable to display preview. Download preview PDF.
- 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
- 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
- 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
- Junker U., “A Correct Non-Monotonic ATMS”, Proc. IJCAI-89, pp.1049–1054, 1989.Google Scholar
- Martins J.P. and Shapiro S.C., “Reasoning in Multiple Belief Spaces”, Proc. IJCAI-83, pp.370–373, 1983.Google Scholar