Coherent Systems (Volume 2) (Studies in Logic and Practical Reasoning, Volume 2)

Schlechta, Karl

ISBN 10: 0444517898 / ISBN 13: 9780444517890

Published by Elsevier Science, 2004

About this Item

Our Like New books are generally New, but we do not have an invoice from publishers therefore have to list as Like New rather than New. Our books are dispatched from a Yorkshire former cotton mill. We list via barcode/ISBN so please note that the images are stock images and may not be the exact copy you receive, furthermore the details about edition and year might not be accurate as many publishers reuse the same ISBN for multiple editions and as we simply scan a barcode or enter an ISBN we do not check the validity of the edition data when listing. If you're looking for an exact edition please don't order (at least not without checking with us first, although we don't always have time to check). We aim to dispatch prompty, the service used will depend on order value and book size. We can ship to most countries, see our shipping policies. Payment is via Abe only.

Seller Inventory # P-BDJ00291-WEN-20240320-LN

Bibliographic Details

• Title: Coherent Systems (Volume 2) (Studies in Logic and Practical Reasoning, Volume 2)
• Publisher: Elsevier Science
• Publication Date: 2004
• Language: English
• ISBN 10: 0444517898
• ISBN 13: 9780444517890
• Binding: hardcover
• Condition: Fine

About this title

Synopsis

One aspect of common sense reasoning is reasoning about normal cases, e.g. a physician will first try to interpret symptoms by a common disease, and will take more exotic possibilities only later into account. Such "normality" can be encoded, e.g. by a relation, where case A is considered more normal than case B. This gives a standard semantics or interpretation to nonmonotonic reasoning (a branch of common sense reasoning), or, more formally, to nonmonotonic logics. We consider in this book the repercussions such normality relations and similar constructions have on the resulting nonmonotonic logics, i.e. which types of logic are adequate for which kind of relation, etc.

We show in this book that some semantics correspond nicely to some logics, but also that other semantics do not correspond to any logics of the usual form.

• Provides a coherent picture of several formalisms of nonmonotonic logics
• Gives completeness and incompleteness results for many variants of preferential, distance based, and other semantics
• Gives probably the first systematic investigation of definability preservation and its consequences
• Gives new proof techniques for completeness results
• Is centered on semantics