Coherent systems / Karl SchlechtaType de document : MonographieCollection : Studies in logic and practical reasoning, 2Langue : anglais.Pays: Pays Bas.Éditeur : Amsterdam : Elsevier, 2004Description : 1 vol. (439 p.) ; 23 cmISBN: 9780444517890.ISSN: 1570-2464.Bibliographie : Bibliogr. Index.Sujet MSC : 03C90, Mathematical logic and foundations - Model theory, Nonclassical models
68T27, Computer science, Logic in artificial intelligence
03-02, Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03B60, General logic, Other nonclassical logicEn-ligne : Zentralblatt | MathSciNet Item type: Monographie
|Current library||Call number||Status||Date due||Barcode|
|CMI Salle R||03 SCH (Browse shelf(Opens below))||Available||02926-01|
In this interesting, yet not easy book, preferential and related models for nonmonotonic logical systems are studied. It is argued that several types of human common-sense reasoning are based on a few semantical concepts like preference, size, and distance. A number of representation theorems for these forms of reasoning are established. The problem of absence of finite representation is discussed as well. A possible uniform modal framework is proposed for the forms of nonmonotonic reasoning considered. Although the book is based on the papers published earlier by the author, it contains a number of new results as well. (Zentralblatt)
There are no comments on this title.