Nonmonotonic Reasoning Logical Foundations of Commonsense Brewka Paperback

Nonmonotonic ReasoningLogical Foundations of Commonsense\nAuthor(s): Gerhard Brewka\nFormat: Paperback\nPublisher: Cambridge University Press, United Kingdom\nImprint: Cambridge University Press\nISBN-13: 9780521181303, 978-0521181303\nSynopsis\nIn this 1991 book the author gives a broad overview of different areas of research in nonmonotonic reasoning, and presents some results and ideas based on his research. The guiding principles are: clarification of the different research activities in the area, which have sometimes been undertaken independently of each other, and appreciation of the fact that these research activities often represent different means to the same ends, namely sound theoretical foundations and efficient computation. The book begins with a discussion of the various types of nonmonotonic reasoning, their applications and their logics. Theorem proving techniques for these logics are also described. There then follow chapters dealing with formulations of nonmonotonic.