Non-standard logics for automated reasoning
Philippe Smets
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.
Catégories:
Année:
1988
Editeur::
Academic Press
Langue:
english
Pages:
344
ISBN 10:
0126495203
ISBN 13:
9780126495201
Fichier:
PDF, 34.17 MB
IPFS:
,
english, 1988