Non-Standard Logics for Automated Reasoning

✍ Scribed by Smets P., Mamdani E.H., Dubois D., Prade H.

• Publisher: AP
• Year: 1988
• Tongue: English
• Leaves: 344
• Category: Library

✦ Synopsis

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.