Non-Standard Logics for Automated Reasoning
Smets P., Mamdani E.H., Dubois D., Prade H.
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.
년:
1988
출판사:
AP
언어:
english
페이지:
344
ISBN 10:
0126495203
ISBN 13:
9780126495201
파일:
DJVU, 2.90 MB
IPFS:
,
english, 1988