Bridges from Classical to Nonmonotonic Logic

Bridges from Classical to Nonmonotonic Logic
Author :
Publisher : College Publications
Total Pages : 216
Release :
ISBN-10 : 1904987001
ISBN-13 : 9781904987000
Rating : 4/5 (000 Downloads)

Book Synopsis Bridges from Classical to Nonmonotonic Logic by : David Makinson

Download or read book Bridges from Classical to Nonmonotonic Logic written by David Makinson and published by College Publications. This book was released on 2005 with total page 216 pages. Available in PDF, EPUB and Kindle. Book excerpt: Imagine a robot trying to size up a difficult situation, to find a way of responding. Its sensors receive streams of information from which it tries to reach judgements. If it relies on deduction alone, it will not get far, no matter how fast its inference engines; for even the most massive information is still typically incomplete: there are relevant issues that it does not resolve one way or the other. The robot, or human agent for that matter, needs to go beyond these limits. It needs to `go supraclassical', inferring more than is authorised by classical logic alone. But such inferences are inherently uncertain. They are also nonmonotonic, in the sense that the acquisition of further information, even when consistent with the existing stock, may lead us to abondon as well as add conclusions. Nonmonotonic logic is the study of such reasoning and has been the subject of intensive research for more than two decades. But for the newcomer it is still a disconcerting affair, lacking unity with many systems going in different directions. The purpose of this book is to take the mystery out of the subject, giving a clear overall picture of what is going on. It makes the essential ideas and main approaches to nonmonotonic logic accessible, and meaningful, to anyone with a few basic tools of discrete mathematics and a minimal background in classical propositional logic. It is written as a textbook, with detailed explanations, examples, comments, exercises and answers. Students and instructors alike will find it an invaluable guide.


Bridges from Classical to Nonmonotonic Logic Related Books

Bridges from Classical to Nonmonotonic Logic
Language: en
Pages: 216
Authors: David Makinson
Categories: Computers
Type: BOOK - Published: 2005 - Publisher: College Publications

GET EBOOK

Imagine a robot trying to size up a difficult situation, to find a way of responding. Its sensors receive streams of information from which it tries to reach ju
The Many Valued and Nonmonotonic Turn in Logic
Language: en
Pages: 691
Authors: Dov M. Gabbay
Categories: Mathematics
Type: BOOK - Published: 2007-08-13 - Publisher: Elsevier

GET EBOOK

The present volume of the Handbook of the History of Logic brings together two of the most important developments in 20th century non-classical logic. These are
Handbook of Philosophical Logic
Language: en
Pages: 372
Authors: D.M. Gabbay
Categories: Philosophy
Type: BOOK - Published: 2006-01-17 - Publisher: Springer Science & Business Media

GET EBOOK

The first edition of the Handbook of Philosophical Logic (four volumes) was published in the period 1983-1989 and has proven to be an invaluable reference work
David Makinson on Classical Methods for Non-Classical Problems
Language: en
Pages: 433
Authors: Sven Ove Hansson
Categories: Philosophy
Type: BOOK - Published: 2013-12-20 - Publisher: Springer Science & Business Media

GET EBOOK

The volume analyses and develops David Makinson’s efforts to make classical logic useful outside its most obvious application areas. The book contains chapter
The Logic of Legal Requirements
Language: en
Pages: 434
Authors: Jordi Ferrer Beltrán
Categories: Law
Type: BOOK - Published: 2012-09-13 - Publisher: Oxford University Press

GET EBOOK

Does the law contain implicit exceptions to its own rules? If so, what consequence does that have for understanding the relationship between law and morality? T