Non-standard logics for automated reasoning / Philippe Smets, Abe Mamdani, Didier Dubois,... [et al.]
Type de document : MonographieLangue : anglais.Pays: Etats Unis.Éditeur : San Diego, CA : Academic Press, 1988Description : 1 vol. (X-334 p.) : ill., couv. ill. ; 24 cmISBN: 9780126495201.Bibliographie : Notes bibliogr. Index.Sujet MSC : 03-06, Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations68-06, Proceedings, conferences, collections, etc. pertaining to computer science
03B60, General logic, Other nonclassical logic
68Txx, Computer science - Artificial intelligence
03B45, General logic, Modal logic (including the logic of norms) Item type:
Monographie
| Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|
| CMI Salle 1 | 03 SME (Browse shelf(Opens below)) | Available | 09770-01 |
The present book aims at presenting some of the most interesting systems of non-standard logics in the context of their AI applicability. It starts with a general introduction with three instructive appendices (on classical logic, on modal logic, and on logic and probability) explaining necessary background knowledge. Then ten chapters cover the following topics. (Zentralblatt)
Notes bibliogr. Index
There are no comments on this title.