• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه

عنوان
Inference on the Low Level

پدید آورنده
by Hannes Leitgeb.

موضوع
Artificial intelligence.,Genetic epistemology.,Logic.,Philosophy (General).

رده

کتابخانه
مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی

محل استقرار
استان: قم ـ شهر: قم

مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی

تماس با کتابخانه : 32910706-025

شابک

شابک
9781402028069
شابک
9789048166695

شماره کتابشناسی ملی

شماره
b408478

عنوان و نام پديدآور

عنوان اصلي
Inference on the Low Level
نام عام مواد
[Book]
ساير اطلاعات عنواني
An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition /
نام نخستين پديدآور
by Hannes Leitgeb.

وضعیت نشر و پخش و غیره

محل نشرو پخش و غیره
Dordrecht :
نام ناشر، پخش کننده و غيره
Imprint: Springer,
تاریخ نشرو بخش و غیره
2004.

فروست

عنوان فروست
Applied Logic Series,
مشخصه جلد
30
شاپا ي ISSN فروست
1386-2790 ;

یادداشتهای مربوط به مندرجات

متن يادداشت
1 Introduction -- 2 Preliminaries -- I The Explication of Monotonic and Nonmonotonic Inference -- 3 Belief -- 4 Inference -- II The Justification of Monotonic and Nonmonotonic Inference -- 5 General Remarks on Justification and Justified Belief -- 6 An Informal Account of Our Theory of Justified Inference -- 7 A Discussion of Reliability -- 8 A Theory of Justified Inference -- III The Logic of Justified Monotonic and Nonmonotonic Inference -- 9 The Semantics of Deductive and Nonmonotonic Logic -- 10 Systems of Deductive and Nonmonotonic Logic -- 11 Soundness and Completeness Results -- 12 Further Consequences for Justified Inference -- IV The Cognition of Justified Monotonic and Nonmonotonic Inference by Low-Level Agents -- 13 Introductory Remarks -- 14 Inhibition Nets as Simple Neural Networks -- 15 Interpreted Inhibition Net Agents -- 16 Cumulative-Ordered Interpreted Inh. Net Agents and the System CL -- 17 Cumulative-Ordered Interpreted Inhibition Net Agents as Ideal Agents -- 18 Inhibition Nets and Other Forms of Nonmonotonic Reasoning -- 19 Inhibition Nets and Artificial Neural Networks -- 20 Discussion -- V Appendix -- 21 Digression on States, Dispositions, Causation, Processes -- 22 Goldman's Reliability Account of Justified Belief -- 23 A Sketch of Logic Programming -- 24 Preferential Interpreted Inhibition Net Agents and the System P -- 25 Cumulative Interpreted Inhibition Net Agents and the System C -- 26 Simple Cumulative Interpreted Inhibition Net Agents and the System CM -- 27 Simple Preferential Interpreted Inhibition Net Agents and the System M -- References.
بدون عنوان
0

یادداشتهای مربوط به خلاصه یا چکیده

متن يادداشت
In contrast to the prevailing tradition in epistemology, the focus in this book is on low-level inferences, i.e., those inferences that we are usually not consciously aware of and that we share with the cat nearby which infers that the bird which she sees picking grains from the dirt, is able to fly. Presumably, such inferences are not generated by explicit logical reasoning, but logical methods can be used to describe and analyze such inferences. Part 1 gives a purely system-theoretic explication of belief and inference. Part 2 adds a reliabilist theory of justification for inference, with a qualitative notion of reliability being employed. Part 3 recalls and extends various systems of deductive and nonmonotonic logic and thereby explains the semantics of absolute and high reliability. In Part 4 it is proven that qualitative neural networks are able to draw justified deductive and nonmonotonic inferences on the basis of distributed representations. This is derived from a soundness/completeness theorem with regard to cognitive semantics of nonmonotonic reasoning. The appendix extends the theory both logically and ontologically, and relates it to A. Goldman's reliability account of justified belief.

ویراست دیگر از اثر در قالب دیگر رسانه

شماره استاندارد بين المللي کتاب و موسيقي
9789048166695

قطعه

عنوان
Springer eBooks

موضوع (اسم عام یاعبارت اسمی عام)

موضوع مستند نشده
Artificial intelligence.
موضوع مستند نشده
Genetic epistemology.
موضوع مستند نشده
Logic.
موضوع مستند نشده
Philosophy (General).

نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )

مستند نام اشخاص تاييد نشده
Leitgeb, Hannes.

نام تنالگان _ (مسئولیت معنوی برابر)

مستند نام تنالگان تاييد نشده
SpringerLink (Online service)

مبدا اصلی

تاريخ عمليات
20190301083600.0

دسترسی و محل الکترونیکی

نام الکترونيکي
 مطالعه متن کتاب 

اطلاعات رکورد کتابشناسی

نوع ماده
[Book]

اطلاعات دسترسی رکورد

تكميل شده
Y

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال