Abstract
A logic is called monotonic if conclusions are preserved under extensions of the premise set, or to state it more formally, if the following so-called monotonicity property holds for it.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
D. Batens. Dynamic Dialectical Logics, in: Paraconsistent Logic, Norman, Priest, Routley (eds), Philosophia Verlag, pp. 187–217, 1991.
G. Brewka. Cumulative Default Logic: In Defence of Nonmonotonic Inference Rules, Artificial Intelligence, 50, 183–205, 1991.
D. M. Gabbay. Labelled Deductive Systems, Oxford University Press, 1996.
D. M. Gabbay and A. Hunter. Restricted Access Logics for Inconsistent Information, Proc. 2nd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU-93), LNCS 747, Granada, Spain, pp. 137–144, 1993.
J. de Kleer. An Assumption-based Truth Maintenance System, Artificial Intelligence, 28, 127–162, 1986.
J. McCarthy. Circumscription — A Form of Non-Monotonic Reasoning, Artificial Intelligence, 13, 27–39, 1980.
J. McCarthy. Notes on Formalizing Contexts, Proc. 13th International Joint Conference in Artificial Intelligence (IJCAI-93), Chambéry, France, pp. 555–560. 1993.
M. Morreau. Allowed Arguments, Proc. 14th International Joint Conference in Artificial Intelligence (IJCAI-95), Montréal, Canada, pp. 14466–1472, 1995.
A. Nait Abdallah. The Logic of Partial Information, Springer Verlag, 1995.
Poole, 1988] D. Poole. A Logical Framework for Default Reasoning, Artificial Intelligence, 36, 2747, 1988.
D. Prawitz. Natural Deduction, Almgvist and Wiksell, 1965.
R. Reiter. A Logic for Default Reasoning, Artificial Intelligence, 13, 81–132, 1980.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Besnard, P., Tan, YH. (2001). Context-Dependent Natural Deduction for Non-Monotonic Reasoning. In: Meyer, JJ.C., Treur, J. (eds) Dynamics and Management of Reasoning Processes. Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol 6. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-1743-4_13
Download citation
DOI: https://doi.org/10.1007/978-94-017-1743-4_13
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5903-1
Online ISBN: 978-94-017-1743-4
eBook Packages: Springer Book Archive