A Practical Logic of Cognitive Systems - 1st Edition - ISBN: 9780444517913, 9780080460925

A Practical Logic of Cognitive Systems

1st Edition

The Reach of Abduction: Insight and Trial

Authors: Dov M. Gabbay John Woods
Hardcover ISBN: 9780444517913
eBook ISBN: 9780080460925
Imprint: Elsevier Science
Published Date: 2nd May 2005
Page Count: 496
Tax/VAT will be calculated at check-out
235.00
140.00
175.00
210.00
Unavailable
Compatible Not compatible
VitalSource PC, Mac, iPhone & iPad Amazon Kindle eReader
ePub & PDF Apple & PC desktop. Mobile devices (Apple & Android) Amazon Kindle eReader
Mobi Amazon Kindle eReader Anything else

Institutional Access


Description

Acknowledgements. Preface.

A Practical Logic of Cognitive Systems

  1. Introduction
  2. Practical Logic Conceptual Models of Abduction
  3. The Structure of Abduction
  4. Explanationist Abduction
  5. Non-Plausibilistic Abduction
  6. Diagnostic Abduction in AI
  7. The Characteristic and the Plausible
  8. Relevance and Analogy
  9. Interpretation Abduction Formal Models of Abduction
  10. A Glimpse of Formality
  11. A General Theory of Logical Systems
  12. A Base Logic
  13. An Abductive Mechanism for the Base Logic Bibliography. Index .

Key Features

· Reach of Abduction is fully integrated with a background logic of cognitive systems.

· The most extensive coverage compared to competitive works

· Demonstrates not only that abduction is a form of ignorance preserving inference but that it is a mode of inference that is wholly rational.

· Demonstrates the satisficing rather than maximizing character of abduction.

· The development of formal models of abduction is considerably more extensive than one finds in existing literature. It is an especially impressive amalgam of sophisticated conceptual analysis and extensive logical modelling.

Readership

For researchers, graduate students and senior undergraduates in logic, computer science, AI, belief dynamics, argumentation theory, cognitive psychology and neuroscience, linguistics, forensic science, legal reasoning and related areas.

Table of Contents

Acknowledgements. Preface.

A Practical Logic of Cognitive Systems

  1. Introduction
  2. Practical Logic Conceptual Models of Abduction
  3. The Structure of Abduction
  4. Explanationist Abduction
  5. Non-Plausibilistic Abduction
  6. Diagnostic Abduction in AI
  7. The Characteristic and the Plausible
  8. Relevance and Analogy
  9. Interpretation Abduction Formal Models of Abduction
  10. A Glimpse of Formality
  11. A General Theory of Logical Systems
  12. A Base Logic
  13. An Abductive Mechanism for the Base Logic Bibliography. Index .

Details

No. of pages:
496
Language:
English
Copyright:
© Elsevier Science 2005
Published:
Imprint:
Elsevier Science
eBook ISBN:
9780080460925
Hardcover ISBN:
9780444517913

About the Author

Dov M. Gabbay

Dov M. Gabbay is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London. He has authored over four hundred and fifty research papers and over thirty research monographs. He is editor of several international Journals, and many reference works and Handbooks of Logic.

Affiliations and Expertise

King's College London, UK

John Woods

Affiliations and Expertise

University of British Columbia, Vancouver, Canada

Reviews

"This book starts with a philosophical analysis of abduction, overviews the previously proposed approaches, and explains the state-of-the-art and algorithms for formalizing abduction." -Olga M. Kosheleva, in MATHEMATICAL REVIEWS