The reach of abduction insight and trial

دسته بندی: منطق
ویرایش:  
نویسندگان: Dov M. Gabbay and John Woods (Eds.)  
سری: A Practical Logic of Cognitive Systems 2 
ISBN (شابک) : 9780444517913 
ناشر: Elsevier Science 
سال نشر: 2005 
تعداد صفحات: 497 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

قیمت کتاب (تومان) : 56,000

اثر حاضر ادامه‌ای از چند جلدی تحسین‌شده نویسندگان «منطق عملی سیستم‌های شناختی» است. گابی و وودز پس از بررسی مفهوم مرتبط بودن در جلد قبلی خود، اکنون به آدم ربایی روی می آورند. در این رویکرد بسیار اصیل، ربوده شدن به عنوان استنتاج حفظ جهل تعبیر می شود که در آن حدس و گمان نقشی محوری دارد. آدم ربایی پاسخی به یک هدف شناختی است که بر اساس آنچه عامل در حال حاضر می داند، نمی توان به آن ضربه زد. رباینده فرضیه ای را انتخاب می کند که اگر درست باشد، استدلال کننده را قادر می سازد به هدف خود دست یابد. او از این واقعیت نتیجه می گیرد که این فرضیه ممکن است حدس زده شود. با اجازه دادن به حدس و گمان برای دانشی که از آن برخوردار نیست، رباینده خود را راضی کننده نشان می دهد، زیرا راه حل اختطافی راه حلی از دانش نیست. کلید تحلیل نویسندگان این شرط است که یک گزاره حدسی فقط آن چیزی نیست که یک استدلال به خود اجازه می دهد فرض کند، بلکه گزاره ای است که او باید به طور غیرقابل قبول به عنوان مقدمه ای برای استنتاج های بیشتر در حوزه تحقیقی که مشکل اصلی آدم ربایی در آن وجود دارد منتشر کند. پوشش کتاب گسترده است، از فلسفه علم تا علوم کامپیوتر و هوش مصنوعی، از تشخیص تا قانون، از توضیح تاریخی تا تفسیر زبانی. یکی از قوی‌ترین کمک‌های این جلد، کاوش در ویژگی اختطاف‌کننده محاکمه‌های جنایی، با توجه ویژه به معیار اثبات فراتر از شک معقول است.

اساس تحلیل آنها از استدلال اختطافی، تصور نویسندگان از عاملیت عملی است. در این رویکرد، عاملیت عملی عمدتاً مربوط به فروتنی نسبی برنامه‌های شناختی یک عامل، همراه با منابع نسبتاً کمی در دسترس برای پیشرفت آنها است. از این طریق، آدم ربایی دارای ویژگی عملی قابل توجهی است، دقیقاً به این دلیل که شکلی از استنتاج است که به جای حداکثر کردن پاسخ آن به هدف شناختی عامل، راضی می کند.

مطالعه دسترسی به آدم ربایی برای محققان، دانشجویان تحصیلات تکمیلی و فارغ التحصیلان کارشناسی ارشد در منطق، علوم کامپیوتر، هوش مصنوعی، دینامیک باور، نظریه استدلال، روانشناسی شناختی و علوم اعصاب، زبان شناسی، علم پزشکی قانونی، استدلال حقوقی و حوزه های مرتبط.

ویژگی های کلیدی:

- دسترسی به آدم ربایی به طور کامل با یک منطق پس زمینه سیستم های شناختی - گسترده ترین پوشش نسبت به آثار رقابتی. - نه تنها نشان می دهد که ربوده شدن نوعی جهل است که استنتاج را حفظ می کند، بلکه یک شیوه استنباط کاملاً عقلانی است. - ویژگی ربودن را به جای حداکثر کردن، رضایت بخش نشان می دهد. - توسعه مدل‌های رسمی آدم ربایی بسیار گسترده‌تر از آن چیزی است که در ادبیات موجود یافت می‌شود. این یک ملغمه به خصوص چشمگیر از تحلیل مفهومی پیچیده و مدل سازی منطقی گسترده است. دسترسی به آدم ربایی به طور کامل با منطق پس زمینه سیستم های شناختی یکپارچه شده است. گسترده‌ترین پوشش در مقایسه با آثار رقابتی، نه تنها نشان می‌دهد که آدم ربایی نوعی جهل است که استنتاج را حفظ می‌کند، بلکه شیوه‌ای از استنتاج است که کاملاً عقلانی است. ویژگی ربوده شدن را به جای حداکثر کردن، رضایت بخش نشان می دهد. توسعه مدل های رسمی آدم ربایی به طور قابل توجهی گسترده تر از آنچه در ادبیات موجود می یابیم است. این یک ملغمه به خصوص چشمگیر از تحلیل مفهومی پیچیده و مدل سازی منطقی گسترده است.

The present work is a continuation of the authors' acclaimed multi-volume A Practical Logic of Cognitive Systems. After having investigated the notion of relevance in their previous volume, Gabbay and Woods now turn to abduction. In this highly original approach, abduction is construed as ignorance-preserving inference, in which conjecture plays a pivotal role. Abduction is a response to a cognitive target that cannot be hit on the basis of what the agent currently knows. The abducer selects a hypothesis which were it true would enable the reasoner to attain his target. He concludes from this fact that the hypothesis may be conjectured. In allowing conjecture to stand in for the knowledge he fails to have, the abducer reveals himself to be a satisficer, since an abductive solution is not a solution from knowledge. Key to the authors' analysis is the requirement that a conjectured proposition is not just what a reasoner might allow himself to assume, but a proposition he must defeasibly release as a premiss for further inferences in the domain of enquiry in which the original abduction problem has arisen.

The coverage of the book is extensive, from the philosophy of science to computer science and AI, from diagnostics to the law, from historical explanation to linguistic interpretation. One of the volume's strongest contributions is its exploration of the abductive character of criminal trials, with special attention given to the standard of proof beyond a reasonable doubt.

Underlying their analysis of abductive reasoning is the authors' conception of practical agency. In this approach, practical agency is dominantly a matter of the comparative modesty of an agent's cognitive agendas, together with comparatively scant resources available for their advancement. Seen in these ways, abduction has a significantly practical character, precisely because it is a form of inference that satisfices rather than maximizes its response to the agent's cognitive target.

The Reach of Abduction will be necessary reading 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.

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. · 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.

Content: 
Acknowledgements
Pages xiii-xv

Preface
Pages xvii-xviii

Chapter 1 Introduction Original Research Article
Pages 1-7

Chapter 2 Practical logic Original Research Article
Pages 9-36

Chapter 3 The structure of abduction Original Research Article
Pages 39-73

Chapter 4 Explanationist abduction Original Research Article
Pages 75-114

Chapter 5 Non-plausibilistic abduction Original Research Article
Pages 115-153

Chapter 6 Diagnostic abduction in AI Original Research Article
Pages 155-194

Chapter 7 The Characteristic and the plausible Original Research Article
Pages 195-238

Chapter 8 Relevance and analogy Original Research Article
Pages 239-288

Chapter 9 Interpretation abduction Original Research Article
Pages 289-331

Chapter 10 A glimpse of formality Original Research Article
Pages 335-355

Chapter 11 A general theory of logical systems Original Research Article
Pages 357-382

Chapter 12 A base logic Original Research Article
Pages 383-422

Chapter 13 An abductive mechanism for the base logic Original Research Article
Pages 423-441

Bibliography
Pages 443-472

Index
Pages 473-476