Author : Philippe Smets
Publisher :
ISBN 13 : 9780126495201
Total Pages : 334 pages
Book Rating : 4.4/5 (952 download)
Book Synopsis Non-standard Logics for Automated Reasoning by : Philippe Smets
Download or read book Non-standard Logics for Automated Reasoning written by Philippe Smets and published by . This book was released on 1988 with total page 334 pages. Available in PDF, EPUB and Kindle. Book excerpt: Although there are a few books available that give brief surveys of a variety of nonstandard logics, there is a growing need for a critical presentation providing both a greater depth and breadth of insight into these logics. This book assembles a wider and deeper view of the many potentially applicable logics. Three appendixes provide short tutorials on classical logic and modal logics, and give a brief introduction to the existing literature on the logical aspects of probability theory. These tutorials and the bibliography included in the appendixes provide useful reference material for the reader.