Coherent systems / Karl Schlechta
Type 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 models68T27, 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 1 | 03 SCH (Browse shelf(Opens below)) | Available | 02926-01 |
Bibliogr. Index
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.