Default Logic
David Poole · 1994
Abstract In nonmonotonic reasoning we want to reach conclusions that we may not reach if we had more information. There seem to be two ways to handle this; we could change the logic to be defeasible, or we could allow some premises of the logical argument that may not be allowed when new information is received.