How
to Go Nonmonotonic
David Makinson
Group of Logic, Language and
Computation
King's
College London - UK
Too often, nonmonotonic logic is presented as a mysterious and
esoteric affair. In fact the basic ideas are very straightforward. Almost
any consequence relation may be taken as a base on which to build stronger
nonmonotonic ones. In the tutorial we will describe the three main ways of
doing this, give an overview of the families of systems that emerge when
we take classical consequence as our initial base, and outline salient
aspects of their behaviour.
Lecture Notes
Just published in February 2005, the book David Makinson Bridges from
Classical to Nonmonotonic Logic. London: King’s College Publications (ISBN 1-904987-00-1), will be made available to tutorial participants at a
special reduced price (10 Euros or 16 SF). This contains the full text of
the lectures, a good deal of additional material and discussion, exercises, problems, solutions etc.
Just published in February 2005, the book David Makinson Bridges from
Classical to Nonmonotonic Logic. London: King’s College Publications (ISBN 1-904987-00-1), will be made available to tutorial participants at a
special reduced price (10 Euros or 16 SF). This contains the full text of
the lectures, a good deal of additional material and discussion, exercises, problems, solutions etc.
References
D.
Makinson, “Bridges between
classical and nonmonotonic logic”, Logic Journal of the IGPL 11
(2003), pp. 69-96,
D.
Makinson, “General Patterns in Nonmonotonic Reasoning”, pp. 35-110 in
Handbook of Logic in Artificial Intelligence and Logic Programming, vol.
3, ed. Gabbay, Hogger and Robinson, Oxford University Press,
1994.