Coherent systems. (English) Zbl 1061.03002

Studies in Logic and Practical Reasoning 2. Amsterdam: Elsevier (ISBN 0-444-51789-8/hbk). xx, 447 p. (2004).
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.


03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03B60 Other nonclassical logic
68T27 Logic in artificial intelligence
03C90 Nonclassical models (Boolean-valued, sheaf, etc.)