Non-standard logics for automated reasoning / Philippe Smets, Abe Mamdani, Didier Dubois,... [et al.]

Auteur secondaire : Dubois, Didier, 1952-, Editeur scientifique • Mamdani, Abe, 1942-2010, Editeur scientifique • Smets, Philippe, 1938-2005, Editeur scientifiqueType 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 foundations
68-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)
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
Monographie Monographie 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.

to post a comment.