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.
This work was partially supported by Junta Nacional de Investigaçáo Científica e Tecnológica (JNICT), under Grant 87–107.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Brewka G., “Cumulative Default Logic: In Defense of Nonmonotonic Inference Rules”, Proc. DRUMS (ESPRIT Basic Research Action 3085), Workshop RP1, Marseille, France, 1990.
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.
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.
Junker U., “A Correct Non-Monotonic ATMS”, Proc. IJCAI-89, pp.1049–1054, 1989.
Martins J.P. and Shapiro S.C., “Reasoning in Multiple Belief Spaces”, Proc. IJCAI-83, pp.370–373, 1983.
Martins J.P. and Shapiro S.C., “A Model for Belief Revision”, Artificial Intelligence 35, pp.25–79, 1988.
Poole D., “A Logical Framework for Default Reasoning”, Artificial Intelligence 36, No. 1, pp.27–47, 1988.
Reiter R., “A Logic for Default Reasoning”, Artificial Intelligence 13, No. 1–2, pp.81–132, 1980.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cravo, M.R., Martins, J.P. (1991). Being Aware of Assumptions. In: Kaindl, H. (eds) 7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence. Informatik-Fachberichte, vol 287. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-46752-3_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-46752-3_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54567-5
Online ISBN: 978-3-642-46752-3
eBook Packages: Springer Book Archive