ENGLISH

Non-Standard Logics for Automated Reasoning

By Smets P. , Mamdani E.H. , Dubois D. , Prade H.

Book information

Publisher
AP
Year
1988
ISBN
0126495203, 9780126495201
LCC
QA9.4 .N65 1988
Open Library ID
OL2242528M
Language
english
Format
DJVU
Filesize
3 MB (3042782 bytes)
Pages
344\344
Library
kolxoz
DPI
600
Time added
2011-07-22 07:35:22

Description

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.

Similar books